Thesis (1)
  1. Todd L. Veldhuizen. Active Libraries and Universal Languages. PhD thesis, Indiana University Computer Science, May 2004. [bibtex-entry]


Conference articles (3)
  1. Todd L. Veldhuizen. Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law. In , 2005.
    Note: ArXiv:cs.SE/0508023. [bibtex-entry]


  2. Todd L. Veldhuizen. Guaranteed Optimization for Domain-Specific Programming. In Christian Lengauer and Don Batory, editors, Domain-Specific Program Generation, volume 3016 of Lecture Notes in Computer Science, pages 306-324, 2004. Springer-Verlag. [bibtex-entry]


  3. Todd L. Veldhuizen and Andrew Lumsdaine. Guaranteed Optimization: Proving Nullspace Properties of Compilers. In Proceedings of the 2002 Static Analysis Symposium (SAS'02), volume 2477 of Lecture Notes in Computer Science, pages 263-277, 2002. Springer-Verlag.
    Keywords: dataflow analysis, reliable optimization, abstract interpretation, program analysis, program optimization, abstraction penalty, term rewriting, superanalysis. [Abstract] [bibtex-entry]


Internal reports (2)
  1. Todd L. Veldhuizen and Jeremy Siek. Combining Optimizations, Combining Theories. Technical report 582, Indiana University, May 2003. [Annotation] [bibtex-entry]


  2. Todd L. Veldhuizen and Andrew Lumsdaine. Guaranteed Optimization: Proving Nullspace Properties of Compilers. Technical Report TR564, Indiana University Computer Science, 2002.
    Keywords: dataflow analysis, reliable optimization, abstract interpretation, program analysis, program optimization, abstraction penalty, term rewriting, superanalysis. [Abstract] [bibtex-entry]



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.




Last modified: Wed Sep 27 08:25:16 2017
Author: apache.


This document was translated from BibTEX by bibtex2html