Jeremy Siek


  • Indiana University, 2005, Ph.D. Computer Science, A Language for Generic Programming. Advisor: Andrew Lumsdaine
  • University of Notre Dame, 1999, M.S. Computer Science and Engineering, A Modern Framework for Portable High Performance Numerical Linear Algebra. Advisor: Andrew Lumsdaine
  • University of Notre Dame, 1997, B.S. Mathematics.

Research Interests

Research in programming language design and implementation to improve support for software libraries and domain specific languages, including research in type systems, program generation, and performance optimization.

Professional Research Experience

  • Associate Professor at Indiana University, 2013 – present.
  • Assistant Professor at University of Colorado, 2007 – 2013.
  • Visiting Assistant Professor at University of Colorado, 2006 – 2007.
  • Research Scientist at LogicBlox, Atlanta, Georgia, 2006 - 2007.
  • Post-doctoral Research Associate at Rice University, 2005 - 2006.
  • Research Assistant at Indiana University, 2000 - 2005.
  • Summer Manager at AT&T Labs–Research, Florham Park, New Jersey, Summer 2001.
  • Intern at Silicon Graphics Inc, Mountain View, California, 1999 - 2000.
Last Name: 
Faculty Scholar
People Category: 
People ID: 

Recent Publications

  • Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy Siek, and Sam Tobin-Hochstadt. Pycket: A Tracing JIT For a Functional Language. In ICFP: International Conference on Functional Programming, September 2015. ACM. [bibtex-entry]

  • Jeremy G. Siek, Peter Thiemann, and Philip Wadler. Blame and coercion: Together again for the first time. In PLDI: Conference on Programming Language Design and Implementation, June 2015. ACM. [bibtex-entry]

  • Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, and John Tang Boyland. Refined Criteria for Gradual Typing. In SNAPL: Summit on Advances in Programming Languages, LIPIcs: Leibniz International Proceedings in Informatics, May 2015. [bibtex-entry]

First Name: