composition.al

RSS

About
Blog
Research
CV

Category: ICFP

2017

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

Upsides and downsides of "women in..." lists
Participating in ICFP remotely
My first fifteen compilers
What do people mean when they say "transpiler"?
How to write a timeline for a !!Con talk proposal
"Parallelizing Julia with a Non-Invasive DSL" will appear at ECOOP 2017
Proving that safety-critical neural networks do what they're supposed to: where we are, where we're going (part 2 of 2)
Proving that safety-critical neural networks do what they're supposed to: where we are, where we're going (part 1 of 2)
What isn't a high-performance DSL?
Call for talk proposals: DSLDI 2017
Scaling !!Con
Should you do an MS before doing a Ph.D.?
Call for talk proposals: !!Con 2017
Why does a Turing-complete type system make type checking undecidable?
The fine print in the ICFP 2017 call for papers

Powered by Octopress