Benjamin Goldberg - Concepedia

Author

Benjamin Goldberg

New York University ORCID

Also Known As

B. Goldberg, BENJAMIN GOLDBERG, Benjamin Goldberg, Yi Fang

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

New York University Courant Institute of Mathematical Sciences Mercer University Weizmann Institute of Science Yale University

About

Benjamin Goldberg is an author at New York University specializing in program analysis, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	16	612
2	Computer Science	14	16	612
3	Computer Engineering	13	15	581
4	Systems Engineering	7	7	288
5	Data Science	2	2	44

Benjamin Goldberg

Publications

815

Citations

H-Index

Page 1

	Year	Citations
Escape analysis on lists Young Gil Park, Benjamin Goldberg EngineeringComputer ArchitectureSoftware EngineeringMemory Model (Programming)Software Analysis	1992	118
VOC: A methodology for the translation validation of optimizing compilers Lenore D. Zuck, Amir Pnueli, Yi Fang,	2003	84
Multiprocessor execution of functional programs Benjamin Goldberg International Journal of Parallel Programming Multiprocessor ExecutionEngineeringProgram AnalysisConcurrent ProgrammingComputer Engineering	1988	65
Real-time deques, multihead Turing machines, and purely functional programming Tyng–Ruey Chuang, Benjamin Goldberg	1993	61
Tag-free garbage collection for strongly typed programming languages Benjamin Goldberg EngineeringComputer ArchitectureSoftware EngineeringSoftware AnalysisFormal Verification	1991	53
Translation and Run-Time Validation of Loop Transformations Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Formal Methods in System Design EngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerification	2005	52
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers Benjamin Goldberg, Lenore D. Zuck, Clark Barrett Electronic Notes in Theoretical Computer Science EngineeringCompiler TechnologyVerificationComputer ArchitectureSoftware Engineering	2005	51
VOC Lenore D. Zuck, Amir Pnueli, Yi Fang, Electronic Notes in Theoretical Computer Science Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2002	49
Distributed execution of functional programs using serial combinators Paul Hudak, Benjamin Goldberg IEEE Transactions on Computers General StrategyEngineeringCompiler TechnologyComputer ArchitectureSoftware Engineering	1985	40
Generational reference counting: a reduced-communication distributed storage reclamation scheme Benjamin Goldberg Cluster ComputingEngineeringGenerational Reference CountingStorage ManagementComputer Architecture	1989	37

Page 1