Peter Lee

Q: What Schools Are Affiliated With Peter Lee

Peter Lee is affiliated with the following schools: University of Michigan, Carnegie Mellon University

Peter Lee 's AcademicInfluence.com Rankings

Peter Lee

Computer Science

#730

World Rank

#752

Historical Rank

#393

USA Rank

Database

#8446

World Rank

#8840

Historical Rank

#1119

USA Rank

computer-science Degrees

Download Badge

Computer Science

Peter Lee 's Degrees

PhD Computer Science Carnegie Mellon University
Masters Computer Science Carnegie Mellon University
Bachelors Computer Science Carnegie Mellon University

Similar Degrees You Can Earn

Why Is Peter Lee Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Peter Lee is an American computer scientist. He is Corporate Vice President and head of Microsoft Research. Previously, he was the head of the Transformational Convergence Technology Office of the Defense Advanced Research Projects Agency and the chair of the Computer Science Department at Carnegie Mellon University. His research focuses on software security and reliability.

(See a Problem?)

Peter Lee 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Program Analysis and Specialization for the C Programming Language (2005) (1048)
Safe kernel extensions without run-time checking (1996) (608)
The design and implementation of a certifying compiler (1998) (400)
Safe, Untrusted Agents Using Proof-Carrying Code (1998) (264)
Compiling with proofs (1998) (224)
Optimizing ML with run-time code generation (1996) (209)
A certifying compiler for Java (2000) (208)
TIL: a type-directed, optimizing compiler for ML (2004) (170)
No assembly required: compiling standard ML to C (1992) (125)
Generational stack collection and profile-driven pretenuring (1998) (116)
Realistic compiler generation (1989) (115)
Efficient representation and validation of proofs (1998) (111)
Meld: A declarative approach to programming ensembles (2007) (104)
TIL: a type-directed optimizing compiler for ML (1996) (102)
Lightweight Run-Time Code Generation (1994) (92)
Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark (1996) (81)
Scalable shape sculpting via hole motion: motion planning in lattice-constrained modular robots (2006) (74)
A Language for Large Ensembles of Independently Executing Nodes (2009) (70)
Signatures for a network protocol stack: a systems application of Standard ML (1994) (65)
The logical basis of evaluation order and pattern-matching (2009) (64)
Inferring Invariants in Separation Logic for Imperative List-processing Programs (2005) (62)
Programming modular robots with locally distributed predicates (2008) (59)
Run-time code generation and modal-ML (1998) (56)
Efficient Representation and Validation of Logical Proofs (1997) (54)
THOR: A Tool for Reasoning about Shape and Arithmetic (2008) (51)
Modal types as staging specifications for run-time code generation (1998) (48)
Call-by-need and continuation-passing style (1994) (46)
LEAP: A Language with Eval And Polymorphism (1989) (44)
Dynamic specialization in the Fabius system (1998) (43)
The TIL/ML Compiler: Performance and Safety through Types (1996) (43)
Enforcing resource bounds via static verification of dynamic checks (2005) (42)
Temporal Logic for Proof-Carrying Code (2002) (40)
Proof Generation in the Touchstone Theorem Prover (2000) (37)
Metacircularity in the Polymorphic lambda-Calculus (1991) (35)
Optimizing ML with run-time code generation (2004) (35)
The ergo support system: an integrated set of tools for prototyping integrated environments (1989) (33)
A Network Protocol Stack in Standard ML (2001) (32)
Research on proof-carrying code for untrusted-code security (1997) (32)
A Proof-Carrying Code Architecture for Java (2000) (31)
Trace-based program analysis (1996) (29)
Research on proof-carrying code for mobile-code security (1997) (28)
Topics in advanced language implementation (1991) (27)
Beyond Audio and Video: Using Claytronics to Enable Pario (2009) (26)
Advanced Languages for Systems Software: The Fox Project in 1994 (1994) (24)
Safe-for-Space Threads in Standard ML (1998) (24)
Deferred Compilation: The Automation of Run-Time Code Generation (1993) (21)
The Fox Project: Advanced Language Technology for Extensible Systems (1998) (21)
Cache behavior of combinator graph reduction (1992) (21)
On the use of LISP in implementing denotational semantics (1986) (20)
TIL: A Type-Directed Optimizing Compiler (1996) (19)
A Declarative Approach to Run-Time Code Generation (2007) (17)
Distributed Watchpoints: Debugging Large Multi-Robot Systems (2007) (16)
Automated techniques for provably safe mobile code (2000) (16)
Claytronics: highly scalable communications, sensing, and actuation networks (2005) (15)
An automatically generated, realistic compiler for imperative programming language (1988) (14)
Incremental Recompilation for Standard ML of New Jersey (1994) (14)
Semantics-based program analysis via symbolic composition of transfer relations (1996) (13)
The design and implementation of a certifying compiler (with retrospective) (1998) (13)
Eecient Representation and Validation of Proofs (1998) (13)
Distributed Watchpoints: Debugging Large Modular Robot Systems (2008) (12)
Standard ML Signatures for a Protocol Stack (1993) (12)
A Compilation Manager for Standard ML of New Jersey (1994) (11)
Visualizing evaluation in applicative languages (1992) (11)
Nested PCR in magnetically actuated circular closed-loop PCR microchip system (2012) (11)
A fresh look at combinator graph reduction (1989) (11)
Model-driven construction of certified binaries (2007) (10)
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations (1987) (9)
A tale of two planners: Modular robotic planning with LDP (2009) (9)
Research on Semantically Based Program-Design Environments: The Ergo Project in 1988 (1988) (9)
Automatic program specialization for interactive media (1997) (8)
Detecting Locally Distributed Predicates (2011) (7)
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995) (6)
JVer: A Java Verifier (2005) (6)
Enforcing resource bounds via static verification of dynamic checks (2007) (5)
Certified Binaries for Software Components (2007) (5)
Formal manipulation of modular software systems (1990) (4)
A Modular Implementation of Partial Evaluation (1992) (4)
An Online Logic Programming Development Environment (2016) (3)
Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus Extended (1989) (3)
An Automatically Generated, Realistic Compiler for an Imperative Programming Language (1988) (3)
Implementing Software Architectures in Standard Ml Position Paper (1994) (3)
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation (2003) (3)
Enforcing Formal Security Properties (2001) (3)
ACM SIGPLAN Workshop on ML and Its Applications Held in San Francisco, California on June 20-21, 1992 (1992) (2)
Advanced Languages for Systems Software (1994) (2)
Engineering formal security policies for proof-carrying code (2004) (2)
Implementing Threads in Standard ML (1996) (2)
The design and implementation of a certifying compiler (2004) (1)
Optimizing ML with run-time code generation (with retrospective) (1996) (1)
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler (1998) (1)
Distributed Watchpoints: Debugging Large Modular Robot Systems Distributed Watchpoints: Debugging Large Modular Robot Systems (2008) (1)
Research in programming languages for composability, safety, and performance (1996) (1)
Locally distributed predicates: a technique for distributed programming (2010) (1)
How Generic is a Generic Back End? Using MLRISC as a Back End for the TIL Compiler (Preliminary Report) (1998) (0)
An Implementation of Parametrized Partial Evaluation (1991) (0)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999) (0)
Foundations of Formal Program Development Other Faculty: Gradute Students: Ergo Report (2009) (0)
The Denotational Specifications of Complex Languages (2005) (0)
Standard ML Signatures for a Protocol (1993) (0)
Accountability for Information Flow via Explicit Formal Proof (2009) (0)
In ( 0 N 4 Incremental Recompilation for Standard ML of New Jersey 0 (0)
Advanced Language Technology for Extensible Systems (1998) (0)
A brief introduction to Pascal (1993) (0)
Modularity Matters Most (2001) (0)
Certifying, Optimizing Compilation (Abstract) (1998) (0)
What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code (2003) (0)
Conducting tests on the resource usage of computer programs (2004) (0)
Production-Quality Proof-Carrying Code (2000) (0)
Run-time Code Generation and Modal (2018) (0)

This paper list is powered by the following services:

Other Resources About Peter Lee

What Schools Are Affiliated With Peter Lee ?

Peter Lee is affiliated with the following schools:

Peter Lee 's Academic­Influence.com Rankings