composition.al

RSS

About
Blog
Research
CV

Category: ICFP

2017

The call for papers formerly known as ICFP

Dec 31 2017

posted in CFP, ICFP

Participating in ICFP remotely

Aug 30 2017

posted in ICFP, personal

The fine print in the ICFP 2017 call for papers

Jan 31 2017

posted in CFP, ICFP

Recent Posts

Call for talk proposals: !!Con West 2020!, November 2019
Why you should come to UC Santa Cruz to do LSD research, October 2019
Apply to PLMW, September 2019
Course announcement: SMT Solving and Solver-Aided Systems, August 2019
My first year as a professor, July 2019
My students made zines, and so can you(rs)!, June 2019
How I learned about Merklix trees (without having to become a cryptocurrency enthusiast), May 2019
An example run of the Chandy-Lamport snapshot algorithm, April 2019
"Toward Domain-Specific Solvers for Distributed Consistency" will appear at SNAPL 2019, March 2019
Jane Street Tech Talk: "Abstractions for Expressive, Efficient Parallel and Distributed Computing", February 2019
Way number eight of looking at the correlation coefficient, January 2019
Course retrospective: Languages and Abstractions for Distributed Programming, December 2018
Call for talk proposals: !!Con West 2019!, November 2018
An introduction to replica conflict resolution, October 2018
Course announcement: Languages and Abstractions for Distributed Programming, September 2018
Understanding the regression line with standard units, August 2018
You don't need a 4.0 to go to grad school, July 2018
Where and when should you go to PLMW?, June 2018
Back to school, May 2018
Call for talk proposals: DSLDI 2018, April 2018
Four kinds of talk proposals that get rejected from !!Con, March 2018
"Toward Scalable Verification for Safety-Critical Deep Networks" at SysML 2018, February 2018
Celebrating five years of this blog, and a change of pace, January 2018
The call for papers formerly known as ICFP, December 2017

Powered by Octopress