| 2013 | SOSP | Towards optimization-safe systems: analyzing the impact of undefined behavior |
| 2013 | SOSP | Naiad: A Timely Dataflow System |
| 2013 | SOSP | The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors |
| 2013 | SPAA | Fast Greedy Algorithms in MapReduce and Streaming |
| 2013 | SPAA | IRIS: A Robust Information System Against Insider DoS-Attacks |
| 2013 | STOC | Approximation Resistance from Pairwise Independent Subgroups |
| 2013 | STOC | Low Rank Approximation and Regression in Input Sparsity Time |
| 2013 | TACAS | An integrated specification and verification technique for highly concurrent data structures |
| 2013 | TACAS | Deriving probability density functions from probabilistic functional programs |
| 2013 | TACAS | eVolCheck: incremental upgrade checker for C |
| 2013 | The Web Conference | No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities |
| 2013 | Ubicomp | Exploring Capturable Everyday Memory for Autobiographical Authentication |
| 2013 | Ubicomp | Instant Inkjet Circuits: Lab-based Inkjet Printing to Support Rapid Prototyping of UbiComp Devices |
| 2013 | Ubicomp | There's No Such Thing as Gaining a Pound: Reconsidering the Bathroom Scale User Interface |
| 2013 | Ubicomp | It Takes a Network to Get Dinner: Designing Location-based Systems to Address Local Food Needs |
| 2013 | Ubicomp | MACH: My Automated Conversation coacH |
| 2013 | Ubicomp | Inferring High-Level Behavior from Low-Level Sensors |
| 2013 | UIST | PneUI: Pneumatically Actuated Soft Composite Materials for Shape Changing Interfaces |
| 2013 | UIST | Touch & Activate: Adding Interactivity to Existing Objects using Active Acoustic Sensing |
| 2013 | UIST | Fiberio: A Touchscreen that Senses Fingerprints |
| 2013 | USENIX ATC | Copysets: Reducing the Frequency of Data Loss in Cloud Storage |
| 2013 | USENIX ATC | I/O Stack Optimization for Smartphones |
| 2013 | VAST | A Partition-Based Framework for Building and Validating Regression Models |
| 2013 | VISAPP | Social Cues in Group Formation and Local Interactions for Collective Aativity Analysis |
| 2013 | VISAPP | Automated Classification of Therapeutic Face Exercises Using the Kinect |
| 2013 | VLDB | DisC Diversity: Result Diversification based on Dissimilarity and Coverage |
| 2012 | AAAI | Document Summarization Based on Data Reconstruction |
| 2012 | AAAI | Learning SVM Classiiers with Indeinite Kernels |
| 2012 | ACL | String Re-writing Kernel |
| 2012 | ACL | Bayesian Symbol-Refined Tree Substitution Grammars for Syntactic Parsing |