Benjamin Goldberg

38 papers A* 4A 3B 3C 2Journal 8Unranked 17

Year	Rank	Type	Title / Venue / Authors
2010	B	`conf`	Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli. SAS Benjamin Goldberg
2005	—	`conf`	From Requirements to Specifications. ECBS Cory Plock, Benjamin Goldberg, Lenore D. Zuck
2005	A*	`conf`	TVOC: A Translation Validator for Optimizing Compilers. CAV Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck
2005	J	`jnl`	Translation and Run-Time Validation of Loop Transformations. Formal Methods Syst. Des. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu
2005	—	`conf`	Validating More Loop Optimizations. COCV Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli
2004	—	`conf`	Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. COCV Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett
2004	B	`conf`	Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. SEFM Ying Hu, Clark W. Barrett, Benjamin Goldberg
2003	—	`conf`	Run-Time Validation of Speculative Optimizations using CVC. RV@CAV Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck
2003	J	`jnl`	VOC: A Methodology for the Translation Validation of OptimizingCompilers. J. Univers. Comput. Sci. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg
2002	—	`conf`	Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines. IEEE PACT Benjamin Goldberg, Emily Crutcher, Chad Huneycutt, Krishna V. Palem
2002	—	`conf`	Translation and Run-Time Validation of Optimized Code. RV@FLoC Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu
2002	—	`conf`	VOC: A Translation Validator for Optimizing Compilers. COCV Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
1997	J	`jnl`	A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. J. Funct. Program. Tyng-Ruey Chuang, Benjamin Goldberg
1997	A	`conf`	Formal Models of Distributed Memory Management. ICFP Cristian Ungureanu, Benjamin Goldberg
1997	—	`ch.`	Functional Programming Languages. The Computer Science and Engineering Handbook Benjamin Goldberg
1997	C	`conf`	Partial-Evaluation Techniques for Concurrent Programs. PEPM Mihnea Marinescu, Benjamin Goldberg
1996	J	`jnl`	Functional Programming Languages. ACM Comput. Surv. Benjamin Goldberg
1995	J	`jnl`	Order-of-Demand Analysis for Lazy Languages. Inf. Process. Lett. Young Gil Park, Benjamin Goldberg
1995	J	`jnl`	Static Analysis for Optimizing Reference Counting. Inf. Process. Lett. Young Park, Benjamin Goldberg
1993	—	`conf`	Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. FPCA Tyng-Ruey Chuang, Benjamin Goldberg
1992	—	`conf`	A Syntactic Approach to Fixed Point Computation on Finite Domains. LISP and Functional Programming Tyng-Ruey Chuang, Benjamin Goldberg
1992	A*	`conf`	Escape Analysis on Lists. PLDI Young Gil Park, Benjamin Goldberg
1992	A	`conf`	Incremental Garbage Collection Without Tags. ESOP Benjamin Goldberg
1992	—	`conf`	Order-of-Demand Analysis for Lazy Languages. WSA Young Gil Park, Benjamin Goldberg
1992	—	`conf`	Polymorphic Type Reconstruction for Garbage Collection Without Tags. LISP and Functional Programming Benjamin Goldberg, Michael Gloger
1991	C	`conf`	Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. PEPM Young Gil Park, Benjamin Goldberg
1991	A*	`conf`	Tag-Free Garbage Collection for Strongly Typed Programming Languages. PLDI Benjamin Goldberg
1990	A	`conf`	Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. ESOP Benjamin Goldberg, Young Gil Park
1989	A*	`conf`	Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. PLDI Benjamin Goldberg
1988	—	`conf`	Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. LISP and Functional Programming Benjamin Goldberg
1988	—	`conf`	Implementing functional programs on a hypercube multiprocessor. C³P Benjamin Goldberg, Paul Hudak
1988	J	`jnl`	Multiprocessor execution of functional programs. Int. J. Parallel Program. Benjamin Goldberg
1987	—	`conf`	Detecting sharing of partial applications in functional programs. FPCA Benjamin Goldberg
1986	—	`conf`	Alfalfa: Distributed graph reduction on a hypercube multiprocessor. Graph Reduction Benjamin Goldberg, Paul Hudak
1985	J	`jnl`	Distributed Execution of Functional Programs Using Serial Combinators. IEEE Trans. Computers Paul Hudak, Benjamin Goldberg
1985	B	`conf`	Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. ICPP Paul Hudak, Benjamin Goldberg
1985	—	`conf`	Serial Combinators: "Optimal" Grains of Parallelism. FPCA Paul Hudak, Benjamin Goldberg
1984	—	`conf`	Experiments in Diffused Combinator Reduction. LISP and Functional Programming Paul Hudak, Benjamin Goldberg