Picture of Jeremy Siek

Jeremy G. Siek
Assistant Professor
Dept. of Electrical and Computer Engineering
University of Colorado at Boulder

Office: ECOT 349
Vita
PGP Public Key

Katie & Jeremy
         Home         Research         Publications         
 

In August '07 I joined the faculty of the Dept. of Electrical and Computer Engineering at Boulder as an Assistant Professor. I am also jointly appointed with the Dept. of Computer Science.

New papers
  • Space-Efficient Blame Tracking for Gradual Types. Submitted. [pdf][Isabelle proof of type safety][OCaml implementation and Isabelle files]
  • Gradual Typing with Unification-based Inference. Technical Report. [pdf][bib]
  • Build to Order Linear Algebra Kernels [pdf][bib]. Accepted for the Workshop on Performance Optimization of High-level Languages and Libraries (POHLL'08).
  • A Language for Generic Programming in the Large. arXiv (submitted to the Science of Computer Programming) (extended version of GPCE'05 paper)
  • An extended comparative study of language support for generic programming. Journal of Functional Programming. Vol. 17, Issue 2, March 2007. [pdf] [bib]
  • Gradual Typing for Objects. ECOOP 2007. [pdf] [bib]
  • Gradual Typing for Objects: Isabelle Formalization. Technical report. [pdf] [bib]
  • Concoqtion: Indexed Types Now! PEPM 2007. [pdf] [bib]
Teaching Students
  • Joe Angell (Gradual Typing)
  • Weiyu Miao (Generic Programming, Metaprogramming)
  • Geoffrey Belter (High-level optimization of linear algebra and Datalog)
  • Ian Karlin (Memory-efficient linear algebra)

Interesting Quotes

If you can't solve a problem, then there's an easier problem you can solve: find it. - George Polya
Writing is best done by coinduction! - Lynn Winebarger