Blog

17 February 2016

Memory Consistency Models: A Primer

The cause of, and solution to, all your multicore performance problems.

23 February 2015

Monte Carlo Benchmarking

SNAPL rejected my crazy abstract, so I’m sharing my craziness with the world instead.

6 January 2015

Program Synthesis Explained

An introduction to the field of program synthesis, the idea that computers can write programs automatically if we just tell them what we want.

17 November 2014

How Not to Measure Computer System Performance

In a recent Sampa group meeting, I spoke about the many pitfalls in measuring computer system performance.

News

30 January 2017

Our work on DNA storage was selected to appear in IEEE Micro’s Top Picks from the Computer Architecture Conferences special issue later this year!

12 July 2016

I was lucky enough to speak at the Programming Languages Mentoring Workshop at PLDI this year about our work on Uncertain<T>. You can watch the talk (sorry about the quality!) or check out the slides.

18 June 2016

Back in January, I presented our paper on Optimizing Synthesis with Metasketches at POPL 2016. If you weren’t there, you can now watch the talk on YouTube!

12 April 2016

I presented our two papers, on file system crash-consistency models and DNA storage, at ASPLOS 2016. The internet is awash with cat pictures thanks to coverage of our DNA storage work; see the Daily Mail, The Register, or Gizmodo.

3 December 2015

Our work on using DNA for digital data storage is featured in the New York Times.

5 October 2015

Our paper on optimal program synthesis, Optimizing Synthesis with Metasketches, will appear at POPL 2016!

6 August 2015
22 June 2015
14 April 2015
15 February 2015

Uncertain<T> was selected to appear in IEEE Micro’s Top Picks from the Computer Architecture Conferences special issue later this year!

16 January 2015
10 November 2014

Our Uncertain<T> paper was selected as a SIGPLAN Research Highlight. How cool is that!