Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Jeremy G. Siek

Registered user since Thu 26 Jun 2014

Name: Jeremy G. Siek

Bio: Jeremy Siek is an Associate Professor at Indiana University Bloomington. Jeremy’s areas of research include programming language design, type systems, mechanized theorem proving using proof assistants, and optimizing compilers. Jeremy’s Ph.D. thesis explored foundations for constrained templates, aka the “concepts” proposal for C++. Prior to that, Jeremy developed the Boost Graph Library, a C++ generic library for graph algorithms and data structures. Jeremy post-doc’d at Rice University with Walid Taha with whom he developed the idea of gradual typing: a type system that integrates both dynamic and static typing in the same programming language. Jeremy is currently working on a gradually-typed version of Pytho. In 2009 Jeremy received the NSF CAREER award to fund his project: “Bridging the Gap Between Prototyping and Production”. In 2010 and again in 2015, Jeremy was awarded a Distinguished Visiting Fellowship from the Scottish Informatics & Computer Science Alliance.

Country: United States

Affiliation: Indiana University

Personal website:

Research interests: Programming Languages, Gradual Typing, Generic Programming, High Performance Computing


STOP 2016Author of From Optional to Gradual Typing via Transient Checks within the STOP-track
Author of A Systematic Performance Evaluation of Gradually Typed Functions and References within the STOP-track
Committee Member in Program Committee within the STOP-track
PMLDC 2016Author of Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language within the PMLDC-track
ECOOP 2016Speaker of Gradual Type Systems within the Summer School-track
Show activities from other conferences

ECOOP 2016-profile
View general profile