Benjamin Goldberg

Associate Professor of Computer Science

1984 …2010
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Benjamin Goldberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Compiler Mathematics
Optimizing Compilers Mathematics
Functional programming Engineering & Materials Science
Reclamation Engineering & Materials Science
Multiprocessor Mathematics
Storage management Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Optimization Mathematics

Research Output 1984 2010

  • 27 Conference contribution
  • 17 Article
  • 1 Chapter
  • 1 Chapter (peer-reviewed)

Translation validation of loop optimizations and software pipelining in the TVOC framework: In memory of Amir Pnueli

Goldberg, B., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. Vol. 6337 LNCS. p. 6-21 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6337 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Software pipelining
Optimization
Optimizing Compilers
Compiler
Target

From requirements to specifications

Plock, C., Goldberg, B. & Zuck, L., 2005, Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005. Rozenblit, J., O'Neill, T. & Peng, J. (eds.). p. 183-190 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Formal languages
Finite automata

Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers

Goldberg, B., Zuck, L. & Barrett, C., May 30 2005, In : Electronic Notes in Theoretical Computer Science. 132, p. 53-71 19 p.

Research output: Contribution to journalArticle

Optimizing Compilers
Compiler
Optimization
Reordering
Correctness

Translation and run-time validation of loop transformations

Zuck, L., Pnueli, A., Goldberg, B., Barrett, C., Fang, Y. & Hu, Y., Nov 2005, In : Formal Methods in System Design. 27, 3 SPEC. ISS., p. 335-360 26 p.

Research output: Contribution to journalArticle

Loop Transformations
Optimization
Compiler
Tiling
Interchanges

TVOC: A translation validator for optimizing compilers

Barrett, C., Fang, Y., Goldberg, B., Hu, Y., Pnueli, A. & Zuck, L., 2005, Lecture Notes in Computer Science. Etessami, K. & Rajamani, S. K. (eds.). Vol. 3576. p. 291-295 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Phase structure