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

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
Call for submissions: PaPoC 2018, December 2017
Three times the Internet Archive helped me this year, November 2017
The power of blogging with plain old versioned text, November 2017
Using the simplex algorithm for SMT solving, October 2017
Notes on Halide and Distributed Halide, October 2017
The case of the missing frames, September 2017
The optimization that wasn't, September 2017
Upsides and downsides of "women in..." lists, August 2017
Participating in ICFP remotely, August 2017
My first fifteen compilers, July 2017
What do people mean when they say "transpiler"?, July 2017
How to write a timeline for a !!Con talk proposal, June 2017
"Parallelizing Julia with a Non-Invasive DSL" will appear at ECOOP 2017, June 2017
Proving that safety-critical neural networks do what they're supposed to: where we are, where we're going (part 2 of 2), May 2017
Proving that safety-critical neural networks do what they're supposed to: where we are, where we're going (part 1 of 2), May 2017
What isn't a high-performance DSL?, April 2017
Call for talk proposals: DSLDI 2017, April 2017
Scaling !!Con, March 2017

Powered by Octopress