dblp.uni-trier.dewww.uni-trier.de

Benjamin Goldberg Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
35EEClark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck: TVOC: A Translation Validator for Optimizing Compilers. CAV 2005: 291-295
34EECory Plock, Benjamin Goldberg, Lenore D. Zuck: From Requirements to Specifications. ECBS 2005: 183-190
33EEBenjamin 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)
32EEYing Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli: Validating More Loop Optimizations. Electr. Notes Theor. Comput. Sci. 141(2): 69-84 (2005)
31EELenore 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
30EEYing Hu, Clark W. Barrett, Benjamin Goldberg: Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. SEFM 2004: 281-289
2003
29EEClark W. Barrett, Benjamin Goldberg, Lenore D. Zuck: Run-Time Validation of Speculative Optimizations using CVC. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
28EELenore D. Zuck, Amir Pnueli, Benjamin Goldberg: VOC: A Methodology for the Translation Validation of OptimizingCompilers. J. UCS 9(3): 223-247 (2003)
2002
27EEBenjamin Goldberg, Emily Crutcher, Chad Huneycutt, Krishna V. Palem: Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines. IEEE PACT 2002: 211-221
26EELenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg: VOC: A Translation Validator for Optimizing Compilers. Electr. Notes Theor. Comput. Sci. 65(2): (2002)
25EELenore 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): (2002)
1997
24 Cristian Ungureanu, Benjamin Goldberg: Formal Models of Distributed Memory Management. ICFP 1997: 280-291
23EEMihnea Marinescu, Benjamin Goldberg: Partial-Evaluation Techniques for Concurrent Programs. PEPM 1997: 47-62
22 Benjamin Goldberg: Functional Programming Languages. The Computer Science and Engineering Handbook 1997: 2006-2036
21 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
20 Benjamin Goldberg: Functional Programming Languages. ACM Comput. Surv. 28(1): 249-251 (1996)
1995
19EEYoung Park, Benjamin Goldberg: Static Analysis for Optimizing Reference Counting. Inf. Process. Lett. 55(4): 229-234 (1995)
18EEYoung Gil Park, Benjamin Goldberg: Order-of-Demand Analysis for Lazy Languages. Inf. Process. Lett. 55(6): 343-348 (1995)
1993
17 Tyng-Ruey Chuang, Benjamin Goldberg: Real-Time Deques, Multihead Thring Machines, and Purely Functional Programming. FPCA 1993: 289-298
1992
16EEBenjamin Goldberg: Incremental Garbage Collection Without Tags. ESOP 1992: 200-218
15EETyng-Ruey Chuang, Benjamin Goldberg: A Syntactic Approach to Fixed Point Computation on Finite Domains. LISP and Functional Programming 1992: 109-118
14EEBenjamin Goldberg, Michael Gloger: Polymorphic Type Reconstruction for Garbage Collection Without Tags. LISP and Functional Programming 1992: 53-65
13 Young Gil Park, Benjamin Goldberg: Escape Analysis on Lists. PLDI 1992: 116-127
12 Young Gil Park, Benjamin Goldberg: Order-of-Demand Analysis for Lazy Languages. WSA 1992: 91-101
1991
11 Young Gil Park, Benjamin Goldberg: Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References. PEPM 1991: 178-189
10 Benjamin Goldberg: Tag-Free Garbage Collection for Strongly Typed Programming Languages. PLDI 1991: 165-176
1990
9EEBenjamin Goldberg, Young Gil Park: Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations. ESOP 1990: 152-160
1989
8 Benjamin Goldberg: Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme. PLDI 1989: 313-321
1988
7EEBenjamin Goldberg: Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor. LISP and Functional Programming 1988: 40-51
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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)