No photo of Benjamin Goldberg

Benjamin Goldberg

Associate Professor of Computer Science

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

Fingerprint Weighted list of dominant concepts in the researcher's publications (titles and abstracts).

  • 1 Similar Profiles
Compiler Mathematics
Optimizing Compilers Mathematics
Functional programming Engineering & Materials Science
Multiprocessor Mathematics
Storage management Engineering & Materials Science
Optimization Mathematics
Graph Reduction Mathematics
Synchronization Engineering & Materials Science

Research Output 1984 2010

  • 27 Conference contribution
  • 16 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