Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Peter Lee 0001

> Home > Persons

Person information

affiliation: Microsoft Research, USA
affiliation: Carnegie Mellon University, Pittsburgh, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1989
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0066874
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0066874
Peter Lee:
Realistic compiler generation. Foundations of Computing Series, MIT Press 1989, ISBN 978-0-262-12141-5, pp. I-IX, 1-246

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2012
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Lee12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Lee12
Peter Lee:
The fox and the hedgehog: technical perspective. Commun. ACM 55(6): 120 (2012)
2011
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/DeRosaGLCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/DeRosaGLCP11
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)
2009
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/GoldsteinMCADFHKKLPRSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/GoldsteinMCADFHKKLPRSW09
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)
2008
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ijrr/DeRosaGLCP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijrr/DeRosaGLCP08
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)
2007
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/ChanderEILN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/ChanderEILN07
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)
2006
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/LeePCHKLRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/LeePCHKLRS06
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): 33-38 (2006)
2003
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ColbyCHLP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ColbyCHLP03
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)
2001
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BiagioniHL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BiagioniHL01
Edoardo Biagioni, Robert Harper, Peter Lee:
A Network Protocol Stack in Standard ML. High. Order Symb. Comput. 14(4): 309-356 (2001)
1998
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/WicklineLPD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/WicklineLPD98
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]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/LeoneL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/LeoneL98
Mark Leone, Peter Lee:
Dynamic Specialization in the Fabius System. ACM Comput. Surv. 30(3es): 23 (1998)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/BiagioniCLOS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/BiagioniCLOS98
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/sigplan/Lee98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Lee98
Peter Lee:
SIGPLAN Supports Your Professional Activities. ACM SIGPLAN Notices 33(3): 1 (1998)
1996
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/HarperL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/HarperL96
Robert Harper, Peter Lee:
Research in Programming Languages for Composability, Safety, and Performance. ACM Comput. Surv. 28(4es): 195 (1996)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96
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)
1994
[j5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/lisp/OkasakiLT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/OkasakiLT94
Chris Okasaki, Peter Lee, David Tarditi:
Call-by-Need and Continuation-Passing Style. LISP Symb. Comput. 7(1): 57-82 (1994)
1992
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/TouretzkyL92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/TouretzkyL92
David S. Touretzky, Peter Lee:
Visualizing Evaluation in Applicative Languages. Commun. ACM 35(10): 49-59 (1992)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/loplas/TarditiLA92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/loplas/TarditiLA92
David Tarditi, Peter Lee, Anurag Acharya:
No Assembly Required: Compiling Standard ML to C. LOPLAS 1(2): 161-177 (1992)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/KoopmanLS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/KoopmanLS92
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PfenningL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PfenningL91
Frank Pfenning, Peter Lee:
Metacircularity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 89(1): 137-159 (1991)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Lee15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Lee15
Peter Lee:
Coding by Everyone, Every Day. POPL 2015: 485
2010
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MagillTLT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MagillTLT10
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay:
Automatic numeric abstractions for heap-manipulating programs. POPL 2010: 211-222
2009
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Ashley-RollmanLGPC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Ashley-RollmanLGPC09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/DeRosaGLPC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/DeRosaGLPC09
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
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MagillTLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MagillTLT08
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay:
THOR: A Tool for Reasoning about Shape and Arithmetic. CAV 2008: 428-432
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/DeRosaGLPC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/DeRosaGLPC08
Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell:
Programming modular robots with locally distributed predicates. ICRA 2008: 3156-3162
2007
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/DeRosaCPGLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/DeRosaCPGLM07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/Ashley-RollmanGLMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/Ashley-RollmanGLMP07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ChakiILWZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ChakiILWZ07
Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger:
Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681
2006
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/DeRosaGLCP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/DeRosaGLCP06
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChanderEILN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChanderEILN05
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula:
JVer: A Java Verifier. CAV 2005: 144-147
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/ChanderEILN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/ChanderEILN05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/Lee05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/Lee05a
Peter Lee:
An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications]. ISCAS (5) 2005: 4863-4866
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/AksakBCDFGGGGHHKKLMPRRSSY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/AksakBCDFGGGGHHKKLMPRRSSY05
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: 299
2003
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Lee03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Lee03
Peter Lee:
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. TACAS 2003: 1
2002
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BernardL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BernardL02
Andrew Bernard, Peter Lee:
Temporal Logic for Proof-Carrying Code. CADE 2002: 31-46
2000
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NeculaL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NeculaL00
George C. Necula, Peter Lee:
Proof Generation in the Touchstone Theorem Prover. CADE 2000: 25-44
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ColbyLN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ColbyLN00
Christopher Colby, Peter Lee, George C. Necula:
A Proof-Carrying Code Architecture for Java. CAV 2000: 557-560
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Lee00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Lee00
Peter Lee:
Production-Quality Proof-Carrying Code. PADL 2000: 325
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ColbyLNBPC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ColbyLNBPC00
Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline:
A certifying compiler for Java. PLDI 2000: 95-107
1998
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/NeculaL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/NeculaL98
George C. Necula, Peter Lee:
Efficient Representation and Validation of Proofs. LICS 1998: 93-104
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/mas/NeculaL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mas/NeculaL98
George C. Necula, Peter Lee:
Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security 1998: 61-91
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ChengHL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ChengHL98
Perry Cheng, Robert Harper, Peter Lee:
Generational Stack Collection and Profile-Driven Pretenuring. PLDI 1998: 162-173
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/WicklineLP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/WicklineLP98
Philip Wickline, Peter Lee, Frank Pfenning:
Run-time Code Generation and Modal-ML. PLDI 1998: 224-235
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NeculaL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NeculaL98
George C. Necula, Peter Lee:
The Design and Implementation of a Certifying Compiler. PLDI 1998: 333-344
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NeculaL98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NeculaL98a
George C. Necula, Peter Lee:
The design and implementation of a certifying compiler (with retrospective). Best of PLDI 1998: 612-625
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Lee98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Lee98
Peter Lee:
Certifying, Optimizing Compilation (Abstract). SAS 1998: 381
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/tic/BernardHL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tic/BernardHL98
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/NeculaL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/NeculaL97
George C. Necula, Peter Lee:
Research on Proof-Carrying Code for Untrusted-Code Security. S&P 1997: 204
1996
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/afp/Lee96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/Lee96
Peter Lee:
Implementing Threads in Standard ML. Advanced Functional Programming 1996: 115-130
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/osdi/NeculaL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/NeculaL96
George C. Necula, Peter Lee:
Safe Kernel Extensions Without Run-Time Checking. OSDI 1996: 229-243
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LeeL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LeeL96
Peter Lee, Mark Leone:
Optimizing ML with Run-Time Code Generation. PLDI 1996: 137-148
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TarditiMCSHL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TarditiMCSHL96
David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee:
TIL: A Type-Directed Optimizing Compiler for ML. PLDI 1996: 181-192
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LeeL96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LeeL96a
Peter Lee, Mark Leone:
Optimizing ML with run-time code generation (with retrospective). Best of PLDI 1996: 540-553
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/TarditiMCSHL96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/TarditiMCSHL96a
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: 554-567
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ColbyL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ColbyL96
Christopher Colby, Peter Lee:
Trace-Based Program Analysis. POPL 1996: 195-207
1995
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fpl/Lee95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpl/Lee95
Peter Lee:
An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System. FPL 1995: 303-310
1994
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/BiagioniHLM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/BiagioniHLM94
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pepm/LeoneL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LeoneL94
Mark Leone, Peter Lee:
Lightweight Run-Time Code Generation. PEPM 1994: 97-106
1991
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sas/ColbyL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ColbyL91
Christopher Colby, Peter Lee:
An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA 1991: 82-89
1990
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsd/Nord0S90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsd/Nord0S90
Robert L. Nord, Peter Lee, William L. Scherlis:
Formal manipulation of modular software systems. Formal Methods in Software Development 1990: 90-99
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/KoopmanLS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/KoopmanLS90
Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek:
Cache Performance of Combinator Graph Reduction. ICCL 1990: 39-48
1989
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KoopmanL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KoopmanL89
Philip J. Koopman Jr., Peter Lee:
A Fresh Look at Combinator Graph Reduction. PLDI 1989: 110-119
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/PfenningL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/PfenningL89
Frank Pfenning, Peter Lee:
LEAP: A Language with Eval And Polymorphism. TAPSOFT, Vol.2 1989: 345-359
1988
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/PlebanL88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/PlebanL88
Uwe F. Pleban, Peter Lee:
An Automatically Generated, Realistic Compiler for an Imperative Programming Language. PLDI 1988: 222-232
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sde/LeePRS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sde/LeePRS88
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mfps/PlebanL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfps/PlebanL87
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]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LeeP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LeeP87
Peter Lee, Uwe F. Pleban:
A Realistic Compiler Generator Based on High-Level Semantics. POPL 1987: 284-295
1986
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/LeeP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/LeeP86
Peter Lee, Uwe F. Pleban:
On the Use of LISP in Implementing Denotational Semantics. LISP and Functional Programming 1986: 233-248

Coauthor Index

see FAQ

a service of

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.