Peter Lee

Publication Activity (10 Years)

Years Active: 1986-2012
Publications (10 Years): 0

Publications

Peter Lee
The fox and the hedgehog: technical perspective. Commun. ACM 55 (6) (2012)
Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai
Detecting Locally Distributed Predicates. ACM Trans. Auton. Adapt. Syst. 6 (2) (2011)
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
Automatic numeric abstractions for heap-manipulating programs. POPL (2010)
Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell
A Language for Large Ensembles of Independently Executing Nodes. ICLP (2009)
Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell
A tale of two planners: Modular robotic planning with LDP. IROS (2009)
Seth Copen Goldstein, Todd C. Mowry, Jason Campbell, Michael P. Ashley-Rollman, Michael DeRosa, Stanislav Funiak, James F. Hoburg, Mustafa Emre Karagozler, Brian T. Kirby, Peter Lee, Padmanabhan Pillai, James Robert Reid, Daniel D. Stancil, Michael Philetus Weller
Beyond Audio and Video: Using Claytronics to Enable Pario. AI Mag. 30 (2) (2009)
Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell
Programming modular robots with locally distributed predicates. ICRA (2008)
Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai
Distributed Watchpoints: Debugging Large Modular Robot Systems. Int. J. Robotics Res. 27 (3-4) (2008)
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
THOR: A Tool for Reasoning about Shape and Arithmetic. CAV (2008)
Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry
Distributed Watchpoints: Debugging Large Multi-Robot Systems. ICRA (2007)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing resource bounds via static verification of dynamic checks. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai
Meld: A declarative approach to programming ensembles. IROS (2007)
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger
Model-Driven Construction of Certified Binaries. MoDELS (2007)
Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai
Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots. ICRA (2006)
Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha
High-Confidence Medical Device Software and Systems. Computer 39 (4) (2006)
Peter Lee
An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications]. ISCAS (5) (2005)
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
Claytronics: highly scalable communications, sensing, and actuation networks. SenSys (2005)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
JVer: A Java Verifier. CAV (2005)
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
Enforcing Resource Bounds via Static Verification of Dynamic Checks. ESOP (2005)
Peter Lee
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. TACAS (2003)
Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290 (2) (2003)
Andrew Bernard, Peter Lee
Temporal Logic for Proof-Carrying Code. CADE (2002)
Edoardo Biagioni, Robert Harper, Peter Lee
A Network Protocol Stack in Standard ML. High. Order Symb. Comput. 14 (4) (2001)
George C. Necula, Peter Lee
Proof Generation in the Touchstone Theorem Prover. CADE (2000)
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
A certifying compiler for Java. PLDI (2000)
Peter Lee
Production-Quality Proof-Carrying Code. PADL (2000)
Christopher Colby, Peter Lee, George C. Necula
A Proof-Carrying Code Architecture for Java. CAV (2000)
Peter Lee
SIGPLAN Supports Your Professional Activities. ACM SIGPLAN Notices 33 (3) (1998)
Peter Lee
Certifying, Optimizing Compilation (Abstract). SAS (1998)
Mark Leone, Peter Lee
Dynamic Specialization in the Fabius System. ACM Comput. Surv. 30 (3es) (1998)
Andrew Bernard, Robert Harper, Peter Lee
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. Types in Compilation (1998)
Perry Cheng, Robert Harper, Peter Lee
Generational Stack Collection and Profile-Driven Pretenuring. PLDI (1998)
George C. Necula, Peter Lee
The design and implementation of a certifying compiler (with retrospective) Best of PLDI (1998)
George C. Necula, Peter Lee
Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security (1998)
Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies
Modal Types as Staging Specifications for Run-Time Code Generation. ACM Comput. Surv. 30 (3es) (1998)
George C. Necula, Peter Lee
The Design and Implementation of a Certifying Compiler. PLDI (1998)
George C. Necula, Peter Lee
Efficient Representation and Validation of Proofs. LICS (1998)
Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone
Safe-for-Space Threads in Standard ML. High. Order Symb. Comput. 11 (2) (1998)
Philip Wickline, Peter Lee, Frank Pfenning
Run-time Code Generation and Modal-ML. PLDI (1998)
George C. Necula, Peter Lee
Research on Proof-Carrying Code for Untrusted-Code Security. IEEE Symposium on Security and Privacy (1997)
Christopher Colby, Peter Lee
Trace-Based Program Analysis. POPL (1996)
George C. Necula, Peter Lee
Safe Kernel Extensions Without Run-Time Checking. OSDI (1996)
Peter Lee, Mark Leone
Optimizing ML with run-time code generation (with retrospective) Best of PLDI (1996)
Peter Lee
Implementing Threads in Standard ML. Advanced Functional Programming (1996)
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
TIL: A Type-Directed Optimizing Compiler for ML. PLDI (1996)
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee
TIL: a type-directed, optimizing compiler for ML (with retrospective) Best of PLDI (1996)
Peter Lee, Mark Leone
Optimizing ML with Run-Time Code Generation. PLDI (1996)
Pieter H. Hartel, Marc Feeley, Martin Helmut Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6 (4) (1996)
Robert Harper, Peter Lee
Research in Programming Languages for Composability, Safety, and Performance. ACM Comput. Surv. 28 (4es) (1996)
Peter Lee
An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System. FPL (1995)
Chris Okasaki, Peter Lee, David Tarditi
Call-by-Need and Continuation-Passing Style. LISP Symb. Comput. 7 (1) (1994)
Mark Leone, Peter Lee
Lightweight Run-Time Code Generation. PEPM (1994)
Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes
Signatures for a Network Protocol Stack: A Systems Application of Standard ML. LISP and Functional Programming (1994)
David Tarditi, Peter Lee, Anurag Acharya
No Assembly Required: Compiling Standard ML to C. LOPLAS 1 (2) (1992)
David S. Touretzky, Peter Lee
Visualizing Evaluation in Applicative Languages. Commun. ACM 35 (10) (1992)
Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek
Cache Behavior of Combinator Graph Reduction. ACM Trans. Program. Lang. Syst. 14 (2) (1992)
Christopher Colby, Peter Lee
An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA (1991)
Frank Pfenning, Peter Lee
Metacircularity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 89 (1) (1991)
Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek
Cache Performance of Combinator Graph Reduction. ICCL (1990)
Robert L. Nord, Peter Lee, William L. Scherlis
Formal manipulation of modular software systems. Formal Methods in Software Development (1990)
Philip J. Koopman Jr., Peter Lee
A Fresh Look at Combinator Graph Reduction. PLDI (1989)
Frank Pfenning, Peter Lee
LEAP: A Language with Eval And Polymorphism. TAPSOFT, Vol.2 (1989)
Peter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis
The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments. Software Development Environments (SDE) (1988)
Uwe F. Pleban, Peter Lee
An Automatically Generated, Realistic Compiler for an Imperative Programming Language. PLDI (1988)
Uwe F. Pleban, Peter Lee
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. MFPS (1987)
Peter Lee, Uwe F. Pleban
A Realistic Compiler Generator Based on High-Level Semantics. POPL (1987)
Peter Lee, Uwe F. Pleban
On the Use of LISP in Implementing Denotational Semantics. LISP and Functional Programming (1986)