22
Publications
815
Citations
15
H-Index
1984
Active since
Benjamin Goldberg is an author at New York University specializing in program analysis, engineering, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal MethodsComputer EngineeringSoftware AnalysisParallel ProgrammingComputer ArchitectureSystem SoftwareFormal Verification
Publications per year
1984–2025
22
22
Young Gil Park, Benjamin Goldberg · 1992 · 118 citations · Full text
Engineering, Computer Architecture, Software Engineering +20
VOC: A methodology for the translation validation of optimizing compilers
Lenore D. Zuck, Amir Pnueli, Yi Fang et al. · 2003 · 84 citations · Full text
Rows per page
1–5 of 22