| 2003 | STOC | New lattice based cryptographic constructions |
| 2003 | The Web Conference | Scaling personalized web search |
| 2003 | The Web Conference | SemTag and seeker: bootstrapping the semantic web via automated semantic annotation |
| 2003 | UIST | Perceptually-supported image editing of text and graphics |
| 2003 | USENIX ATC | Operating System I/O Speculation: How Two Invocations Are Faster Than One |
| 2003 | USENIX ATC | Undo for Operators: Building an Undoable E-mail Store |
| 2003 | USENIX ATC | StarFish: Highly Available Block Storage |
| 2003 | USENIX ATC | Flexibility in ROM: A Stackable Open Source BIOS |
| 2002 | AAAI | On Computing all Abductive Explanations |
| 2002 | ACL | Discriminative Training and Maximum Entropy Models for Statistical Machine Translation |
| 2002 | ASE | Assumption Generation for Software Component Verification |
| 2002 | ASP-DAC | Floorplan Evaluation with Timing-Driven Global Wireplanning, Pin Assignment and Buffer/Wire Sizing |
| 2002 | CC | Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems |
| 2002 | DAC | A universal technique for fast and flexible instruction-set architecture simulation |
| 2002 | DAC | Remembrance of circuits past: macromodeling by data mining in large analog design spaces |
| 2002 | DAC | Guaranteed passive balancing transformations for model order reduction |
| 2002 | DATE | Reducing Test Application Time Through Test Data Mutation Encoding |
| 2002 | DATE | Using Problem Symmetry in Search Based Satisfiability Algorithms |
| 2002 | DATE | Analysis of Nonlinearities in RF Front-End Architectures Using a Modified Volterra Series Approach |
| 2002 | ECCV | Object Recognition as Machine Translation: Learning a Lexicon for a Fixed Image Vocabulary |
| 2002 | ECCV | Multi-camera Scene Reconstruction via Graph Cuts |
| 2002 | ECCV | Increasing Space-Time Resolution in Video |
| 2002 | ECCV | A Variational Approach to Recovering a Manifold from Sample Points |
| 2002 | ECCV | 3D Statistical Shape Models Using Direct Optimisation of Description Length |
| 2002 | EMNLP | Discriminative Training Methods for Hidden Markov Models: Theory and Experiments with Perceptron Algorithms |
| 2002 | EMNLP | Using the Web to Overcome Data Sparseness |
| 2002 | FAST | Track-Aligned Extents: Matching Access Patterns to Disk Drive Characteristics |
| 2002 | FAST | Venti: A New Approach to Archival Data Storage |
| 2002 | FOCS | Minimizing Congestion in General Networks |
| 2002 | FOCS | Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model |