default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Lee 0001
@inproceedings{DBLP:conf/popl/Lee15,
author = {Peter Lee},
editor = {Sriram K. Rajamani and
David Walker},
title = {Coding by Everyone, Every Day},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {485},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2682622},
doi = {10.1145/2676726.2682622},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/Lee15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Lee12,
author = {Peter Lee},
title = {The fox and the hedgehog: technical perspective},
journal = {Commun. {ACM}},
volume = {55},
number = {6},
pages = {120},
year = {2012},
url = {https://doi.org/10.1145/2184319.2184344},
doi = {10.1145/2184319.2184344},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Lee12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/DeRosaGLCP11,
author = {Michael DeRosa and
Seth Copen Goldstein and
Peter Lee and
Jason Campbell and
Padmanabhan Pillai},
title = {Detecting Locally Distributed Predicates},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {6},
number = {2},
pages = {13:1--13:14},
year = {2011},
url = {https://doi.org/10.1145/1968513.1968516},
doi = {10.1145/1968513.1968516},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/DeRosaGLCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MagillTLT10,
author = {Stephen Magill and
Ming{-}Hsien Tsai and
Peter Lee and
Yih{-}Kuen Tsay},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Automatic numeric abstractions for heap-manipulating programs},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {211--222},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706326},
doi = {10.1145/1706299.1706326},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MagillTLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/GoldsteinMCADFHKKLPRSW09,
author = {Seth Copen Goldstein and
Todd C. Mowry and
Jason Campbell and
Michael P. Ashley{-}Rollman and
Michael DeRosa and
Stanislav Funiak and
James F. Hoburg and
Mustafa Emre Karagozler and
Brian T. Kirby and
Peter Lee and
Padmanabhan Pillai and
James Robert Reid and
Daniel D. Stancil and
Michael Philetus Weller},
title = {Beyond Audio and Video: Using Claytronics to Enable Pario},
journal = {{AI} Mag.},
volume = {30},
number = {2},
pages = {29--45},
year = {2009},
url = {https://doi.org/10.1609/aimag.v30i2.2241},
doi = {10.1609/AIMAG.V30I2.2241},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/GoldsteinMCADFHKKLPRSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ashley-RollmanLGPC09,
author = {Michael P. Ashley{-}Rollman and
Peter Lee and
Seth Copen Goldstein and
Padmanabhan Pillai and
Jason Campbell},
editor = {Patricia M. Hill and
David Scott Warren},
title = {A Language for Large Ensembles of Independently Executing Nodes},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {265--280},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_24},
doi = {10.1007/978-3-642-02846-5\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ashley-RollmanLGPC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/DeRosaGLPC09,
author = {Michael DeRosa and
Seth Copen Goldstein and
Peter Lee and
Padmanabhan Pillai and
Jason Campbell},
title = {A tale of two planners: Modular robotic planning with {LDP}},
booktitle = {2009 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 11-15, 2009, St. Louis, MO, {USA}},
pages = {5267--5274},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IROS.2009.5354723},
doi = {10.1109/IROS.2009.5354723},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/DeRosaGLPC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/DeRosaGLCP08,
author = {Michael DeRosa and
Seth Copen Goldstein and
Peter Lee and
Jason Campbell and
Padmanabhan Pillai},
title = {Distributed Watchpoints: Debugging Large Modular Robot Systems},
journal = {Int. J. Robotics Res.},
volume = {27},
number = {3-4},
pages = {315--329},
year = {2008},
url = {https://doi.org/10.1177/0278364907084986},
doi = {10.1177/0278364907084986},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/DeRosaGLCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MagillTLT08,
author = {Stephen Magill and
Ming{-}Hsien Tsai and
Peter Lee and
Yih{-}Kuen Tsay},
editor = {Aarti Gupta and
Sharad Malik},
title = {{THOR:} {A} Tool for Reasoning about Shape and Arithmetic},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {428--432},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_41},
doi = {10.1007/978-3-540-70545-1\_41},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/MagillTLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/DeRosaGLPC08,
author = {Michael DeRosa and
Seth Copen Goldstein and
Peter Lee and
Padmanabhan Pillai and
Jason Campbell},
title = {Programming modular robots with locally distributed predicates},
booktitle = {2008 {IEEE} International Conference on Robotics and Automation, {ICRA}
2008, May 19-23, 2008, Pasadena, California, {USA}},
pages = {3156--3162},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ROBOT.2008.4543691},
doi = {10.1109/ROBOT.2008.4543691},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/DeRosaGLPC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ChanderEILN07,
author = {Ajay Chander and
David Espinosa and
Nayeem Islam and
Peter Lee and
George C. Necula},
title = {Enforcing resource bounds via static verification of dynamic checks},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {5},
pages = {28},
year = {2007},
url = {https://doi.org/10.1145/1275497.1275503},
doi = {10.1145/1275497.1275503},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ChanderEILN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/DeRosaCPGLM07,
author = {Michael DeRosa and
Jason Campbell and
Padmanabhan Pillai and
Seth Copen Goldstein and
Peter Lee and
Todd C. Mowry},
title = {Distributed Watchpoints: Debugging Large Multi-Robot Systems},
booktitle = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}
2007, 10-14 April 2007, Roma, Italy},
pages = {3723--3729},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ROBOT.2007.364049},
doi = {10.1109/ROBOT.2007.364049},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/DeRosaCPGLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/Ashley-RollmanGLMP07,
author = {Michael P. Ashley{-}Rollman and
Seth Copen Goldstein and
Peter Lee and
Todd C. Mowry and
Padmanabhan Pillai},
title = {Meld: {A} declarative approach to programming ensembles},
booktitle = {2007 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina,
San Diego, California, {USA}},
pages = {2794--2800},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IROS.2007.4399480},
doi = {10.1109/IROS.2007.4399480},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/Ashley-RollmanGLMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChakiILWZ07,
author = {Sagar Chaki and
James Ivers and
Peter Lee and
Kurt C. Wallnau and
Noam Zeilberger},
editor = {Gregor Engels and
Bill Opdyke and
Douglas C. Schmidt and
Frank Weil},
title = {Model-Driven Construction of Certified Binaries},
booktitle = {Model Driven Engineering Languages and Systems, 10th International
Conference, MoDELS 2007, Nashville, USA, September 30 - October 5,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4735},
pages = {666--681},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75209-7\_45},
doi = {10.1007/978-3-540-75209-7\_45},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/ChakiILWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LeePCHKLRS06,
author = {Insup Lee and
George J. Pappas and
Rance Cleaveland and
John Hatcliff and
Bruce H. Krogh and
Peter Lee and
Harvey Rubin and
Lui Sha},
title = {High-Confidence Medical Device Software and Systems},
journal = {Computer},
volume = {39},
number = {4},
pages = {33--38},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.127},
doi = {10.1109/MC.2006.127},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/LeePCHKLRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/DeRosaGLCP06,
author = {Michael DeRosa and
Seth Copen Goldstein and
Peter Lee and
Jason Campbell and
Padmanabhan Pillai},
title = {Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained
Modular Robots},
booktitle = {Proceedings of the 2006 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2006, May 15-19, 2006, Orlando, Florida, {USA}},
pages = {1462--1468},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ROBOT.2006.1641915},
doi = {10.1109/ROBOT.2006.1641915},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/DeRosaGLCP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChanderEILN05,
author = {Ajay Chander and
David Espinosa and
Nayeem Islam and
Peter Lee and
George C. Necula},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {JVer: {A} Java Verifier},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {144--147},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_14},
doi = {10.1007/11513988\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChanderEILN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ChanderEILN05,
author = {Ajay Chander and
David Espinosa and
Nayeem Islam and
Peter Lee and
George C. Necula},
editor = {Shmuel Sagiv},
title = {Enforcing Resource Bounds via Static Verification of Dynamic Checks},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {311--325},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_22},
doi = {10.1007/978-3-540-31987-0\_22},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/ChanderEILN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/Lee05a,
author = {Peter Lee},
title = {An evaluation of a hybrid-logarithmic number system {DCT/IDCT} algorithm
[image compression applications]},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2005), 23-26
May 2005, Kobe, Japan},
pages = {4863--4866},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ISCAS.2005.1465722},
doi = {10.1109/ISCAS.2005.1465722},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/Lee05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/AksakBCDFGGGGHHKKLMPRRSSY05,
author = {Burak Aksak and
Preethi Srinivas Bhat and
Jason Campbell and
Michael DeRosa and
Stanislav Funiak and
Phillip B. Gibbons and
Seth Copen Goldstein and
Carlos Guestrin and
Ashish Gupta and
Casey Helfrich and
James F. Hoburg and
Brian T. Kirby and
James Kuffner and
Peter Lee and
Todd C. Mowry and
Padmanabhan Pillai and
Ram Ravichandran and
Benjamin D. Rister and
Srinivasan Seshan and
Metin Sitti and
Haifeng Yu},
editor = {Jason Redi and
Hari Balakrishnan and
Feng Zhao},
title = {Claytronics: highly scalable communications, sensing, and actuation
networks},
booktitle = {Proceedings of the 3rd International Conference on Embedded Networked
Sensor Systems, SenSys 2005, San Diego, California, USA, November
2-4, 2005},
pages = {299},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1098918.1098964},
doi = {10.1145/1098918.1098964},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/AksakBCDFGGGGHHKKLMPRRSSY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ColbyCHLP03,
author = {Christopher Colby and
Karl Crary and
Robert Harper and
Peter Lee and
Frank Pfenning},
title = {Automated techniques for provably safe mobile code},
journal = {Theor. Comput. Sci.},
volume = {290},
number = {2},
pages = {1175--1199},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00201-8},
doi = {10.1016/S0304-3975(01)00201-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ColbyCHLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lee03,
author = {Peter Lee},
editor = {Hubert Garavel and
John Hatcliff},
title = {What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying
Code},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {1},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_1},
doi = {10.1007/3-540-36577-X\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Lee03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BernardL02,
author = {Andrew Bernard and
Peter Lee},
editor = {Andrei Voronkov},
title = {Temporal Logic for Proof-Carrying Code},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {31--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_3},
doi = {10.1007/3-540-45620-1\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BernardL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/BiagioniHL01,
author = {Edoardo Biagioni and
Robert Harper and
Peter Lee},
title = {A Network Protocol Stack in Standard {ML}},
journal = {High. Order Symb. Comput.},
volume = {14},
number = {4},
pages = {309--356},
year = {2001},
url = {https://doi.org/10.1023/A:1014403914699},
doi = {10.1023/A:1014403914699},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/BiagioniHL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NeculaL00,
author = {George C. Necula and
Peter Lee},
editor = {David A. McAllester},
title = {Proof Generation in the Touchstone Theorem Prover},
booktitle = {Automated Deduction - CADE-17, 17th International Conference on Automated
Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1831},
pages = {25--44},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721959\_3},
doi = {10.1007/10721959\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/NeculaL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ColbyLN00,
author = {Christopher Colby and
Peter Lee and
George C. Necula},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {A Proof-Carrying Code Architecture for Java},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {557--560},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_44},
doi = {10.1007/10722167\_44},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ColbyLN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Lee00,
author = {Peter Lee},
editor = {Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
title = {Production-Quality Proof-Carrying Code},
booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
{PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1753},
pages = {325},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46584-7\_23},
doi = {10.1007/3-540-46584-7\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/Lee00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ColbyLNBPC00,
author = {Christopher Colby and
Peter Lee and
George C. Necula and
Fred Blau and
Mark Plesko and
Kenneth Cline},
editor = {Monica S. Lam},
title = {A certifying compiler for Java},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Vancouver, Britith Columbia,
Canada, June 18-21, 2000},
pages = {95--107},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349299.349315},
doi = {10.1145/349299.349315},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ColbyLNBPC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/WicklineLPD98,
author = {Philip Wickline and
Peter Lee and
Frank Pfenning and
Rowan Davies},
title = {Modal Types as Staging Specifications for Run-Time Code Generation},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {8},
year = {1998},
url = {https://doi.org/10.1145/289121.289129},
doi = {10.1145/289121.289129},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/WicklineLPD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/LeoneL98,
author = {Mark Leone and
Peter Lee},
title = {Dynamic Specialization in the Fabius System},
journal = {{ACM} Comput. Surv.},
volume = {30},
number = {3es},
pages = {23},
year = {1998},
url = {https://doi.org/10.1145/289121.289144},
doi = {10.1145/289121.289144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/LeoneL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/BiagioniCLOS98,
author = {Edoardo Biagioni and
Kenneth Cline and
Peter Lee and
Chris Okasaki and
Christopher A. Stone},
title = {Safe-for-Space Threads in Standard {ML}},
journal = {High. Order Symb. Comput.},
volume = {11},
number = {2},
pages = {209--225},
year = {1998},
url = {https://doi.org/10.1023/A:1010016600604},
doi = {10.1023/A:1010016600604},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/BiagioniCLOS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Lee98,
author = {Peter Lee},
title = {{SIGPLAN} Supports Your Professional Activities},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {3},
pages = {1},
year = {1998},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Lee98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NeculaL98,
author = {George C. Necula and
Peter Lee},
title = {Efficient Representation and Validation of Proofs},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {93--104},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705646},
doi = {10.1109/LICS.1998.705646},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NeculaL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mas/NeculaL98,
author = {George C. Necula and
Peter Lee},
editor = {Giovanni Vigna},
title = {Safe, Untrusted Agents Using Proof-Carrying Code},
booktitle = {Mobile Agents and Security},
series = {Lecture Notes in Computer Science},
volume = {1419},
pages = {61--91},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-68671-1\_5},
doi = {10.1007/3-540-68671-1\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mas/NeculaL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChengHL98,
author = {Perry Cheng and
Robert Harper and
Peter Lee},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Generational Stack Collection and Profile-Driven Pretenuring},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {162--173},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277718},
doi = {10.1145/277650.277718},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChengHL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WicklineLP98,
author = {Philip Wickline and
Peter Lee and
Frank Pfenning},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Run-time Code Generation and Modal-ML},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {224--235},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277727},
doi = {10.1145/277650.277727},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WicklineLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NeculaL98,
author = {George C. Necula and
Peter Lee},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {The Design and Implementation of a Certifying Compiler},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {333--344},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277752},
doi = {10.1145/277650.277752},
timestamp = {Thu, 08 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NeculaL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NeculaL98a,
author = {George C. Necula and
Peter Lee},
editor = {Kathryn S. McKinley},
title = {The design and implementation of a certifying compiler (with retrospective)},
booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
pages = {612--625},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/989393.989454},
doi = {10.1145/989393.989454},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NeculaL98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Lee98,
author = {Peter Lee},
editor = {Giorgio Levi},
title = {Certifying, Optimizing Compilation (Abstract)},
booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
September 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1503},
pages = {381},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49727-7\_23},
doi = {10.1007/3-540-49727-7\_23},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Lee98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tic/BernardHL98,
author = {Andrew Bernard and
Robert Harper and
Peter Lee},
editor = {Xavier Leroy and
Atsushi Ohori},
title = {How Generic is a Generic Black End? Using {MLRISC} as a Black End
for the {TIL} Compiler},
booktitle = {Types in Compilation, Second International Workshop, {TIC} '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1473},
pages = {53--77},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055512},
doi = {10.1007/BFB0055512},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/tic/BernardHL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/NeculaL97,
author = {George C. Necula and
Peter Lee},
title = {Research on Proof-Carrying Code for Untrusted-Code Security},
booktitle = {1997 {IEEE} Symposium on Security and Privacy, May 4-7, 1997, Oakland,
CA, {USA}},
pages = {204},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/SECPRI.1997.601335},
doi = {10.1109/SECPRI.1997.601335},
timestamp = {Thu, 21 Sep 2023 15:57:36 +0200},
biburl = {https://dblp.org/rec/conf/sp/NeculaL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/HarperL96,
author = {Robert Harper and
Peter Lee},
title = {Research in Programming Languages for Composability, Safety, and Performance},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {195},
year = {1996},
url = {https://doi.org/10.1145/242224.242476},
doi = {10.1145/242224.242476},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/HarperL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96,
author = {Pieter H. Hartel and
Marc Feeley and
Martin Helmut Alt and
Lennart Augustsson and
Peter Baumann and
Marcel Beemster and
Emmanuel Chailloux and
Christine H. Flood and
Wolfgang Grieskamp and
John H. G. van Groningen and
Kevin Hammond and
Bogumil Hausman and
Melody Y. Ivory and
Richard E. Jones and
Jasper Kamperman and
Peter Lee and
Xavier Leroy and
Rafael Dueire Lins and
Sandra Loosemore and
Niklas R{\"{o}}jemo and
Manuel Serrano and
Jean{-}Pierre Talpin and
Jon Thackray and
Stephen Thomas and
Pum Walters and
Pierre Weis and
Peter Wentworth},
title = {Benchmarking Implementations of Functional Languages with 'Pseudoknot',
a Float-Intensive Benchmark},
journal = {J. Funct. Program.},
volume = {6},
number = {4},
pages = {621--655},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001891},
doi = {10.1017/S0956796800001891},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/Lee96,
author = {Peter Lee},
editor = {John Launchbury and
Erik Meijer and
Tim Sheard},
title = {Implementing Threads in Standard {ML}},
booktitle = {Advanced Functional Programming, Second International School, Olympia,
WA, USA, August 26-30, 1996, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {1129},
pages = {115--130},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61628-4\_4},
doi = {10.1007/3-540-61628-4\_4},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/afp/Lee96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/NeculaL96,
author = {George C. Necula and
Peter Lee},
editor = {Karin Petersen and
Willy Zwaenepoel},
title = {Safe Kernel Extensions Without Run-Time Checking},
booktitle = {Proceedings of the Second {USENIX} Symposium on Operating Systems
Design and Implementation (OSDI), Seattle, Washington, USA, October
28-31, 1996},
pages = {229--243},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/238721.238781},
doi = {10.1145/238721.238781},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/NeculaL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeL96,
author = {Peter Lee and
Mark Leone},
editor = {Charles N. Fischer},
title = {Optimizing {ML} with Run-Time Code Generation},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {137--148},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231407},
doi = {10.1145/231379.231407},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TarditiMCSHL96,
author = {David Tarditi and
J. Gregory Morrisett and
Perry Cheng and
Christopher A. Stone and
Robert Harper and
Peter Lee},
editor = {Charles N. Fischer},
title = {{TIL:} {A} Type-Directed Optimizing Compiler for {ML}},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {181--192},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231414},
doi = {10.1145/231379.231414},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TarditiMCSHL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeL96a,
author = {Peter Lee and
Mark Leone},
editor = {Kathryn S. McKinley},
title = {Optimizing {ML} with run-time code generation (with retrospective)},
booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
pages = {540--553},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/989393.989448},
doi = {10.1145/989393.989448},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LeeL96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TarditiMCSHL96a,
author = {David Tarditi and
J. Gregory Morrisett and
Perry Cheng and
Christopher A. Stone and
Robert Harper and
Peter Lee},
editor = {Kathryn S. McKinley},
title = {{TIL:} a type-directed, optimizing compiler for {ML} (with retrospective)},
booktitle = {20 Years of the {ACM} {SIGPLAN} Conference on Programming Language
Design and Implementation 1979-1999, {A} Selection},
pages = {554--567},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/989393.989449},
doi = {10.1145/989393.989449},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TarditiMCSHL96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ColbyL96,
author = {Christopher Colby and
Peter Lee},
editor = {Hans{-}Juergen Boehm and
Guy L. Steele Jr.},
title = {Trace-Based Program Analysis},
booktitle = {Conference Record of POPL'96: The 23rd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
St. Petersburg Beach, Florida, USA, January 21-24, 1996},
pages = {195--207},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237721.237776},
doi = {10.1145/237721.237776},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/ColbyL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/Lee95,
author = {Peter Lee},
editor = {Will Moore and
Wayne Luk},
title = {An {FPGA} Prototype for a Multiplierless {FIR} Filter Built Using
the Logarithmic Number System},
booktitle = {Field-Programmable Logic and Applications, 5th International Workshop,
{FPL} '95, Oxford, UK, August 29 - September 1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {975},
pages = {303--310},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60294-1\_124},
doi = {10.1007/3-540-60294-1\_124},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/fpl/Lee95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/OkasakiLT94,
author = {Chris Okasaki and
Peter Lee and
David Tarditi},
title = {Call-by-Need and Continuation-Passing Style},
journal = {{LISP} Symb. Comput.},
volume = {7},
number = {1},
pages = {57--82},
year = {1994},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/OkasakiLT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BiagioniHLM94,
author = {Edoardo Biagioni and
Robert Harper and
Peter Lee and
Brian Milnes},
editor = {Robert R. Kessler},
title = {Signatures for a Network Protocol Stack: {A} Systems Application of
Standard {ML}},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {55--64},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182431},
doi = {10.1145/182409.182431},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BiagioniHLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LeoneL94,
author = {Mark Leone and
Peter Lee},
title = {Lightweight Run-Time Code Generation},
booktitle = {PEPM'94 - {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based
Program Manipulation, Walt Disney World Vilage, Orlando, Florida,
USA, 25 June 1994, Proceedings. Technical Report 94/9},
pages = {97--106},
publisher = {University of Melbourne, Australia, Department of Computer Science},
year = {1994},
timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LeoneL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/TouretzkyL92,
author = {David S. Touretzky and
Peter Lee},
title = {Visualizing Evaluation in Applicative Languages},
journal = {Commun. {ACM}},
volume = {35},
number = {10},
pages = {49--59},
year = {1992},
url = {https://doi.org/10.1145/135239.135241},
doi = {10.1145/135239.135241},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/TouretzkyL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/loplas/TarditiLA92,
author = {David Tarditi and
Peter Lee and
Anurag Acharya},
title = {No Assembly Required: Compiling Standard {ML} to {C}},
journal = {{LOPLAS}},
volume = {1},
number = {2},
pages = {161--177},
year = {1992},
url = {https://doi.org/10.1145/151333.151343},
doi = {10.1145/151333.151343},
timestamp = {Thu, 27 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/loplas/TarditiLA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KoopmanLS92,
author = {Philip J. Koopman Jr. and
Peter Lee and
Daniel P. Siewiorek},
title = {Cache Behavior of Combinator Graph Reduction},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {2},
pages = {265--297},
year = {1992},
url = {https://doi.org/10.1145/128861.128867},
doi = {10.1145/128861.128867},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KoopmanLS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PfenningL91,
author = {Frank Pfenning and
Peter Lee},
title = {Metacircularity in the Polymorphic lambda-Calculus},
journal = {Theor. Comput. Sci.},
volume = {89},
number = {1},
pages = {137--159},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(90)90109-U},
doi = {10.1016/0304-3975(90)90109-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PfenningL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ColbyL91,
author = {Christopher Colby and
Peter Lee},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {An Implementation of Parametrized Partial Evaluation},
booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
pages = {82--89},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/sas/ColbyL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsd/Nord0S90,
author = {Robert L. Nord and
Peter Lee and
William L. Scherlis},
editor = {Mark Moriconi},
title = {Formal manipulation of modular software systems},
booktitle = {Conference proceedings on Formal methods in software development,
Napa, California, USA, May 9-11, 1990},
pages = {90--99},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99569.99825},
doi = {10.1145/99569.99825},
timestamp = {Thu, 17 Feb 2022 09:26:24 +0100},
biburl = {https://dblp.org/rec/conf/fmsd/Nord0S90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/KoopmanLS90,
author = {Philip J. Koopman Jr. and
Peter Lee and
Daniel P. Siewiorek},
title = {Cache Performance of Combinator Graph Reduction},
booktitle = {1990 Internation Conference on Computer Languages, March 12-15 1990,
New Orleans, Louisiana, {USA}},
pages = {39--48},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCL.1990.63759},
doi = {10.1109/ICCL.1990.63759},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/KoopmanLS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0066874,
author = {Peter Lee},
title = {Realistic compiler generation},
series = {Foundations of Computing Series},
publisher = {{MIT} Press},
year = {1989},
isbn = {978-0-262-12141-5},
timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0066874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KoopmanL89,
author = {Philip J. Koopman Jr. and
Peter Lee},
editor = {Richard L. Wexelblat},
title = {A Fresh Look at Combinator Graph Reduction},
booktitle = {Proceedings of the {ACM} SIGPLAN'89 Conference on Programming Language
Design and Implementation (PLDI), Portland, Oregon, USA, June 21-23,
1989},
pages = {110--119},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/73141.74828},
doi = {10.1145/73141.74828},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KoopmanL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PfenningL89,
author = {Frank Pfenning and
Peter Lee},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {{LEAP:} {A} Language with Eval And Polymorphism},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {345--359},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_46},
doi = {10.1007/3-540-50940-2\_46},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/PfenningL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PlebanL88,
author = {Uwe F. Pleban and
Peter Lee},
editor = {Richard L. Wexelblat},
title = {An Automatically Generated, Realistic Compiler for an Imperative Programming
Language},
booktitle = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
1988},
pages = {222--232},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/53990.54012},
doi = {10.1145/53990.54012},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PlebanL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/LeePRS88,
author = {Peter Lee and
Frank Pfenning and
Gene Rollins and
William L. Scherlis},
editor = {Peter B. Henderson},
title = {The Ergo Support System: An Integrated Set of Tools for Prototyping
Integrated Environments},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {25--34},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65006},
doi = {10.1145/64135.65006},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/LeePRS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/PlebanL87,
author = {Uwe F. Pleban and
Peter Lee},
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {High-Level Semantics: An Integrated Approach to Programming Language
Semantics and the Specification of Implementations},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
pages = {550--571},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-19020-1\_29},
doi = {10.1007/3-540-19020-1\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/PlebanL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LeeP87,
author = {Peter Lee and
Uwe F. Pleban},
title = {A Realistic Compiler Generator Based on High-Level Semantics},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {284--295},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41651},
doi = {10.1145/41625.41651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LeeP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LeeP86,
author = {Peter Lee and
Uwe F. Pleban},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {On the Use of {LISP} in Implementing Denotational Semantics},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {233--248},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319866},
doi = {10.1145/319838.319866},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/LeeP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-08-10 01:26 CEST 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:
