| 2004 | TCC | Physically Observable Cryptography (Extended Abstract) |
| 2004 | The Web Conference | Automatic detection of fragments in dynamically generated web pages |
| 2004 | UIST | CrossY: a crossing-based drawing application |
| 2004 | UIST | Multi-finger gestural interaction with 3d volumetric displays |
| 2004 | USENIX ATC | Handling Churn in a DHT |
| 2004 | USENIX ATC | Wayback: A User-level Versioning File System for Linux |
| 2004 | USENIX ATC | Energy Efficient Prefetching and Caching |
| 2004 | USENIX ATC | Design and Implementation of Netdude, a Framework for Packet Trace Manipulation |
| 2004 | VLDB | Model-Driven Data Acquisition in Sensor Networks |
| 2003 | ACL | Accurate Unlexicalized Parsing |
| 2003 | ACL | Towards a Model of Face-to-Face Grounding |
| 2003 | ASE | Debugging Overconstrained Declarative Models Using Unsatisfiable Cores |
| 2003 | ASP-DAC | Statistical delay computation considering spatial correlations |
| 2003 | ASP-DAC | Towards on-chip fault-tolerant communication |
| 2003 | ASP-DAC | Design of a scalable RSA and ECC crypto-processor |
| 2003 | CODES+ISSS | An efficient retargetable framework for instruction-set simulation |
| 2003 | CP | Control Abstractions for Local Search |
| 2003 | CVPR | Object Class Recognition by Unsupervised Scale-Invariant Learning |
| 2003 | DAC | Automatic application-specific instruction-set extensions under microarchitectural constraints |
| 2003 | DAC | Random walks in a supply network |
| 2003 | DAC | NORM: compact model order reduction of weakly nonlinear systems |
| 2003 | DAC | The synthesis of cyclic combinational circuits |
| 2003 | DATE | Exploiting the Routing Flexibility for Energy/Performance Aware Mapping of Regular NoC Architectures |
| 2003 | DATE | Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications |
| 2003 | DATE | Delay Defect Diagnosis Based Upon Statistical Timing Models - The First Step |
| 2003 | EMNLP | Training Connectionist Models for the Structured Language Model |
| 2003 | ESOP | Handling Encryption in an Analysis for Secure Information Flow |
| 2003 | FAST | Using MEMS-Based Storage in Disk Arrays |
| 2003 | FAST | Pond: The OceanStore Prototype |
| 2003 | FOCS | On the Impossibility of Dimension Reduction in l1 |