The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Lee: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. George C. Necula, Peter Lee
    Safe Kernel Extensions Without Run-Time Checking. [Citation Graph (2, 0)][DBLP]
    OSDI, 1996, pp:229-243 [Conf]
  2. Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes
    Signatures for a Network Protocol Stack: A Systems Application of Standard ML. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:55-64 [Conf]
  3. 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. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:4, pp:621-655 [Journal]
  4. Peter Lee
    Implementing Threads in Standard ML. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1996, pp:115-130 [Conf]
  5. Kamal Zuhairi Zamli, Peter Lee
    Taxonomy of Process Modeling Languages. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:435-437 [Conf]
  6. Kamal Zuhairi Zamli, Peter Lee
    Modeling and Enacting Software Processes Using VRPML. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:243-252 [Conf]
  7. Andrew Bernard, Peter Lee
    Temporal Logic for Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:31-46 [Conf]
  8. George C. Necula, Peter Lee
    Proof Generation in the Touchstone Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:25-44 [Conf]
  9. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    JVer: A Java Verifier. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:144-147 [Conf]
  10. Christopher Colby, Peter Lee, George C. Necula
    A Proof-Carrying Code Architecture for Java. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:557-560 [Conf]
  11. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    Enforcing Resource Bounds via Static Verification of Dynamic Checks. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:311-325 [Conf]
  12. Peter Lee
    An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System. [Citation Graph (0, 0)][DBLP]
    FPL, 1995, pp:303-310 [Conf]
  13. Stephanie McBader, Luca Clementel, Alvise Sartori, Andrea Boni, Peter Lee
    SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor. [Citation Graph (0, 0)][DBLP]
    FPL, 2002, pp:1084-1087 [Conf]
  14. Stavros Paschalakis, Peter Lee, Miroslaw Bober
    An FPGA System for the High Speed Extraction, Normalization and Classification of Moment Descriptors. [Citation Graph (0, 0)][DBLP]
    FPL, 2003, pp:543-552 [Conf]
  15. Ali Zakerolhosseini, Peter Lee, Ed Horne
    An FPFA Based Object Recognition Machine. [Citation Graph (0, 0)][DBLP]
    FPL, 1998, pp:228-237 [Conf]
  16. Roberto Battiti, Peter Lee, Alvise Sartori, Giampietro Tecchiolli
    Special-purpose parallel architectures for high-performance machine learning. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 1995, pp:944- [Conf]
  17. Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek
    Cache Performance of Combinator Graph Reduction. [Citation Graph (0, 0)][DBLP]
    ICCL, 1990, pp:39-48 [Conf]
  18. Stavros Paschalakis, Peter Lee
    Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images. [Citation Graph (0, 0)][DBLP]
    ICPR, 2000, pp:3588-3591 [Conf]
  19. Purvi Saraiya, Peter Lee, Chris North
    Visualization of Graphs with Associated Timeseries Data. [Citation Graph (0, 0)][DBLP]
    INFOVIS, 2005, pp:30- [Conf]
  20. Stephanie McBader, Peter Lee
    An FPGA Implementation of a Flexible, Parallel Image Processing Architecture Suitable for Embedded Vision Systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:228- [Conf]
  21. Peter Lee
    An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications]. [Citation Graph (0, 0)][DBLP]
    ISCAS (5), 2005, pp:4863-4866 [Conf]
  22. Peter Lee, Uwe F. Pleban
    On the Use of LISP in Implementing Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:233-248 [Conf]
  23. George C. Necula, Peter Lee
    Efficient Representation and Validation of Proofs. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:93-104 [Conf]
  24. George C. Necula, Peter Lee
    Safe, Untrusted Agents Using Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    Mobile Agents and Security, 1998, pp:61-91 [Conf]
  25. Uwe F. Pleban, Peter Lee
    High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:550-571 [Conf]
  26. Peter Lee
    Production-Quality Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:325- [Conf]
  27. Mark Leone, Peter Lee
    Lightweight Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    PEPM, 1994, pp:97-106 [Conf]
  28. Perry Cheng, Robert Harper, Peter Lee
    Generational Stack Collection and Profile-Driven Pretenuring. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:162-173 [Conf]
  29. Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline
    A certifying compiler for Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:95-107 [Conf]
  30. Philip J. Koopman Jr., Peter Lee
    A Fresh Look at Combinator Graph Reduction. [Citation Graph (0, 0)][DBLP]
    PLDI, 1989, pp:110-119 [Conf]
  31. Peter Lee, Mark Leone
    Optimizing ML with Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:137-148 [Conf]
  32. Peter Lee, Mark Leone
    Optimizing ML with run-time code generation (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1996, pp:540-553 [Conf]
  33. George C. Necula, Peter Lee
    The Design and Implementation of a Certifying Compiler. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:333-344 [Conf]
  34. George C. Necula, Peter Lee
    The design and implementation of a certifying compiler (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1998, pp:612-625 [Conf]
  35. Uwe F. Pleban, Peter Lee
    An Automatically Generated, Realistic Compiler for an Imperative Programming Language. [Citation Graph (0, 0)][DBLP]
    PLDI, 1988, pp:222-232 [Conf]
  36. David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
    TIL: A Type-Directed Optimizing Compiler for ML. [Citation Graph (0, 0)][DBLP]
    PLDI, 1996, pp:181-192 [Conf]
  37. David Tarditi, J. Gregory Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
    TIL: a type-directed, optimizing compiler for ML (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1996, pp:554-567 [Conf]
  38. Philip Wickline, Peter Lee, Frank Pfenning
    Run-time Code Generation and Modal-ML. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:224-235 [Conf]
  39. Christopher Colby, Peter Lee
    Trace-Based Program Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:195-207 [Conf]
  40. Peter Lee, Uwe F. Pleban
    A Realistic Compiler Generator Based on High-Level Semantics. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:284-295 [Conf]
  41. Kamal Zuhairi Zamli, Peter Lee
    Exploiting a Virtual Environment in a Visual PML. [Citation Graph (0, 0)][DBLP]
    PROFES, 2002, pp:49-62 [Conf]
  42. Peter Lee
    Certifying, Optimizing Compilation (Abstract). [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:381- [Conf]
  43. Christopher Colby, Peter Lee
    An Implementation of Parametrized Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:82-89 [Conf]
  44. Peter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis
    The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments. [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1988, pp:25-34 [Conf]
  45. 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 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. [Citation Graph (0, 0)][DBLP]
    SenSys, 2005, pp:299- [Conf]
  46. George C. Necula, Peter Lee
    Research on Proof-Carrying Code for Untrusted-Code Security. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1997, pp:204- [Conf]
  47. Stavros Paschalakis, Peter Lee
    Statistical Pattern Recognition Using the Normalized Complex Moment Components Vector. [Citation Graph (0, 0)][DBLP]
    SSPR/SPR, 2000, pp:532-539 [Conf]
  48. Peter Lee
    What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:1- [Conf]
  49. Frank Pfenning, Peter Lee
    LEAP: A Language with Eval And Polymorphism. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:345-359 [Conf]
  50. Andrew Bernard, Robert Harper, Peter Lee
    How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:53-77 [Conf]
  51. Catriona Kennedy, Georgios K. Theodoropoulos, Edward Ferrari, Peter Lee, Chris Skelcher
    Towards an Automated Approach to Dynamic Interpretation of Simulations. [Citation Graph (0, 0)][DBLP]
    Asia International Conference on Modelling and Simulation, 2007, pp:589-594 [Conf]
  52. Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, Susan Holmes
    Gene expression network analysis and applications to immunology. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2007, v:23, n:7, pp:850-858 [Journal]
  53. David S. Touretzky, Peter Lee
    Visualizing Evaluation in Applicative Languages. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1992, v:35, n:10, pp:49-59 [Journal]
  54. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:33-38 [Journal]
  55. Robert Harper, Peter Lee
    Research in Programming Languages for Composability, Safety, and Performance. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:195- [Journal]
  56. Mark Leone, Peter Lee
    Dynamic Specialization in the Fabius System. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:23- [Journal]
  57. Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies
    Modal Types as Staging Specifications for Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:8- [Journal]
  58. Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Chris Stone
    Safe-for-Space Threads in Standard ML. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1998, v:11, n:2, pp:209-225 [Journal]
  59. Edoardo Biagioni, Robert Harper, Peter Lee
    A Network Protocol Stack in Standard ML. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:4, pp:309-356 [Journal]
  60. Chris Okasaki, Peter Lee, David Tarditi
    Call-by-Need and Continuation-Passing Style. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1994, v:7, n:1, pp:57-82 [Journal]
  61. David Tarditi, Peter Lee, Anurag Acharya
    No Assembly Required: Compiling Standard ML to C. [Citation Graph (0, 0)][DBLP]
    LOPLAS, 1992, v:1, n:2, pp:161-177 [Journal]
  62. Peter Lee
    SIGPLAN Supports Your Professional Activities. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:3, pp:1- [Journal]
  63. Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning
    Automated techniques for provably safe mobile code. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:2, pp:1175-1199 [Journal]
  64. Frank Pfenning, Peter Lee
    Metacircularity in the Polymorphic lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:89, n:1, pp:137-159 [Journal]
  65. Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek
    Cache Behavior of Combinator Graph Reduction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1992, v:14, n:2, pp:265-297 [Journal]
  66. Catriona Kennedy, Georgios K. Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher
    AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (1), 2007, pp:1098-1105 [Conf]
  67. Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry
    Distributed Watchpoints: Debugging Large Multi-Robot Systems. [Citation Graph (0, 0)][DBLP]
    ICRA, 2007, pp:3723-3729 [Conf]
  68. Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger
    Model-Driven Construction of Certified Binaries. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:666-681 [Conf]
  69. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
    Enforcing resource bounds via static verification of dynamic checks. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]

  70. THOR: A Tool for Reasoning about Shape and Arithmetic. [Citation Graph (, )][DBLP]


  71. Analysis of Time and Frequency Domain Performance of MFIR Filters. [Citation Graph (, )][DBLP]


  72. An Efficient Implementation of a 2D DWT on FPGA. [Citation Graph (, )][DBLP]


  73. A Language for Large Ensembles of Independently Executing Nodes. [Citation Graph (, )][DBLP]


  74. Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots. [Citation Graph (, )][DBLP]


  75. Programming modular robots with locally distributed predicates. [Citation Graph (, )][DBLP]


  76. LogTOTEM: A Logarithmic Neural Processor and its Implementation on an FPGA Fabric. [Citation Graph (, )][DBLP]


  77. Automatic numeric abstractions for heap-manipulating programs. [Citation Graph (, )][DBLP]


  78. Cellular Automata Based Binary Arithmetic for use on Self Repairing, Fault Tolerant Hardware. [Citation Graph (, )][DBLP]


  79. Meld: A declarative approach to programming ensembles. [Citation Graph (, )][DBLP]


  80. A tale of two planners: Modular robotic planning with LDP. [Citation Graph (, )][DBLP]


Search in 0.015secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002