default search action
Peter Lee 0001
Person information
- affiliation: Microsoft Research, USA
- affiliation: Carnegie Mellon University, Pittsburgh, USA
Other persons with the same name
- Peter Lee — disambiguation page
- Peter Lee 0002 — University of Kent
- Peter Lee 0003 — University of Birmingham
- Peter Lee 0004 — University of Oxford
- Peter Lee 0005 — Virginia Tech
- Peter Lee 0006 (aka: Peter John Lee) — University of the Arts London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c49]Peter Lee:
Coding by Everyone, Every Day. POPL 2015: 485 - 2012
- [j19]Peter Lee:
The fox and the hedgehog: technical perspective. Commun. ACM 55(6): 120 (2012) - 2011
- [j18]Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai:
Detecting Locally Distributed Predicates. ACM Trans. Auton. Adapt. Syst. 6(2): 13:1-13:14 (2011) - 2010
- [c48]Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
:
Automatic numeric abstractions for heap-manipulating programs. POPL 2010: 211-222
2000 – 2009
- 2009
- [j17]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): 29-45 (2009) - [c47]Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell:
A Language for Large Ensembles of Independently Executing Nodes. ICLP 2009: 265-280 - [c46]Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell:
A tale of two planners: Modular robotic planning with LDP. IROS 2009: 5267-5274 - 2008
- [j16]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): 315-329 (2008) - [c45]Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay
THOR: A Tool for Reasoning about Shape and Arithmetic. CAV 2008: 428-432 - [c44]Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell:
Programming modular robots with locally distributed predicates. ICRA 2008: 3156-3162 - 2007
- [j15]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): 28 (2007) - [c43]Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry:
Distributed Watchpoints: Debugging Large Multi-Robot Systems. ICRA 2007: 3723-3729 - [c42]Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai:
Meld: A declarative approach to programming ensembles. IROS 2007: 2794-2800 - [c41]Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger:
Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681 - 2006
- [j14]Insup Lee, George J. Pappas
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006) - [c40]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: 1462-1468 - 2005
- [c39]Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula:
JVer: A Java Verifier. CAV 2005: 144-147 - [c38]Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula:
Enforcing Resource Bounds via Static Verification of Dynamic Checks. ESOP 2005: 311-325 - [c37]Peter Lee:
An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications]. ISCAS (5) 2005: 4863-4866 - [c36]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
Claytronics: highly scalable communications, sensing, and actuation networks. SenSys 2005: 299 - 2003
- [j13]Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning:
Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290(2): 1175-1199 (2003) - [c35]Peter Lee:
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. TACAS 2003: 1 - 2002
- [c34]Andrew Bernard, Peter Lee:
Temporal Logic for Proof-Carrying Code. CADE 2002: 31-46 - 2001
- [j12]Edoardo Biagioni
A Network Protocol Stack in Standard ML. High. Order Symb. Comput. 14(4): 309-356 (2001) - 2000
- [c33]George C. Necula, Peter Lee:
Proof Generation in the Touchstone Theorem Prover. CADE 2000: 25-44 - [c32]Christopher Colby, Peter Lee, George C. Necula:
A Proof-Carrying Code Architecture for Java. CAV 2000: 557-560 - [c31]Peter Lee:
Production-Quality Proof-Carrying Code. PADL 2000: 325 - [c30]Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline:
A certifying compiler for Java. PLDI 2000: 95-107
1990 – 1999
- 1998
- [j11]Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies:
Modal Types as Staging Specifications for Run-Time Code Generation. ACM Comput. Surv. 30(3es): 8 (1998) - [j10]Mark Leone, Peter Lee:
Dynamic Specialization in the Fabius System. ACM Comput. Surv. 30(3es): 23 (1998) - [j9]Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone
Safe-for-Space Threads in Standard ML. High. Order Symb. Comput. 11(2): 209-225 (1998) - [j8]Peter Lee:
SIGPLAN Supports Your Professional Activities. ACM SIGPLAN Notices 33(3): 1 (1998) - [c29]George C. Necula, Peter Lee:
Efficient Representation and Validation of Proofs. LICS 1998: 93-104 - [c28]George C. Necula, Peter Lee:
Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security 1998: 61-91 - [c27]Perry Cheng, Robert Harper, Peter Lee:
Generational Stack Collection and Profile-Driven Pretenuring. PLDI 1998: 162-173 - [c26]Philip Wickline, Peter Lee, Frank Pfenning:
Run-time Code Generation and Modal-ML. PLDI 1998: 224-235 - [c25]George C. Necula, Peter Lee:
The Design and Implementation of a Certifying Compiler. PLDI 1998: 333-344 - [c24]George C. Necula, Peter Lee:
The design and implementation of a certifying compiler (with retrospective). Best of PLDI 1998: 612-625 - [c23]Peter Lee:
Certifying, Optimizing Compilation (Abstract). SAS 1998: 381 - [c22]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: 53-77 - 1997
- [c21]George C. Necula, Peter Lee:
Research on Proof-Carrying Code for Untrusted-Code Security. S&P 1997: 204 - 1996
- [j7]Robert Harper, Peter Lee:
Research in Programming Languages for Composability, Safety, and Performance. ACM Comput. Surv. 28(4es): 195 (1996) - [j6]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): 621-655 (1996) - [c20]Peter Lee:
Implementing Threads in Standard ML. Advanced Functional Programming 1996: 115-130 - [c19]George C. Necula, Peter Lee:
Safe Kernel Extensions Without Run-Time Checking. OSDI 1996: 229-243 - [c18]Peter Lee, Mark Leone:
Optimizing ML with Run-Time Code Generation. PLDI 1996: 137-148 - [c17]David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone
TIL: A Type-Directed Optimizing Compiler for ML. PLDI 1996: 181-192 - [c16]Peter Lee, Mark Leone:
Optimizing ML with run-time code generation (with retrospective). Best of PLDI 1996: 540-553 - [c15]David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone
TIL: a type-directed, optimizing compiler for ML (with retrospective). Best of PLDI 1996: 554-567 - [c14]Christopher Colby, Peter Lee:
Trace-Based Program Analysis. POPL 1996: 195-207 - 1995
- [c13]Peter Lee:
An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System. FPL 1995: 303-310 - 1994
- [j5]Chris Okasaki, Peter Lee, David Tarditi:
Call-by-Need and Continuation-Passing Style. LISP Symb. Comput. 7(1): 57-82 (1994) - [c12]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: 55-64 - [c11]Mark Leone, Peter Lee:
Lightweight Run-Time Code Generation. PEPM 1994: 97-106 - 1992
- [j4]David S. Touretzky
Visualizing Evaluation in Applicative Languages. Commun. ACM 35(10): 49-59 (1992) - [j3]David Tarditi, Peter Lee, Anurag Acharya:
No Assembly Required: Compiling Standard ML to C. LOPLAS 1(2): 161-177 (1992) - [j2]Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek
Cache Behavior of Combinator Graph Reduction. ACM Trans. Program. Lang. Syst. 14(2): 265-297 (1992) - 1991
- [j1]Frank Pfenning, Peter Lee:
Metacircularity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 89(1): 137-159 (1991) - [c10]Christopher Colby, Peter Lee:
An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA 1991: 82-89 - 1990
- [c9]Robert L. Nord, Peter Lee, William L. Scherlis:
Formal manipulation of modular software systems. Formal Methods in Software Development 1990: 90-99 - [c8]Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek:
Cache Performance of Combinator Graph Reduction. ICCL 1990: 39-48
1980 – 1989
- 1989
- [b1]Peter Lee:
Realistic compiler generation. Foundations of Computing Series, MIT Press 1989, ISBN 978-0-262-12141-5, pp. I-IX, 1-246 - [c7]Philip J. Koopman Jr., Peter Lee:
A Fresh Look at Combinator Graph Reduction. PLDI 1989: 110-119 - [c6]Frank Pfenning, Peter Lee:
LEAP: A Language with Eval And Polymorphism. TAPSOFT, Vol.2 1989: 345-359 - 1988
- [c5]Uwe F. Pleban, Peter Lee:
An Automatically Generated, Realistic Compiler for an Imperative Programming Language. PLDI 1988: 222-232 - [c4]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: 25-34 - 1987
- [c3]Uwe F. Pleban, Peter Lee:
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. MFPS 1987: 550-571 - [c2]Peter Lee, Uwe F. Pleban:
A Realistic Compiler Generator Based on High-Level Semantics. POPL 1987: 284-295 - 1986
- [c1]Peter Lee, Uwe F. Pleban:
On the Use of LISP in Implementing Denotational Semantics. LISP and Functional Programming 1986: 233-248
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: