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

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

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