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., 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., 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 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., 2005, In : Lecture Notes in Computer Science. 3576, p. 291-295 5 p.

    Research output: Contribution to journalConference article