Peter Lee

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