I do programming languages and computer architecture.
I like research that breaks down abstraction barriers and rethinks the hardware–software interface.
I worked on approximate computing, the idea that computers can be more efficient if we let them make mistakes.
See what’s going on in my research group, which is called Capra.

Here’s a problem from our paper on approximate storage that has been bugging me for about five years now. I think it’s a coding theory problem, but I have no traction whatsoever. Send me your brilliant insights.