| 2013 | NAACL | The Life and Death of Discourse Entities: Identifying Singleton Mentions |
| 2013 | NAACL | Automatic Generation of English Respellings |
| 2013 | NeurIPS | A memory frontier for complex synapses |
| 2013 | NeurIPS | Submodular Optimization with Submodular Cover and Submodular Knapsack Constraints |
| 2013 | NeurIPS | Scalable Influence Estimation in Continuous-Time Diffusion Networks |
| 2013 | NSDI | Embassies: Radically Refactoring the Web |
| 2013 | NSDI | A Fault-Tolerant Engineered Network |
| 2013 | NSDI | Composing Software Defined Networks |
| 2013 | NSDI | Expanding Rural Cellular Networks with Virtual Coverage |
| 2013 | PAKDD | Fast Graph Stream Classification Using Discriminative Clique Hashing |
| 2013 | PAKDD | One-Class Transfer Learning with Uncertain Data |
| 2013 | PAKDD | On Linear Refinement of Differential Privacy-Preserving Query Answering |
| 2013 | PAKDD | ProCF: Generalising Probabilistic Collaborative Filtering for Reciprocal Recommendation |
| 2013 | PAKDD | Efficient Mining of Contrast Patterns on Large Scale Imbalanced Real-life Data |
| 2013 | PAKDD | Matrix Factorization with Aggregated Observations |
| 2013 | PLDI | A General Constraint-centric Scheduling Framework for Spatial Architectures |
| 2013 | PLDI | Reconciling Exhaustive Pattern Matching with Objects |
| 2013 | PLDI | CLAP: Recording Local Executions to Reproduce Concurrency Failures |
| 2013 | PLDI | Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths |
| 2013 | PODS | Verification of database-driven systems via amalgamation |
| 2013 | POST | Logical foundations of secure resource management in protocol implementations |
| 2013 | RecSys | A Fast Parallel SGD for Matrix Factorization in Shared Memory Systems |
| 2013 | S&P | Pinocchio: Nearly Practical Verifiable Computation |
| 2013 | SciVis | Comparative Visual Analysis of Lagrangian Transport in CFD Ensembles |
| 2013 | SIGCOMM | Ambient Backscatter: Wireless Communication Out of Thin Air |
| 2013 | SIGIR | Beliefs and Biases in Web Search |
| 2013 | SIGMETRICS | Queueing System Topologies with Limited Flexibility |
| 2013 | SIGMOD | Massive Graph Triangulation |
| 2013 | SODA | A Simple Algorithm for the Graph Minor Decomposition - Logic meets Structural Graph Theory |
| 2013 | SODA | Dynamic graph connectivity in polylogarithmic worst case time |