Benjamin Goldberg

Proceedings of the Static Analysis - 17th International Symposium, 2010

2005

Translation and Run-Time Validation of Loop Transformations.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Validating More Loop Optimizations.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

From Requirements to Specifications.

[BibT_eX]

[DOI]

Cory Plock

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

TVOC: A Translation Validator for Optimizing Compilers.

[BibT_eX]

[DOI]

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

2004

Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers.

[BibT_eX]

[DOI]

Clark W. Barrett

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.

[BibT_eX]

[DOI]

Ying Hu

Clark W. Barrett

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

VOC: A Methodology for the Translation Validation of OptimizingCompilers.

[BibT_eX]

[DOI]

Amir Pnueli

J. Univers. Comput. Sci., 2003

Run-Time Validation of Speculative Optimizations using CVC.

[BibT_eX]

[DOI]

Clark W. Barrett

Proceedings of the Third Workshop on Run-time Verification, 2003

2002

Translation and Run-Time Validation of Optimized Code.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification 2002, 2002

VOC: A Translation Validator for Optimizing Compilers.

[BibT_eX]

[DOI]

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002

1997

A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains.

[BibT_eX]

[DOI]

Tyng-Ruey Chuang

J. Funct. Program., 1997

Partial-Evaluation Techniques for Concurrent Programs.

[BibT_eX]

[DOI]

Mihnea Marinescu

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Formal Models of Distributed Memory Management.

[BibT_eX]

[DOI]

Cristian Ungureanu

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Functional Programming Languages.

[BibT_eX]

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Functional Programming Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

1995

Order-of-Demand Analysis for Lazy Languages.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Static Analysis for Optimizing Reference Counting.

[BibT_eX]

[DOI]

Young Park

Inf. Process. Lett., 1995

1993

Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming.

[BibT_eX]

[DOI]

Tyng-Ruey Chuang

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1992

Escape Analysis on Lists.

[BibT_eX]

[DOI]

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

Polymorphic Type Reconstruction for Garbage Collection Without Tags.

[BibT_eX]

[DOI]

Michael Gloger

Proceedings of the Conference on Lisp and Functional Programming, 1992

A Syntactic Approach to Fixed Point Computation on Finite Domains.

[BibT_eX]

[DOI]

Tyng-Ruey Chuang

Proceedings of the Conference on Lisp and Functional Programming, 1992

Incremental Garbage Collection Without Tags.

[BibT_eX]

[DOI]

Proceedings of the ESOP '92, 1992

1991

Tag-Free Garbage Collection for Strongly Typed Programming Languages.

[BibT_eX]

[DOI]

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

Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations.

[BibT_eX]

[DOI]

Proceedings of the ESOP'90, 1990

1989

Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme.

[BibT_eX]

[DOI]

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

1988

Multiprocessor execution of functional programs.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1988

Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor.

[BibT_eX]

[DOI]

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

Implementing functional programs on a hypercube multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1987

Detecting sharing of partial applications in functional programs.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

Alfalfa: Distributed graph reduction on a hypercube multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985

Distributed Execution of Functional Programs Using Serial Combinators.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1985

Efficient Distributed Evaluation of Functional Programs Using Serial Combinators.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1985

Serial Combinators: "Optimal" Grains of Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

Experiments in Diffused Combinator Reduction.

[BibT_eX]

[DOI]