- Our technical reports on AR projects (SurroundWeb, PrePose) and optimizations in InterPoll are out.
- Our papers on program boosting and Bek data-parallel compilation will be appearing in POPL'15.
- Our paper on creating makefiles automatically will be appearing at OOPSLA '14.
- Our paper on power analysis for InterPoll will be appearing at HCOMP '14.
- Our Z0 zero-knowledge compiler paper will appear at Usenix Security, 2014
- If you are interesting in our crowd-sourced polling work, our technical report on power analysis in InterPoll is out.
- You can play with Fast, a tree-manipulation language here or read our upcoming PLDI paper.
SurroundWeb gets coverage from Gizmodo and
- We have some new work on
race detection, and
zero knowledge for your reading pleasure.
- Our paper on Fast, a tree-manipulation language, will be appearing at PLDI'14.
- Our client-side personalization work will appear in CHI.
- Early work on crowd-sourcing programs is now available.
- Some of our research on personalization and privacy has been highlighed at the Microsoft Research Faculty Summit.