| 2005 | PKC | A Verifiable Random Function with Short Proofs and Keys |
| 2005 | PLDI | Automatic pool allocation: improving performance by controlling data structure layout in the heap |
| 2005 | PLDI | Programming by sketching for bit-streaming programs |
| 2005 | PODS | XML data exchange: consistency and query answering |
| 2005 | PODS | On the complexity of division and set joins in the relational algebra |
| 2005 | SciVis | The value of visualization |
| 2005 | Security | Mapping Internet Sensors with Probe Response Attacks |
| 2005 | Security | Security Analysis of a Cryptographically-Enabled RFID Device |
| 2005 | SIGIR | Learning to estimate query difficulty: including applications to missing content detection and distributed information retrieval |
| 2005 | SIGMETRICS | Coupon replication systems |
| 2005 | SOSP | Rx: treating bugs as allergies - a safe method to survive software failures |
| 2005 | SOSP | Speculative execution in a distributed file system |
| 2005 | SOSP | BAR Tolerance for Cooperative Services |
| 2005 | SOSP | Vigilante: End-to-End Containment of Internet Worms |
| 2005 | STOC | Undirected ST-connectivity in log-space |
| 2005 | TCC | Evaluating 2-DNF Formulas on Ciphertexts |
| 2005 | The Web Conference | Three-level caching for efficient query processing in large Web search engines |
| 2005 | UIST | Automation and customization of rendered web pages |
| 2005 | USENIX ATC | Debugging Operating Systems with Time-Traveling Virtual Machines |
| 2005 | USENIX ATC | USB/IP—A Peripheral Bus Extension for Device Sharing over IP Network |
| 2005 | USENIX ATC | Itanium—A System Implementor's Tale |
| 2005 | VLDB | Cache-conscious Frequent Pattern Mining on a Modern Processor |
| 2004 | AAAI | Learning and Inferring Transportation Routines |
| 2004 | ACL | Finding Predominant Word Senses in Untagged Text |
| 2004 | ASE | A Differencing Algorithm for Object-Oriented Programs |
| 2004 | ASIACRYPT | How Far Can We Go Beyond Linear Cryptanalysis? |
| 2004 | ASIACRYPT | The XL-Algorithm and a Conjecture from Commutative Algebra |
| 2004 | ASP-DAC | Preserving synchronizing sequences of sequential circuits after retiming |
| 2004 | ASP-DAC | Representative frequency for interconnect R(f)L(f)C extraction |
| 2004 | ASSETS | Text entry from power wheelchairs: edgewrite for joysticks and touchpads |