Papers Worth Reading: PEG & Packrat

Posting these two together since they’re closely related and should probably be read together. Packrat parsing:: simple, powerful, lazy, linear time, functional pearl Bryan Ford ICFP ’02 (ACM)(PDF) Parsing expression grammars: a recognition-based syntactic foundation Bryan Ford POPL ’04 (ACM)(PDF) This is a part of my Papers Worth Reading series. To find other post in …

Continue reading ‘Papers Worth Reading: PEG & Packrat’ »

Reflections on the Swartz case

A little over a week ago, the activist Aaron Swartz committed suicide. At that time, I wrote about my own initial reaction and the internet has been filled with others doing the same. Collectively, we have been shocked and dismayed by Aaron’s death and there have been increasing calls to “do something”. After a bit …

Continue reading ‘Reflections on the Swartz case’ »

Yesterday, we lost an inspiration

Thanks to an Ars Technica article, I just learned that Aaron Swartz has committed suicide. I’m writing this within moments of finding out. For those who hadn’t followed his career, he was one of the major drivers behind last years protests against SOPA, and was an activist for open access to academic publications. Most recently, …

Continue reading ‘Yesterday, we lost an inspiration’ »

A Paper Worth Reading: Baggy Bounds Checking

Baggy bounds checking: an efficient and backwards-compatible defense against out-of-bounds errors Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand USENIX Security Symposium 2009 (ACM) (PDF) This is pretty much the way to store bounds checking information for legacy code. Due to this line of work, the problem is largely considered solved in academia. (I slightly …

Continue reading ‘A Paper Worth Reading: Baggy Bounds Checking’ »

A Paper Worth Reading: EigenCFA

EigenCFA: accelerating flow analysis with GPUs Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary Hall POPL 11 (ACM)(PDF) Lest anyone be confused, the GPU parts of this paper are not the particularly interesting ones. I found their formulation of the Control Flow Analysis problem as a linear algebra problem to be thought provoking. This is a …

Continue reading ‘A Paper Worth Reading: EigenCFA’ »