| 1997 | AAAI | Fast Context Switching in Real-Time Propositional Reasoning |
| 1997 | AAAI | A Practical Algorithm for Finding Optimal Triangulations |
| 1997 | ASE | Mapping Software Architectures to Efficient Implementations via Partial Evaluation |
| 1997 | CHI | Tangible Bits: Towards Seamless Interfaces between People, Bits and Atoms |
| 1997 | DAC | Equivalence Checking Using Cuts and Heaps |
| 1997 | DAC | An Improved Algorithm for Minimum-Area Retiming |
| 1997 | DAC | Efficient Methods for Simulating Highly Nonlinear Multi-Rate Circuits |
| 1997 | DAC | Computer-Aided Design of Free-Space Opto-Electronic Systems |
| 1997 | ICRA | Real-Time Failure Tolerant Control of Kinematically Redundant Manipulators |
| 1997 | IJCAI | Translingual Information Retrieval: A Comparative Evaluation |
| 1997 | IJCAI | Object Identification in a Bayesian Context |
| 1997 | IJCAI | Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator |
| 1997 | INTERSPEECH | Subword unit representations for spoken document retrieval |
| 1997 | INTERSPEECH | Statistical language modeling using the CMU-Cambridge toolkit |
| 1997 | ITC | Current Signatures: Application |
| 1997 | ITC | Intrinsic Leakage in Low-Power Deep-Submicron CMOS ICs |
| 1997 | KDD | Analysis and Visualization of Classifier Performance: Comparison under Imprecise Class and Cost Distributions |
| 1997 | LISA | Implementing a Generalized Tool for Network Monitoring |
| 1997 | PODS | On the complexity of database queries (extended abstract) |
| 1997 | POPL | Proof-Carrying Code |
| 1997 | SIGIR | Feature Selection, Perceptron Learning, and a Usability Case Study for Text Categorization |
| 1997 | SIGIR | Users Lost: Reflections on the Past, Future, and Limits of Information Science (Summary) |
| 1997 | SIGMOD | Fast Parallel Similarity Search in Multimedia Databases |
| 1997 | SOSP | Continuous Profiling: Where Have All the Cycles Gone? |
| 1997 | SOSP | DISCO: Running Commodity Operating Systems on Scalable Multiprocessors |
| 1997 | SOSP | Eraser: a dynamic data race detector for multithreaded programs |
| 1997 | USENIX ATC | Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files |
| 1997 | Vis | An anti-aliasing technique for splatting |
| 1997 | VLDB | Integrating Reliable Memory in Databases |
| 1996 | AAAI | Pushing the Envelope: Planning, Propositional Logic and Stochastic Search |