updated sporadically at best

Even though cybersecurity is one of the hottest topics on the Internet, my specific area of research, information flow security, has remain...

Recently I attended the Programming Languages Mentoring Workshop , a program to introduce advanced undergraduates and early-stage PhD stude...

Note: The images in this post are inexplicably broken due to some kind of Blogger bug. If someone is reading this at Google, please help! ...

A collaboration with Sam Tobin-Hochstadt , Assistant Professor at Indiana University. There has been some buzz on social media about this...

I've been doing a lot of relatively mindless but decently labor-intensive code-related work (colloquially known, especially in the brog...

A couple years ago, I discovered what I thought was the shortcut to building research systems.  Forget good software engineering practice! ...

My paper with Chris Hawblitzel "Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System" appeared as ...

For the last three years, I have been working on things building up to the creation of Jeeves ( project website here ), a new programming la...

One of the most fun talks at the Principles of Programming Languages (POPL) conference this year was about Redex, a Racket-based system for ...

I just returned from PLDI 2010 in Toronto, Canada. The papers, talks, and non-technical content were all great! This year parallelism and ...

A friend told me that she was thinking about getting a power couple to mentor her and her boyfriend as a couple. She said that people cal...

Interaction and search allow ambiguity, concision.

This is old news by now, but a couple of weeks ago I was at POPL, where they had a panel on the grand challenges to solve in programming la...

This is so wild! The goal of program safety as I knew it was: terminate with the correct answer or raise an error. These people at MIT ar...

holy crap; this image resizing video is amazing. they show how they have targeted resizing of images based on features etc. they can als...