| 2019 | KDD | The Unreasonable Effectiveness, and Difficulty, of Data in Healthcare. | Peter Lee |
| 2016 | AAAI | An Online Logic Programming Development Environment. | Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, Yuanlin Zhang |
| 2015 | POPL | Coding by Everyone, Every Day. | Peter Lee |
| 2012 | WSC | An open source simulation-based approach for neighbourhood spatial planning policy. | Peter Lee, Georgios Theodoropoulos |
| 2010 | POPL | Automatic numeric abstractions for heap-manipulating programs. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2009 | ICLP | A Language for Large Ensembles of Independently Executing Nodes. | Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell |
| 2009 | IROS | A tale of two planners: Modular robotic planning with LDP. | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell |
| 2008 | CAV | THOR: A Tool for Reasoning about Shape and Arithmetic. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2008 | ICRA | Programming modular robots with locally distributed predicates. | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell |
| 2007 | FPL | An Efficient Implementation of a 2D DWT on FPGA. | Michael Wisdom, Peter Lee |
| 2007 | ICCS | AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. | Catriona M. Kennedy, Georgios Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher |
| 2007 | ICRA | Distributed Watchpoints: Debugging Large Multi-Robot Systems. | Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry |
| 2007 | IJCNN | LogTOTEM: A Logarithmic Neural Processor and its Implementation on an FPGA Fabric. | Peter Lee, Esther Costa, Stephanie McBader, Luca Clementel, Alvise Sartori |
| 2007 | IROS | Meld: A declarative approach to programming ensembles. | Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai |
| 2007 | ISCAS | Logarithmic Codecs for Adaptive Beamforming in WCDMA Downlink Channels. | Charan Litchfield, Peter Lee, Richard J. Langley, John C. Batchelor |
| 2007 | MODELS | Model-Driven Construction of Certified Binaries. | Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger |
| 2006 | ICRA | Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots. | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai |
| 2005 | CAV | JVer: A Java Verifier. | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
| 2005 | ESOP | Enforcing Resource Bounds via Static Verification of Dynamic Checks. | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
| 2005 | ISCAS | An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications]. | Peter Lee |
| 2005 | PIMRC | Least squares adaptive algorithms suitable for multiplierless LMMSE detection in 3 | Charan Litchfield, Richard J. Langley, Peter Lee, John C. Batchelor |
| 2005 | WCNC | The use of hybrid logarithmic arithmetic for root raised cosine matched filters in WCDMA downlink receivers. | Charan Litchfield, Richard J. Langley, Peter Lee, John C. Batchelor |
| 2005 | SENSYS | Claytronics: highly scalable communications, sensing, and actuation networks. | Burak Aksak, Preethi Srinivas Bhat, Jason Campbell, Michael DeRosa, Stanislav Funiak, Phillip B. Gibbons, Seth Copen Goldstein, Carlos Guestrin, Ashish Gupta, Casey Helfrich, James F. Hoburg, Brian T. Kirby, James Kuffner, Peter Lee, Todd C. Mowry, Padmanabhan Pillai, Ram Ravichandran, Benjamin D. Rister, Srinivasan Seshan, Metin Sitti, Haifeng Yu |
| 2004 | IJCNN | The impact of modern FPGA architectures on neural hardware: a case study of the TOTEM neural processor. | Stephanie McBader, Peter Lee, Alvise Sartori |
| 2003 | FPL | An FPGA System for the High Speed Extraction, Normalization and Classification of Moment Descriptors. | Stavros Paschalakis, Peter Lee, Miroslaw Bober |
| 2003 | SMC | A behavior-based collaborative multi-agent system. | Xi Wang, Peter Lee, Asok Ray, Shashi Phoha |
| 2003 | TACAS | What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. | Peter Lee |
| 2002 | CADE | Temporal Logic for Proof-Carrying Code. | Andrew Bernard, Peter Lee |
| 2002 | FPL | SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor. | Stephanie McBader, Luca Clementel, Alvise Sartori, Andrea Boni, Peter Lee |
| 2000 | CADE | Proof Generation in the Touchstone Theorem Prover. | George C. Necula, Peter Lee |
| 2000 | CAV | A Proof-Carrying Code Architecture for Java. | Christopher Colby, Peter Lee, George C. Necula |
| 2000 | ICPR | Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images. | Stavros Paschalakis, Peter Lee |
| 2000 | PADL | Production-Quality Proof-Carrying Code. | Peter Lee |
| 2000 | PLDI | A certifying compiler for Java. | Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline |
| 2000 | SSPR | Statistical Pattern Recognition Using the Normalized Complex Moment Components Vector. | Stavros Paschalakis, Peter Lee |
| 1999 | SIGGRAPH | To be or not to be. | Peter Lee |
| 1998 | FPL | An FPFA Based Object Recognition Machine. | Ali Zakerolhosseini, Peter Lee, Ed Horne |
| 1998 | LICS | Efficient Representation and Validation of Proofs. | George C. Necula, Peter Lee |
| 1998 | PLDI | Generational Stack Collection and Profile-Driven Pretenuring. | Perry Cheng, Robert Harper, Peter Lee |
| 1998 | PLDI | The Design and Implementation of a Certifying Compiler. | George C. Necula, Peter Lee |
| 1998 | PLDI | The design and implementation of a certifying compiler (with retrospective) | George C. Necula, Peter Lee |
| 1998 | PLDI | Run-time Code Generation and Modal-ML. | Philip Wickline, Peter Lee, Frank Pfenning |
| 1998 | SAS | Certifying, Optimizing Compilation (Abstract). | Peter Lee |
| 1997 | SIGGRAPH | Linear colour contouring for fine art printmaking. | Peter Lee |
| 1997 | SP | Research on Proof-Carrying Code for Untrusted-Code Security. | George C. Necula, Peter Lee |
| 1996 | OSDI | Safe Kernel Extensions Without Run-Time Checking. | George C. Necula, Peter Lee |
| 1996 | PLDI | Optimizing ML with Run-Time Code Generation. | Peter Lee, Mark Leone |
| 1996 | PLDI | Optimizing ML with run-time code generation (with retrospective) | Peter Lee, Mark Leone |
| 1996 | PLDI | TIL: A Type-Directed Optimizing Compiler for ML. | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | PLDI | TIL: a type-directed, optimizing compiler for ML (with retrospective) | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
| 1996 | POPL | Trace-Based Program Analysis. | Christopher Colby, Peter Lee |
| 1995 | FPL | An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System. | Peter Lee |
| 1994 | PEPM | Lightweight Run-Time Code Generation. | Mark Leone, Peter Lee |
| 1991 | SAS | An Implementation of Parametrized Partial Evaluation. | Christopher Colby, Peter Lee |
| 1989 | PLDI | A Fresh Look at Combinator Graph Reduction. | Philip J. Koopman Jr., Peter Lee |
| 1988 | PLDI | An Automatically Generated, Realistic Compiler for an Imperative Programming Language. | Uwe F. Pleban, Peter Lee |
| 1987 | MFPS | High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. | Uwe F. Pleban, Peter Lee |
| 1987 | POPL | A Realistic Compiler Generator Based on High-Level Semantics. | Peter Lee, Uwe F. Pleban |