Benjamin Goldberg

Benjamin Goldberg is an Associate Professor in the Computer Science Department at New York University, where he conducts research at the intersection of compiler design, programming languages, and formal methods. His work emphasizes building reliable and efficient compiler optimizations for modern architectures through rigorous validation frameworks.

Education

• Ph.D. in Computer Science, Yale University
• B.A. in Mathematical Sciences, Williams College (1982)

Research Interests

Goldberg's primary research spans compiler optimizations for instruction-level parallel architectures, verification of compiler transformations to guarantee correctness, and storage management techniques including advanced garbage collection. He pioneered the Trimaran Compiler Research Infrastructure for experimental compiler development and leads the Compiler Validation Project (ACSys group) focused on translation validation. His work integrates theoretical foundations with practical compiler implementation, addressing critical challenges in speculative optimization and memory management for distributed systems.

Publication Trends

Analysis of his 15 most recent publications reveals a dominant focus on compiler validation (7 papers, 2002-2010), particularly loop optimization and software pipelining verification. Earlier work (1988-1997) centers on garbage collection (5 papers) and functional programming (4 papers). This progression demonstrates a strategic shift from memory management foundations to formal methods for compiler trustworthiness, with consistent contributions to parallel computing infrastructure throughout his career.

Research Groups

Goldberg is a core member of NYU's ACSys research group, developing the TVOC framework for validating compiler optimizations. He co-created the Trimaran project, an open infrastructure for compiler research targeting instruction-level parallel architectures, which has become a standard platform for compiler experimentation in academia and industry.