| 2003 | ICSE | Precise Dynamic Slicing Algorithms |
| 2003 | ICSE | Modular Verification of Software Components in C |
| 2003 | IJCAI | Approximating Game-Theoretic Optimal Strategies for Full-scale Poker |
| 2003 | IJCAI | Thin Junction Tree Filters for Simultaneous Localization and Mapping |
| 2003 | INFOCOM | User-Level Performance of Channel-Aware Scheduling Algorithms in Wireless Data Networks |
| 2003 | InfoVis | Smooth and efficient zooming and panning |
| 2003 | INTERSPEECH | CRA-BF: A Novel Combined Fixed/Adaptive Beamforming for Robust Speech Recognition in Real Car Environments |
| 2003 | INTERSPEECH | The auditory organization of speech and other sources in listeners and computational models |
| 2003 | ISQED | Design and Measurement of an Inductance-Oscillator for Analyzing Inductance Impact on On-Chip Interconnect Delay |
| 2003 | ITC | Elimination of Traditional Functional Testing of Interface Timings at Intel |
| 2003 | ITC | Convolutional Compaction of Test Responses |
| 2003 | JCDL | How Fast Is Too Fast? Evaluating Fast Forward Surrogates for Digital Video |
| 2003 | KDD | Maximizing the spread of influence through a social network |
| 2003 | LISA | STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support |
| 2003 | LISA | Distributed Tarpitting: Impeding Spam Across Multiple Servers |
| 2003 | MICRO | Razor: A Low-Power Pipeline Based on Circuit-Level Timing Speculation |
| 2003 | Mobisys | Energy Aware Lossless Data Compression |
| 2003 | PLDI | Automatically proving the correctness of compiler optimizations |
| 2003 | PODC | Software transactional memory for dynamic-sized data structures |
| 2003 | PODS | An information-theoretic approach to normal forms for relational and XML data |
| 2003 | SciVis | Counting cases in marching cubes: toward a generic algorithm for producing substitopes |
| 2003 | Security | Remote Timing Attacks Are Practical |
| 2003 | Security | Establishing the Genuinity of Remote Computer Systems |
| 2003 | SIGIR | Re-examining the potential effectiveness of interactive query expansion |
| 2003 | SIGMOD | Spreadsheets in RDBMS for OLAP |
| 2003 | SOSP | Improving the reliability of commodity operating systems |
| 2003 | SOSP | Backtracking intrusions |
| 2003 | SOSP | Preserving peer replicas by rate-limited sampled voting |
| 2003 | SOSP | Xen and the art of virtualization |
| 2003 | STOC | Derandomizing polynomial identity tests means proving circuit lower bounds |