| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai |
Detecting Locally Distributed Predicates.  |
TAAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Dutta, Martin J. Bishop, Pras Pathmanathan, Peter Lee, Peter Kohl, T. Alexander Quinn, Blanca Rodríguez |
Interpreting Optical Mapping Recordings in the Ischemic Heart: A Combined Experimental and Computational Investigation. |
FIMH |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
Automatic numeric abstractions for heap-manipulating programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstraction, program verification, termination, shape analysis, separation logic |
| 1 | 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 Magazine |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell |
A Language for Large Ensembles of Independently Executing Nodes. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell |
A tale of two planners: Modular robotic planning with LDP. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai |
Distributed Watchpoints: Debugging Large Modular Robot Systems. |
I. J. Robotic Res. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell |
Programming modular robots with locally distributed predicates. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Jacques Vandenbussche, Peter Lee, Joan Peuteman |
Analysis of Time and Frequency Domain Performance of MFIR Filters. |
ESA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
THOR: A Tool for Reasoning about Shape and Arithmetic. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, Susan Holmes |
Gene expression network analysis and applications to immunology. |
Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
Resource bounds, dynamic, static |
| 1 | Michael Wisdom, Peter Lee |
An Efficient Implementation of a 2D DWT on FPGA. |
FPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | James Weston, Peter Lee |
Cellular Automata Based Binary Arithmetic for use on Self Repairing, Fault Tolerant Hardware. |
AHS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Catriona Kennedy, Georgios K. Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher |
AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
Data Driven Simulations, Architecture, Social Sciences |
| 1 | Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai |
Meld: A declarative approach to programming ensembles. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry |
Distributed Watchpoints: Debugging Large Multi-Robot Systems. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger |
Model-Driven Construction of Certified Binaries. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Catriona Kennedy, Georgios K. Theodoropoulos, Edward Ferrari, Peter Lee, Chris Skelcher |
Towards an Automated Approach to Dynamic Interpretation of Simulations. |
Asia International Conference on Modelling and Simulation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee, Esther Costa, Stephanie McBader, Luca Clementel, Alvise Sartori |
LogTOTEM: A Logarithmic Neural Processor and its Implementation on an FPGA Fabric. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Carter, Yong Yan, Peter Lee |
On-line Nonintrusive Measurement of Particle Size Distribution Through Digital Imaging. |
IEEE T. Instrumentation and Measurement |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Yan, Lijun Xu, Peter Lee |
Mass Flow Measurement of Fine Particles in a Pneumatic Suspension Using Electrostatic Sensing and Neural Network Techniques. |
IEEE T. Instrumentation and Measurement |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Healthcare technology, Medical software, Clinical software engineering |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Purvi Saraiya, Peter Lee, Chris North |
Visualization of Graphs with Associated Timeseries Data. |
INFOVIS |
2005 |
DBLP DOI BibTeX RDF |
data overlay, timeseries data analysis, usability experiments, Graph visualization |
| 1 | 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 |
DBLP DOI BibTeX RDF |
collective actuation, distributed planning and coordination, distributed sensor fusion, dynamic physical rendering, modular reconfigurable robotics, programmable matter, telepresence |
| 1 | Peter Lee |
An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications]. |
ISCAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
JVer: A Java Verifier. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula |
Enforcing Resource Bounds via Static Verification of Dynamic Checks. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning |
Automated techniques for provably safe mobile code. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Paschalakis, Peter Lee, Miroslaw Bober |
An FPGA System for the High Speed Extraction, Normalization and Classification of Moment Descriptors. |
FPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Zuhairi Zamli, Peter Lee |
Modeling and Enacting Software Processes Using VRPML. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee |
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie McBader, Peter Lee |
An FPGA Implementation of a Flexible, Parallel Image Processing Architecture Suitable for Embedded Vision Systems. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhong Shao, Peter Lee (eds.) |
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003 |
TLDI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stephanie McBader, Luca Clementel, Alvise Sartori, Andrea Boni, Peter Lee |
SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Bernard, Peter Lee |
Temporal Logic for Proof-Carrying Code. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
temporal logic, Proof-carrying code |
| 1 | Kamal Zuhairi Zamli, Peter Lee |
Exploiting a Virtual Environment in a Visual PML. |
PROFES |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Biagioni, Robert Harper, Peter Lee |
A Network Protocol Stack in Standard ML. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamal Zuhairi Zamli, Peter Lee |
Taxonomy of Process Modeling Languages. |
AICCSA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline |
A certifying compiler for Java. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee |
Production-Quality Proof-Carrying Code. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Proof Generation in the Touchstone Theorem Prover. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Paschalakis, Peter Lee |
Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Paschalakis, Peter Lee |
Statistical Pattern Recognition Using the Normalized Complex Moment Components Vector. |
SSPR/SPR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Peter Lee, George C. Necula |
A Proof-Carrying Code Architecture for Java. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Rémi, Peter Lee (eds.) |
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999. |
ICFP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Lee |
SIGPLAN Supports Your Professional Activities. |
SIGPLAN Notices |
1998 |
DBLP BibTeX RDF |
|
| 1 | Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies |
Modal Types as Staging Specifications for Run-Time Code Generation. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Leone, Peter Lee |
Dynamic Specialization in the Fabius System. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone |
Safe-for-Space Threads in Standard ML. |
Higher-Order and Symbolic Computation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
The Design and Implementation of a Certifying Compiler. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C |
| 1 | Philip Wickline, Peter Lee, Frank Pfenning |
Run-time Code Generation and Modal-ML. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Perry Cheng, Robert Harper, Peter Lee |
Generational Stack Collection and Profile-Driven Pretenuring. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
The design and implementation of a certifying compiler (with retrospective) |
Best of PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Zakerolhosseini, Peter Lee, Ed Horne |
An FPFA Based Object Recognition Machine. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Safe, Untrusted Agents Using Proof-Carrying Code. |
Mobile Agents and Security |
1998 |
DBLP BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Efficient Representation and Validation of Proofs. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee |
Certifying, Optimizing Compilation (Abstract). |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Research on Proof-Carrying Code for Untrusted-Code Security. |
IEEE Symposium on Security and Privacy |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee, Fritz Henglein, Neil D. Jones (eds.) |
Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997 |
POPL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Robert Harper, Peter Lee |
Research in Programming Languages for Composability, Safety, and Performance. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Marc Feeley, Martin 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. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee, Mark Leone |
Optimizing ML with Run-Time Code Generation. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
TIL: A Type-Directed Optimizing Compiler for ML. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee, Mark Leone |
Optimizing ML with run-time code generation (with retrospective) |
Best of PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | George C. Necula, Peter Lee |
Safe Kernel Extensions Without Run-Time Checking. |
OSDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Peter Lee |
Trace-Based Program Analysis. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee |
Implementing Threads in Standard ML. |
Advanced Functional Programming |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee |
An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System. |
FPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron K. Cytron, Peter Lee (eds.) |
Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995 |
POPL |
1995 |
DBLP BibTeX RDF |
|
| 1 | Roberto Battiti, Peter Lee, Alvise Sartori, Giampietro Tecchiolli |
Special-purpose parallel architectures for high-performance machine learning. |
HPCN |
1995 |
DBLP BibTeX RDF |
|
| 1 | Chris Okasaki, Peter Lee, David Tarditi |
Call-by-Need and Continuation-Passing Style. |
Lisp and Symbolic Computation |
1994 |
DBLP BibTeX RDF |
|
| 1 | Mark Leone, Peter Lee |
Lightweight Run-Time Code Generation. |
PEPM |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
TCP/IP, Standard ML |
| 1 | Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek |
Cache Behavior of Combinator Graph Reduction. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
self-modifying code, combinators, abstract machine, graph reduction |
| 1 | David S. Touretzky, Peter Lee |
Visualizing Evaluation in Applicative Languages. |
Commun. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David Tarditi, Peter Lee, Anurag Acharya |
No Assembly Required: Compiling Standard ML to C. |
LOPLAS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Frank Pfenning, Peter Lee |
Metacircularity in the Polymorphic lambda-Calculus. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Peter Lee |
An Implementation of Parametrized Partial Evaluation. |
JTASPEFT/WSA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek |
Cache Performance of Combinator Graph Reduction. |
ICCL |
1990 |
DBLP BibTeX RDF |
|
| 1 | Peter Lee |
Realistic compiler generation. |
|
1989 |
RDF |
|
| 1 | Philip J. Koopman Jr., Peter Lee |
A Fresh Look at Combinator Graph Reduction. |
PLDI |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning, Peter Lee |
LEAP: A Language with Eval And Polymorphism. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe F. Pleban, Peter Lee |
An Automatically Generated, Realistic Compiler for an Imperative Programming Language. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
C |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe F. Pleban, Peter Lee |
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee, Uwe F. Pleban |
A Realistic Compiler Generator Based on High-Level Semantics. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lee, Uwe F. Pleban |
On the Use of LISP in Implementing Denotational Semantics. |
LISP and Functional Programming |
1986 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")