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 where 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 several open questions regarding gradual typing. Is the polymorphic blame calculus really parametric? How should gradual typing be combined with other features such as dependent types? What is the formal criteria for gradually typed languages? Is it possible to create a high-performance implementation of a gradually-typed languages? 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, USA

Personal website: http://homes.soic.indiana.edu/jsiek/

Research interests: Programming Languages, Gradual Typing, Mechanized Metatheory, Generic Programming

Contributions

POPL 2019Author of Gradual Typing: A New Perspective within the Research Papers-track
Scheme 2018Author of An Efficient Compiler for the Gradually Typed Lambda Calculus within the Scheme 2018-track
GPCE 2018Committee Member in Program Committee within the GPCE 2018-track
Off the Beaten Track 2018Author of Back to the Future with Denotational Semantics within the Off the Beaten Track 2018-track
PEPM 2018Author of Gradually Typed Symbolic Expressions within the PEPM 2018-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
DLS 2017invited speaker of Invited talk: Challenges and Progress Toward Efficient Gradual Typing within the DLS 2017-track
PLDI 2018Committee Member in External Program Committee
ICFP 2017Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track
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
POPL 2017Author of The State of the Art in Gradual Typing within the Tutorials-track
Author of Automatically Generating the Dynamic Semantics of Gradually Typed Languages within the POPL-track
Author of Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System within the POPL-track
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
SPLASH 2017Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track
ECOOP 2016Speaker of Gradual Type Systems within the Summer School-track
SPLASH 2016ERC member in External Program Committee within the OOPSLA-track
POPL 2016Author of The Gradualizer: a methodology and algorithm for generating gradual type systems within the Research Papers-track
STOP 2015Chair in Program Committee within the STOP-track
Author of Towards Absolutely Efficient Gradually Typed Languages within the STOP-track
ESOP 2015Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
PLDI 2015Author of Blame and coercion: Together again for the first time within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
DLSPresenter of Design and Evaluation of Gradual Typing for Python within the DLS-track
SPLASH 2014Author of Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host within the OOPSLA-track
Presenter of Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host within the OOPSLA Artifacts-track
SPLASH 2013Committee Member in Program Committee within the GPCE-track
FOOL 2012Steering Committee Chair in Steering Committee within the FOOL 2012-track
Organizer in Organizers within the FOOL 2012-track