Benjamin Goldberg

	2010
38		Benjamin Goldberg: Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli. SAS 2010: 6-21
37		Benjamin Goldberg: Unmanned aerial systems: the role of the operator and human factor implications. SpringSim 2010: 229
	2005
36		Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck: TVOC: A Translation Validator for Optimizing Compilers. CAV 2005: 291-295
35		Cory Plock, Benjamin Goldberg, Lenore D. Zuck: From Requirements to Specifications. ECBS 2005: 183-190
34		Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett: Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 53-71 (2005)
33		Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli: Validating More Loop Optimizations. Electr. Notes Theor. Comput. Sci. 141(2): 69-84 (2005)
32		Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu: Translation and Run-Time Validation of Loop Transformations. Formal Methods in System Design 27(3): 335-360 (2005)
	2004
31		Ying Hu, Clark W. Barrett, Benjamin Goldberg: Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. SEFM 2004: 281-289
	2003
30		Clark W. Barrett, Benjamin Goldberg, Lenore D. Zuck: Run-Time Validation of Speculative Optimizations using CVC. Electr. Notes Theor. Comput. Sci. 89(2): 89-107 (2003)
29		Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg: VOC: A Methodology for the Translation Validation of OptimizingCompilers. J. UCS 9(3): 223-247 (2003)
	2002
28		Benjamin Goldberg, Emily Crutcher, Chad Huneycutt, Krishna V. Palem: Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines. IEEE PACT 2002: 211-221
27		Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg: VOC: A Translation Validator for Optimizing Compilers. Electr. Notes Theor. Comput. Sci. 65(2): 2-18 (2002)
26		Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg, Ying Hu: Translation and Run-Time Validation of Optimized Code. Electr. Notes Theor. Comput. Sci. 70(4): 179-200 (2002)
	1997
25		Cristian Ungureanu, Benjamin Goldberg: Formal Models of Distributed Memory Management. ICFP 1997: 280-291
24		Mihnea Marinescu, Benjamin Goldberg: Partial-Evaluation Techniques for Concurrent Programs. PEPM 1997: 47-62
23		Benjamin Goldberg: Functional Programming Languages. The Computer Science and Engineering Handbook 1997: 2006-2036
22		Tyng-Ruey Chuang, Benjamin Goldberg: A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. J. Funct. Program. 7(4): 357-394 (1997)
	1996
21		Benjamin Goldberg: Functional Programming Languages. ACM Comput. Surv. 28(1): 249-251 (1996)
	1995
20		Young Park, Benjamin Goldberg: Static Analysis for Optimizing Reference Counting. Inf. Process. Lett. 55(4): 229-234 (1995)
19		Young Gil Park, Benjamin Goldberg: Order-of-Demand Analysis for Lazy Languages. Inf. Process. Lett. 55(6): 343-348 (1995)
	1993
18		Tyng-Ruey Chuang, Benjamin Goldberg: Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. FPCA 1993: 289-298
	1992
17		Benjamin Goldberg: Incremental Garbage Collection Without Tags. ESOP 1992: 200-218
16		Tyng-Ruey Chuang, Benjamin Goldberg: A Syntactic Approach to Fixed Point Computation on Finite Domains. LISP and Functional Programming 1992: 109-118
15		Benjamin Goldberg, Michael Gloger: Polymorphic Type Reconstruction for Garbage Collection Without Tags. LISP and Functional Programming 1992: 53-65
14		Young Gil Park, Benjamin Goldberg: Escape Analysis on Lists. PLDI 1992: 116-127
13		Young Gil Park, Benjamin Goldberg: Order-of-Demand Analysis for Lazy Languages. WSA 1992: 91-101
	1991
12		Young Gil Park, Benjamin Goldberg: Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. PEPM 1991: 178-189
11		Benjamin Goldberg: Tag-Free Garbage Collection for Strongly Typed Programming Languages. PLDI 1991: 165-176
	1990
10		Benjamin Goldberg, Young Gil Park: Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. ESOP 1990: 152-160
	1989
9		Benjamin Goldberg: Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. PLDI 1989: 313-321
	1988
8		Benjamin Goldberg: Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. LISP and Functional Programming 1988: 40-51
7		Benjamin Goldberg: Multiprocessor execution of functional programs. International Journal of Parallel Programming 17(5): 425-473 (1988)
	1987
6		Benjamin Goldberg: Detecting sharing of partial applications in functional programs. FPCA 1987: 408-425
	1986
5		Benjamin Goldberg, Paul Hudak: Alfalfa: Distributed graph reduction on a hypercube multiprocessor. Graph Reduction 1986: 94-113
	1985
4		Paul Hudak, Benjamin Goldberg: Serial Combinators: ``Optimal'' Grains of Parallelism. FPCA 1985: 382-399
3		Paul Hudak, Benjamin Goldberg: Efficient Distributed Evaluation of Functional Programs Using Serial Combinators. ICPP 1985: 831-839
2		Paul Hudak, Benjamin Goldberg: Distributed Execution of Functional Programs Using Serial Combinators. IEEE Trans. Computers 34(10): 881-891 (1985)
	1984
1		Paul Hudak, Benjamin Goldberg: Experiments in Diffused Combinator Reduction. LISP and Functional Programming 1984: 167-176

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[30] [31] [32] [33] [34] [36]
2	Tyng-Ruey Chuang	[16] [18] [22]
3	Emily Crutcher	[28]
4	Yi Fang	[26] [27] [32] [36]
5	Michael Gloger	[15]
6	Ying Hu	[26] [31] [32] [33] [36]
7	Paul Hudak	[1] [2] [3] [4] [5]
8	Chad Huneycutt	[28]
9	Mihnea Marinescu	[24]
10	Krishna V. Palem	[28]
11	Young Park	[20]
12	Young Gil Park	[10] [12] [13] [14] [19]
13	Cory Plock	[35]
14	Amir Pnueli	[26] [27] [29] [32] [33] [36]
15	Cristian Ungureanu	[25]
16	Lenore D. Zuck	[26] [27] [29] [30] [32] [34] [35] [36]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page