| 1996 | AAAI | Verification of Knowledge Bases Based on Containment Checking |
| 1996 | AAAI | A Novel Application of Theory Refinement to Student Modeling |
| 1996 | ASE | Extending design environments to software architecture design |
| 1996 | DAC | A Probability-Based Approach to VLSI Circuit Partitioning |
| 1996 | DAC | On Solving Covering Problems |
| 1996 | DAC | Using Register-Transfer Paths in Code Generation for Heterogeneous Memory-Register Architectures |
| 1996 | DAC | HEAT: Hierarchical Energy Analysis Tool |
| 1996 | DAC | POSE: Power Optimization and Synthesis Environment |
| 1996 | ICRA | Set Theoretic Localization of Fast Mobile Robots Using an Angle Measurement Technique |
| 1996 | ICRA | A Sorting Image Sensor: An Example of Massively Parallel Intensity-to-Time Processing for Low Latency Computational Sensors |
| 1996 | INFOCOM | An algorithm for multicast tree generation in networks with asymmetric links |
| 1996 | ITC | Weak-Write Test Mode: an SRAM Cell Stability Design for Test Technique |
| 1996 | ITC | Early Capture for Boundary Scan Timing Measurments |
| 1996 | ITC | Process-Aggravated Noise: New Validation and Test Problem |
| 1996 | LISA | SLINK: Simple, Effective Filesystem Maintenance Abstractions for Community-Based Administration |
| 1996 | OSDI | Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications |
| 1996 | OSDI | Safe Kernel Extensions Without Run-Time Checking |
| 1996 | POPL | Points-to Analysis in Almost Linear Time |
| 1996 | SIGGRAPH | Light Field Rendering |
| 1996 | SIGGRAPH | Progressive Meshes |
| 1996 | SIGGRAPH | The Lumigraph |
| 1996 | SIGIR | Retrieving Spoken Documents by Combining Multiple Index Sources |
| 1996 | SIGMETRICS | Supporting stored video: Reducing rate variability and end-to-end resource requirements through optimal smoothing |
| 1996 | SIGMETRICS | Exploiting process lifetime distributions for dynamic load balancing |
| 1996 | SIGMOD | Implementing Data Cubes Efficiently |
| 1996 | UIST | Indigo: A Local Propagation Algorithm for Inequality Constraints |
| 1996 | USENIX ATC | lmbench: Portable Tools for Performance Analysis |
| 1996 | Vis | Interactive visualization of 3D-vector fields using illuminated streamlines |
| 1995 | ASE | Interactive Explanation of Software Systems |
| 1995 | ASE | META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems |