2019
- ACSAC (Test of Time): ITS4: A Static Vulnerability Scanner for C and C++ Code
- ICCV (Test of Time): Building Rome in a Day
- SOSP (Best Paper): Scaling symbolic evaluation for automated verification of systems code with Serval
- USENIX (Distinguished Paper): Computer Security and Privacy in the Interactions Between Victim Service Providers and Human Trafficking Survivors
- ISSTA (Impact Paper Award): HAMPI: A solver for string constraints
- STOC (Best Paper): Log-Concave Polynomials II: High-Dimensional Walks and an FPRAS for Counting Bases of a Matroid
- IEEE Symposium on Security & Privacy (Test of Time): Pacemarkers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses
- CHI (Best Paper): Anchored Audio Sampling: A Seamless Method for Exploring Children's Thoughts During Deployment Studies
- CHI (Best Paper): "Occupational Therapy Is Making": Clinical Rapid Prototyping and Digital Fabrication
- CHI (Best Paper): Project Sidewalk: A Web-based Crowdsourcing Tool for Collecting Sidewalk Accessibility Data at Scale
- HRI (Best Paper - Technical Advances in HRI): Transfer depends on Acquisition: Analyzing Manipulation Strategies for Robotic Feeding
- IUI (Most Impact Paper): SUPPLE: Automatically Generating User Interfaces
- SIGCSE (Best Paper): Computer Science Principles for Teachers of Blind and Visually Impaired Students
2018
- NeurIPS (Best Paper): Optimal Algorithms for Non-Smooth Distributed Optimization in Networks
- SenSys (Best Paper): 3D Localization for Sub-Centimeter Sized Devices
- DNA-24 (Best Student Paper): A Content-Addressable DNA Database with Learned Sequence Encodings
- IMWUT (Distinguished Paper): LoRa Backscatter: Enabling the Vision of Ubiquitous Connectivity
- InfoVis (Best Paper): Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco
- Ubicomp/Pervasive (10-Year Impact): Detecting Human Movement by Differential Air Pressure Sensing in HVAC System Ductwork: An Exploration in Infrastructure Mediated Sensing
- Ubicomp/Pervasive (10-Year Impact): Flowers or a Robot Army? Encouraging Awareness & Activity with Personal, Mobile Displays
- ISSTA (Impact Paper Award): Practical Pluggable Types for Java
- ICSE (Distinguished Paper): Generalized Data Structure Synthesis
- SIMPAR (Best Paper): Reinforcement learning for non-prehensile manipulation: Transfer from simulation to physical system
2017
- IEEE VAST (Best Paper): Visualizing Dataflow Graphs of Deep Learning Models in Tensor Flow
- Ubicomp (Test of Time): At the Flick of a Switch: Detecting and Classifying Unique Electrical Events on the Residential Power Line
- ICSE (Most Influential Paper): Feedback-directed Random Test Generation
- SIGMOD (Test of Time): Fault-Tolerance in the Borealis Distributed Stream Processing System
- ICRA (Best Robotic Vision Paper): Self-supervised Visual Descriptor Learning for Dense Correspondence
- CHI (Best Paper): Explaining the Gap: Visualizing One's Predictions Improves Recall and Comprehension of Data
- CHI (Best Paper): Examining Menstrual Tracking to Inform the Design of Personal Informatics Tools
2016
- OSDI (Best Paper): Push-Button Verification of File Systems via Crash Refinement
- EMNLP (Best Paper): Global Neural CCG Parsing with Optimality Guarantees
- ISWC (Best Paper): EyeContact: Scleral Coil Eye Tracking for Virtual Reality
- UbiComp (Best Paper): HemaApp: Noninvasive Blood Screening of Hemoglobin Using Smartphone Cameras
- HPEC (Best Student Paper): From NoSQL Accumulo to NewSQL Graphulo: Design & Utility of Graph Algorithms Inside a BigTable Database
- HPEC (Best Paper): Julia Implementation of the Dynamic Distributed Dimensional Data Model
- SIGCOMM (Best Paper): Inter-Technology Backscatter: Towards Internet Connectivity for Implanted Devices
- InfoVis (Best Paper): Vega-Lite: A Grammar of Interactive Graphics
- SYNT (Best Student Paper): Leveraging Parallel Data Processing Frameworks with Verified Lifting
- USENIX ATC (Best Student Paper): Satellite: Joint Analysis of CDNs and Network-Level Interference
- ICRA (Best Robotic Manipulation Paper): Optimal Control with Learned Local Models: Application to Dexterous Manipulation
- SIGMOBILE (Test of Time): Place Lab: Device Positioning Using Radio Beacons in the Wild
- CHI (Best Paper): Enabling Designers to Foresee Which Colors Users Cannot See
- NSDI (Best Paper): Passive Wi-Fi: Bringing Low Power to Wi-Fi Transmissions
- CSCW (Best Paper): Boundary Negotiating Artifacts in Personal Informatics: Patient-Provider Collaboration with Patient-Generated Data
2015
- ASSETS (Best Student Paper): Social Media Platforms for Low-income Blind People in India
- UbiComp (Best Student Paper): Enhancing Mobile Apps to Use Sensor Hubs without Programmer Effort
- EMNLP (Best Paper): Broad-coverage CCG Semantic Parsing with AMR
- KDD (Test of Time): Mining High-Speed Data Streams
- IJCAI (Distinguished Paper): Recursive Decomposition for Nonconvex Optimization
- USENIX ATC (Best Paper): Latency-Tolerant Software Distributed Shared Memory
- CVPR (Best Paper): DynamicFusion: Reconstruction and Tracking of Non-rigid Scenes in Real-Time
- PLDI (Distinguished Paper): Automatically Improving Accuracy for Floating Point Expressions
- NSDI (Best Paper): Designing Distributed Systems Using Approximate Synchrony in Data Center Networks
- STOC (Best Paper): Lower Bounds on the Size of Semidefinite Programming Relaxations