Experiments in Diffused Combinator Reduction. - Paul Hudak; Benjamin Goldberg 001 (LISP and Functional Programming, 1984)

Serial Combinators: "Optimal" Grains of Parallelism. - Paul Hudak; Benjamin Goldberg 001 (FPCA, 1985)

Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. - Paul Hudak; Benjamin Goldberg 001 (ICPP, 1985)

Distributed Execution of Functional Programs Using Serial Combinators. - Paul Hudak; Benjamin Goldberg 001 (IEEE Trans. Computers, 1985)

Alfalfa: Distributed graph reduction on a hypercube multiprocessor. - Benjamin Goldberg 001; Paul Hudak (Graph Reduction, 1986)

Detecting sharing of partial applications in functional programs. - Benjamin Goldberg 001 (FPCA, 1987)

Implementing functional programs on a hypercube multiprocessor. - Benjamin Goldberg 001; Paul Hudak (C³P, 1988)

Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. - Benjamin Goldberg 001 (LISP and Functional Programming, 1988)

Multiprocessor execution of functional programs. - Benjamin Goldberg 001 (Int. J. Parallel Program., 1988)

Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. - Benjamin Goldberg 001 (PLDI, 1989)

Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. - Benjamin Goldberg 001; Young Gil Park (ESOP, 1990)

Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. - Young Gil Park; Benjamin Goldberg 001 (PEPM, 1991)

Tag-Free Garbage Collection for Strongly Typed Programming Languages. - Benjamin Goldberg 001 (PLDI, 1991)

Incremental Garbage Collection Without Tags. - Benjamin Goldberg 001 (ESOP, 1992)

A Syntactic Approach to Fixed Point Computation on Finite Domains. - Tyng-Ruey Chuang; Benjamin Goldberg 001 (LISP and Functional Programming, 1992)

Polymorphic Type Reconstruction for Garbage Collection Without Tags. - Benjamin Goldberg 001; Michael Gloger (LISP and Functional Programming, 1992)

Escape Analysis on Lists. - Young Gil Park; Benjamin Goldberg 001 (PLDI, 1992)

Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. - Tyng-Ruey Chuang; Benjamin Goldberg 001 (FPCA, 1993)

Static Analysis for Optimizing Reference Counting. - Young Park; Benjamin Goldberg 001 (Inf. Process. Lett., 1995)

Order-of-Demand Analysis for Lazy Languages. - Young Gil Park; Benjamin Goldberg 001 (Inf. Process. Lett., 1995)

Functional Programming Languages. - Benjamin Goldberg 001 (ACM Comput. Surv., 1996)

Functional Programming Languages. - Benjamin Goldberg 001 (The Computer Science and Engineering Handbook, 1997)

Formal Models of Distributed Memory Management. - Cristian Ungureanu; Benjamin Goldberg 001 (ICFP, 1997)

Partial-Evaluation Techniques for Concurrent Programs. - Mihnea Marinescu; Benjamin Goldberg 001 (PEPM, 1997)

A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. - Tyng-Ruey Chuang; Benjamin Goldberg 001 (J. Funct. Program., 1997)

Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines. - Benjamin Goldberg 001; Emily Crutcher; Chad Huneycutt; Krishna V. Palem (IEEE PACT, 2002)

VOC: A Translation Validator for Optimizing Compilers. - Lenore D. Zuck; Amir Pnueli; Yi Fang 001; Benjamin Goldberg 001 (COCV@ETAPS, 2002)

Translation and Run-Time Validation of Optimized Code. - Lenore D. Zuck; Amir Pnueli; Yi Fang 001; Benjamin Goldberg 001; Ying Hu 003 (RV@FLoC, 2002)

Run-Time Validation of Speculative Optimizations using CVC. - Clark W. Barrett; Benjamin Goldberg 001; Lenore D. Zuck (RV@CAV, 2003)

VOC: A Methodology for the Translation Validation of OptimizingCompilers. - Lenore D. Zuck; Amir Pnueli; Benjamin Goldberg 001 (J. Univers. Comput. Sci., 2003)

Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. - Ying Hu 003; Clark W. Barrett; Benjamin Goldberg 001 (SEFM, 2004)

Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. - Benjamin Goldberg 001; Lenore D. Zuck; Clark W. Barrett (COCV@ETAPS, 2004)

TVOC: A Translation Validator for Optimizing Compilers. - Clark W. Barrett; Yi Fang 001; Benjamin Goldberg 001; Ying Hu 003; Amir Pnueli; Lenore D. Zuck (CAV, 2005)

From Requirements to Specifications. - Cory Plock; Benjamin Goldberg 001; Lenore D. Zuck (ECBS, 2005)

Validating More Loop Optimizations. - Ying Hu 003; Clark W. Barrett; Benjamin Goldberg 001; Amir Pnueli (COCV@ETAPS, 2005)

Translation and Run-Time Validation of Loop Transformations. - Lenore D. Zuck; Amir Pnueli; Benjamin Goldberg 001; Clark W. Barrett; Yi Fang 001; Ying Hu 003 (Formal Methods Syst. Des., 2005)

Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli. - Benjamin Goldberg 001 (SAS, 2010)