Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Benjamin Goldberg
Observed names:
B. Goldberg,
BENJAMIN GOLDBERG
Institutions:
Courant Institute of Mathematical Sciences,
New York University
Observed institutions:
Technische Universität Darmstadt,
Yale University,
Courant Institute of Mathematical Sciences,
Weizmann Institute of Science,
New York University,
University of Windsor
show all 6
ORCID:
0009-0008-5879-0697
Observed ORCID:
0009-0008-5879-0697
OpenAlex ID:
A5046367201
Works
62
Awards
7
Escape analysis on lists
1992
·
Young Gil Park
, Benjamin Goldberg
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
120
PDF
VOC: A methodology for the translation validation of optimizing compilers
·
Lenore Zuck
, Amir Pnueli
, et al.
·
82
Serial combinators: "optimal" grains of parallelism
1985
·
Paul Hudak
, Benjamin Goldberg
·
Lecture notes in computer science
·
80
TVOC: A Translation Validator for Optimizing Compilers
2005
·
Clark Barrett
, Yi Fang
, et al.
·
Lecture notes in computer science
·
71
PDF
Multiprocessor execution of functional programs
1988
·
Benjamin Goldberg
·
International Journal of Parallel Programming
·
65
Real-time deques, multihead Turing machines, and purely functional programming
1993
·
Tyng-Ruey Chuang
, Benjamin Goldberg
·
International Conference on Functional Programming Languages and Computer Architecture (FPCA)
·
62
PDF
Translation and Run-Time Validation of Loop Transformations
2005
·
Lenore Zuck
, Amir Pnueli
, et al.
·
Formal Methods in System Design
·
55
Tag-free garbage collection for strongly typed programming languages
1991
·
Benjamin Goldberg
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
55
VOC
2002
·
Lenore Zuck
, Amir Pnueli
, et al.
·
Electronic Notes in Theoretical Computer Science
·
53
PDF
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers
2005
·
Benjamin Goldberg
, Lenore Zuck
, et al.
·
Electronic Notes in Theoretical Computer Science
·
51
PDF
Distributed execution of functional programs using serial combinators
1985
·
Paul Hudak
, Benjamin Goldberg
·
IEEE Transactions on Computers
·
39
Generational reference counting: a reduced-communication distributed storage reclamation scheme
1989
·
B. Goldberg
·
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
·
38
PDF
Higher order escape analysis: Optimizing stack allocation in functional program implementations
1990
·
Benjamin Goldberg
, Young Gil Park
·
Lecture notes in computer science
·
34
Polymorphic type reconstruction for garbage collection without tags
1992
·
Benjamin Goldberg
, Michael Gloger
·
ACM Conference on LISP and Functional Programming (LFP)
·
31
PDF
Detecting sharing of partial applications in functional programs
1987
·
Benjamin Goldberg
·
Lecture notes in computer science
·
29
PDF
Alfalfa: Distributed graph reduction on a hypercube multiprocessor
1987
·
Benjamin Goldberg
, Paul Hudak
·
Lecture notes in computer science
·
25
Translation and Run-Time Validation of Optimized Code
2002
·
Lenore Zuck
, Amir Pnueli
, et al.
·
Electronic Notes in Theoretical Computer Science
·
24
PDF
Functional programming languages
1996
·
Benjamin Goldberg
·
ACM Computing Surveys
·
24
PDF
Experiments in diffused combinator reduction
1984
·
Paul Hudak
, Benjamin Goldberg
·
ACM Conference on LISP and Functional Programming (LFP)
·
22
Reference escape analysis: optimizing reference counting based on the lifetime of references
1991
·
Young Gil Park
, Benjamin Goldberg
·
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
·
20
PDF
Partial-evaluation techniques for concurrent programs
1997
·
Mihnea Marinescu
, Benjamin Goldberg
·
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM)
·
19
PDF
Buckwheat: graph reduction on a shared-memory multiprocessor
1988
·
Benjamin Goldberg
·
ACM Conference on LISP and Functional Programming (LFP)
·
15
PDF
Static analysis for optimizing reference counting
1995
·
Young Park
, Benjamin Goldberg
·
Information Processing Letters
·
14
PDF
Implementing functional programs on a hypercube multiprocessor
1988
·
B. Goldberg
, P. Hudak
·
Hypercube Concurrent Computers and Applications
·
14
PDF
Tag-free garbage collection for strongly typed programming languages
1991
·
Benjamin Goldberg
·
ACM SIGPLAN Notices
·
13
Show more works
View as search
Works count:
62
Citation count:
1,174
H-index:
20
I10-index:
27
Year
Topic
Type
