No photo of Benjamin Goldberg

Benjamin Goldberg

Associate Professor of Computer Science

    1984 …2010

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Fingerprint Weighted list of dominant concepts in the person's research.

    • 2 Similar Profiles

    Research Output

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

    Goldberg, B., Nov 12 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. 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

  • From requirements to specifications

    Plock, C., Goldberg, B. & Zuck, L., Dec 9 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. (Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005).

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

  • 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, 1, p. 53-71 19 p.

    Research output: Contribution to journalConference article

  • Translation and run-time validation of loop transformations

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

    Research output: Contribution to journalArticle

  • TVOC: A translation validator for optimizing compilers

    Barrett, C., Fang, Y., Goldberg, B., Hu, Y., Pnueli, A. & Zuck, L., Oct 19 2005, In : Lecture Notes in Computer Science. 3576, p. 291-295 5 p.

    Research output: Contribution to journalConference article