Peter Lee

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2012

The fox and the hedgehog: technical perspective.

[BibT_eX]

[DOI]

Michael P. Ashley-Rollman

Commun. ACM, 2012

2011

Detecting Locally Distributed Predicates.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2011

2010

Automatic numeric abstractions for heap-manipulating programs.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Beyond Audio and Video: Using Claytronics to Enable Pario.

[BibT_eX]

[DOI]

Seth Copen Goldstein

Todd C. Mowry

Jason Campbell

Michael DeRosa

Stanislav Funiak

James F. Hoburg

Mustafa Emre Karagozler

Michael Philetus Weller

AI Mag., 2009

A tale of two planners: Modular robotic planning with LDP.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

A Language for Large Ensembles of Independently Executing Nodes.

[BibT_eX]

[DOI]

Michael P. Ashley-Rollman

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Distributed Watchpoints: Debugging Large Modular Robot Systems.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2008

Programming modular robots with locally distributed predicates.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

THOR: A Tool for Reasoning about Shape and Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Enforcing resource bounds via static verification of dynamic checks.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Model-Driven Construction of Certified Binaries.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Meld: A declarative approach to programming ensembles.

[BibT_eX]

[DOI]

Michael P. Ashley-Rollman

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Distributed Watchpoints: Debugging Large Multi-Robot Systems.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

2006

High-Confidence Medical Device Software and Systems.

[BibT_eX]

[DOI]

Computer, 2006

Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006

2005

Claytronics: highly scalable communications, sensing, and actuation networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications].

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

JVer: A Java Verifier.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Automated techniques for provably safe mobile code.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Temporal Logic for Proof-Carrying Code.

[BibT_eX]

[DOI]

Andrew Bernard

Proceedings of the Automated Deduction, 2002

2001

A Network Protocol Stack in Standard ML.

[BibT_eX]

[DOI]

Edoardo Biagioni

High. Order Symb. Comput., 2001

2000

A certifying compiler for Java.

[BibT_eX]

[DOI]

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Production-Quality Proof-Carrying Code.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2000

A Proof-Carrying Code Architecture for Java.

[BibT_eX]

[DOI]

Christopher Colby

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Proof Generation in the Touchstone Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

1998

SIGPLAN Supports Your Professional Activities.

[BibT_eX]

ACM SIGPLAN Notices, 1998

Safe-for-Space Threads in Standard ML.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 1998

Modal Types as Staging Specifications for Run-Time Code Generation.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

Dynamic Specialization in the Fabius System.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1998

How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler.

[BibT_eX]

[DOI]

Andrew Bernard

Proceedings of the Types in Compilation, Second International Workshop, 1998

Certifying, Optimizing Compilation (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 5th International Symposium, 1998

Run-time Code Generation and Modal-ML.

[BibT_eX]

[DOI]

Philip Wickline

Frank Pfenning

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

The design and implementation of a certifying compiler (with retrospective)

[BibT_eX]

[DOI]

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1998

The Design and Implementation of a Certifying Compiler.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Generational Stack Collection and Profile-Driven Pretenuring.

[BibT_eX]

[DOI]

Perry Cheng

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Safe, Untrusted Agents Using Proof-Carrying Code.

[BibT_eX]

[DOI]

Proceedings of the Mobile Agents and Security, 1998

Efficient Representation and Validation of Proofs.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

Research on Proof-Carrying Code for Untrusted-Code Security.

[BibT_eX]

[DOI]

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

1996

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.

[BibT_eX]

[DOI]

J. Funct. Program., 1996

Research in Programming Languages for Composability, Safety, and Performance.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Trace-Based Program Analysis.

[BibT_eX]

[DOI]

Christopher Colby

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

TIL: a type-directed, optimizing compiler for ML (with retrospective)

[BibT_eX]

[DOI]

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1996

TIL: A Type-Directed Optimizing Compiler for ML.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Optimizing ML with run-time code generation (with retrospective)

[BibT_eX]

[DOI]

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1996

Optimizing ML with Run-Time Code Generation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Safe Kernel Extensions Without Run-Time Checking.

[BibT_eX]

[DOI]

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

Implementing Threads in Standard ML.

[BibT_eX]

[DOI]

Proceedings of the Advanced Functional Programming, 1996

1995

An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System.

[BibT_eX]

[DOI]

Proceedings of the Field-Programmable Logic and Applications, 5th International Workshop, 1995

1994

Call-by-Need and Continuation-Passing Style.

[BibT_eX]

Chris Okasaki

David Tarditi

LISP Symb. Comput., 1994

Lightweight Run-Time Code Generation.

[BibT_eX]

Proceedings of the PEPM'94, 1994

Signatures for a Network Protocol Stack: A Systems Application of Standard ML.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1992

Cache Behavior of Combinator Graph Reduction.

[BibT_eX]

[DOI]

Philip J. Koopman Jr.

Daniel P. Siewiorek

ACM Trans. Program. Lang. Syst., 1992

No Assembly Required: Compiling Standard ML to C.

[BibT_eX]

[DOI]

David Tarditi

Anurag Acharya

LOPLAS, 1992

Visualizing Evaluation in Applicative Languages.

[BibT_eX]

[DOI]

David S. Touretzky

Commun. ACM, 1992

1991

Metacircularity in the Polymorphic lambda-Calculus.

[BibT_eX]

[DOI]

Frank Pfenning

Theor. Comput. Sci., 1991

An Implementation of Parametrized Partial Evaluation.

[BibT_eX]

Christopher Colby

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

1990

Cache Performance of Combinator Graph Reduction.

[BibT_eX]

[DOI]

Philip J. Koopman Jr.

Daniel P. Siewiorek

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

Formal manipulation of modular software systems.

[BibT_eX]

[DOI]

Robert L. Nord

William L. Scherlis

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

LEAP: A Language with Eval And Polymorphism.

[BibT_eX]

[DOI]

Frank Pfenning

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

A Fresh Look at Combinator Graph Reduction.

[BibT_eX]

[DOI]

Philip J. Koopman Jr.

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

Realistic compiler generation.

[BibT_eX]

Foundations of Computing Series, MIT Press, ISBN: 978-0-262-12141-5, 1989

1988

The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

An Automatically Generated, Realistic Compiler for an Imperative Programming Language.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1987

A Realistic Compiler Generator Based on High-Level Semantics.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1986

On the Use of LISP in Implementing Denotational Semantics.

[BibT_eX]

[DOI]