Research output per year
Research output per year
Fingerprint
Weighted list of dominant concepts in the person's research.
- 1 Similar Profiles
-
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 proceeding › Conference 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 proceeding › Conference 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 journal › Conference article › peer-review
-
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 journal › Article › peer-review
-
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 journal › Conference article › peer-review
Open Access