| 2007 | NSDI | Do Incentives Build Robustness in BitTorrent? |
| 2007 | NSDI | Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code |
| 2007 | PKC | Full-Domain Subgroup Hiding and Constant-Size Group Signatures |
| 2007 | PLDI | The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code |
| 2007 | PLDI | Fault-tolerant typed assembly language |
| 2007 | PODS | Generalized hypertree decompositions: np-hardness and tractable variants |
| 2007 | SciVis | Querying and Creating Visualizations by Analogy |
| 2007 | Security | Keep Your Enemies Close: Distance Bounding Against Smartcard Relay Attacks |
| 2007 | SIGIR | Studying the use of popular destinations to enhance web search interaction |
| 2007 | SIGMETRICS | Modeling the Relative Fitness of Storage |
| 2007 | SIGMOD | Compiling mappings to bridge applications and databases |
| 2007 | SIGMOD | Scalable approximate query processing with the DBO engine |
| 2007 | SOSP | Zyzzyva: speculative byzantine fault tolerance |
| 2007 | SOSP | Secure web application via automatic partitioning |
| 2007 | SOSP | Sinfonia: a new paradigm for building scalable distributed systems |
| 2007 | SPAA | Universal Augmentation Schemes for Network Navigability: Overcoming the √n-Barrier |
| 2007 | SPAA | Tight Bounds for Distributed Selection |
| 2007 | STOC | Faster integer multiplication |
| 2007 | STOC | Towards 3-query locally decodable codes of subexponential length |
| 2007 | TACAS | Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) |
| 2007 | TCC | Tackling Adaptive Corruptions in Multicast Encryption Protocols |
| 2007 | The Web Conference | Wherefore art thou r3579x?: anonymized social networks, hidden patterns, and structural steganography |
| 2007 | UIST | ThinSight: versatile multi-touch sensing for thin form-factor displays |
| 2007 | USENIX ATC | SafeStore: A Durable and Practical Storage System |
| 2007 | USENIX ATC | Hyperion: High Volume Stream Archival for Retrospective Querying |
| 2007 | VLDB | Scalable Semantic Web Data Management Using Vertical Partitioning |
| 2006 | AAAI | Model Counting: A New Strategy for Obtaining Good Bounds |
| 2006 | AAAI | Towards an Axiom System for Default Logic |
| 2006 | ACL | Semantic taxonomy induction from heterogenous evidence |
| 2006 | AICT | An approach in provision of interoperability of eLearning systems in enlarged EU - the case of iCamp project |