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