| 2014 | PLDI | Improving JavaScript Performance by Deconstructing the Type System |
| 2014 | PLDI | Compiler validation via equivalence modulo inputs |
| 2014 | PLDI | On Abstraction Refinement for Program Analyses in Datalog |
| 2014 | PODS | Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture |
| 2014 | RecSys | Beyond Clicks: Dwell Time for Personalization |
| 2014 | S&P | Bootstrapping Privacy Compliance in Big Data Systems |
| 2014 | S&P | Secure Multiparty Computations on BitCoin Marcin Andry |
| 2014 | SciVis | Visualization of Brain Microstructure Through Spherical Harmonics Illumination of High Fidelity Spatio-Angular Fields |
| 2014 | SIGCOMM | Balancing Accountability and Privacy in the Network |
| 2014 | SIGCOMM | CONGA: Distributed Congestion-Aware Load Balancing for Datacenters |
| 2014 | SIGIR | Partitioned Elias-Fano Indexes |
| 2014 | SIGMETRICS | Concave switching in single and multihop networks |
| 2014 | SIGMOD | Materialization Optimizations for Feature Selection Workloads |
| 2014 | SODA | Polynomiality for Bin Packing with a Constant Number of Item Types |
| 2014 | SODA | An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations |
| 2014 | SPAA | Parallel Peeling Algorithms |
| 2014 | STOC | The matching polytope has exponential extension complexity |
| 2014 | TACAS | Computing conditional probabilities in Markovian models efficiently |
| 2014 | TACAS | Analyzing the next generation airborne collision avoidance system |
| 2014 | The Web Conference | Efficient Estimation for High Similarities using Odd Sketches |
| 2014 | Ubicomp | Secure Bootstrapping of Cloud-Managed Ubiquitous Displays |
| 2014 | Ubicomp | The Architecture of Innovation: Tracking Face-to-Face Interactions with Ubicomp Technologies |
| 2014 | Ubicomp | Money Walks: A Human-Centric Study on the Economics of Personal Mobile Data |
| 2014 | Ubicomp | Intruders Versus Intrusiveness: Teens' and Parents' Perspectives on Home-Entryway Surveillance |
| 2014 | Ubicomp | Activity Recognition from User-Annotated Acceleration Data |
| 2014 | Ubicomp | Activity Recognition in the Home Using Simple and Ubiquitous Sensors |
| 2014 | Ubicomp | Particle Filters for Location Estimation in Ubiquitous Computing: A Case Study |
| 2014 | UIST | Sensing Techniques for Tablet+Stylus Interaction |
| 2014 | UIST | PrintScreen: Fabricating Highly Customizable Thin-film Touch-Displays |
| 2014 | UIST | Expert Crowdsourcing with Flash Teams |