Jeremy G. Siek

Registered user since Thu 26 Jun 2014

Name:Jeremy G. Siek
Bio:

Jeremy Siek is a 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
Research interests:Programming Languages, Gradual Typing, Mechanized Metatheory, Generic Programming

Contributions

POPL 2024 Committee Member in Program Committee within the POPL-track
PLDI 2023 Committee Member of Teaching and Learning Compilers Incrementally within the Tutorials-track
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
VIMPL 2023 Committee Member in Program Committee within the VIMPL 2023-track
CC 2023 Committee Member in Program Committee within the Research Papers-track
ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
DLS 2020 Committee Member in Program Committee within the DLS 2020-track
SAS 2020 Session Chair of 4 (part of SAS)
SLE 2020 Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-track
ECOOP 2020 Committee Member in Program Committee within the Research Papers-track
POPL 2020 Session Chair of Gradual Typing / Language Design (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
WGT 2020 Organizer in Organizing Committee within the WGT-track
Author of Hypercoercions and a Framework for Equivalence of Cast Calculi within the WGT-track
Co-chair in Program Committee within the WGT-track
Author of Space-Efficient Monotonic References within the WGT-track
Session Chair of Coercions (part of WGT)
DLS 2019 Author of Optimizing and Evaluating Transient Gradual Typing within the DLS 2019-track
PLDI 2019 Author of Toward Efficient Gradual Typing for Structural Types via Coercions within the PLDI Research Papers-track
POPL 2019 Author of Gradual Typing: A New Perspective within the Research Papers-track
GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
Scheme 2018 Author of An Efficient Compiler for the Gradually Typed Lambda Calculus within the Scheme 2018-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
PLDI 2018 Committee Member in External Program Committee
Off the Beaten Track 2018 Author of Back to the Future with Denotational Semantics within the Off the Beaten Track 2018-track
PEPM 2018 Author of Gradually Typed Symbolic Expressions within the PEPM 2018-track
DLS 2017 Invited Speaker of Invited talk: Challenges and Progress Toward Efficient Gradual Typing within the DLS 2017-track
SPLASH 2017 Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track
ICFP 2017 Author of Theorems for Free for Free: Parametricity, With and Without Types within the Research Papers-track
POPL 2017 Author 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
SPLASH 2016 ERC member in External Program Committee within the OOPSLA-track
ECOOP 2016 Speaker of Gradual Type Systems within the Summer School-track
STOP 2016 Author 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 2016 Author of Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language within the PMLDC-track
POPL 2016 Author of The Gradualizer: a methodology and algorithm for generating gradual type systems within the Research Papers-track
SPLASH 2015 Committee Member in Program Committee within the OOPSLA-track
STOP 2015 Chair in Program Committee within the STOP-track
Author of Towards Absolutely Efficient Gradually Typed Languages within the STOP-track
PLDI 2015 Author 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
ESOP 2015 Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
PEPM 2015 Committee Member in Program Committee within the PEPM 2015-track
SPLASH 2014 Author 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
DLS Presenter of Design and Evaluation of Gradual Typing for Python within the DLS-track
SPLASH 2013 Committee Member in Program Committee within the GPCE-track
FOOL 2012 Steering Committee Chair in Steering Committee within the FOOL 2012-track
Organizer in Organizers within the FOOL 2012-track
FOOL 2011 Organization Co-chair in Organizing Committee within the FOOL 2011-track
GPCE 2011 Committee Member in Program Committee within the GPCE 2011-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track