Jeremy G. Siek

According to our database, Jeremy G. Siek authored at least 85 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Quest Complete: the Holy Grail of Gradual Security.

Tianyu Chen, Jeremy G. Siek

CoRR, 2023

The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk).

Jeremy G. Siek

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Mechanized Noninterference for Gradual Security.

Tianyu Chen, Jeremy G. Siek

CoRR, 2022

2021

Blame and coercion: Together again for the first time.

Jeremy G. Siek, Peter Thiemann, Philip Wadler

J. Funct. Program., 2021

Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi.

Jeremy G. Siek, Tianyu Chen

J. Funct. Program., 2021

Mechanized Type Safety for Gradual Information Flow.

Tianyu Chen, Jeremy G. Siek

Proceedings of the IEEE Security and Privacy Workshops, 2021

2020

Programming language foundations in Agda.

Wen Kokke, Jeremy G. Siek, Philip Wadler

Sci. Comput. Program., 2020

Toward a Mechanized Compendium of Gradual Typing.

Jeremy G. Siek

CoRR, 2020

Extrinsically typed operational semantics for functional languages.

Matteo Cimini, Dale Miller, Jeremy G. Siek

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

2019

Gradual typing: a new perspective.

Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek

Proc. ACM Program. Lang., 2019

Transitivity of Subtyping for Intersection Types.

Jeremy G. Siek

CoRR, 2019

Toward efficient gradual typing for structural types via coercions.

Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

A space-efficient call-by-value virtual machine for gradual set-theoretic types.

Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Optimizing and evaluating transient gradual typing.

Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018

Efficient Gradual Typing.

Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek

CoRR, 2018

Gradually typed symbolic expressions.

David Broman, Jeremy G. Siek

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017

Sound gradual typing: only mostly dead.

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., 2017

Theorems for free for free: parametricity, with and without types.

Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler

Proc. ACM Program. Lang., 2017

Declarative semantics for functional languages: compositional, extensional, and elementary.

Jeremy G. Siek

CoRR, 2017

Declarative Semantics for Functional Languages.

Jeremy G. Siek

Arch. Formal Proofs, 2017

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems.

Michael M. Vitousek, Cameron Swords, Jeremy G. Siek

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Automatically generating the dynamic semantics of gradually typed languages.

Matteo Cimini, Jeremy G. Siek

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Challenges and progress toward efficient gradual typing (invited talk).

Jeremy G. Siek

Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017

2016

Gradual Typing in an Open World.

Michael M. Vitousek, Jeremy G. Siek

CoRR, 2016

Well-Typed Languages are Sound.

Matteo Cimini, Dale Miller, Jeremy G. Siek

CoRR, 2016

The gradualizer: a methodology and algorithm for generating gradual type systems.

Matteo Cimini, Jeremy G. Siek

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language.

Matteo Cimini, Jeremy G. Siek

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

The Recursive Union of Some Gradual Types.

Jeremy G. Siek, Sam Tobin-Hochstadt

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Reliable Generation of High-Performance Matrix Algebra.

Thomas Nelson, Geoffrey Belter, Jeremy G. Siek, Elizabeth R. Jessup, Boyana Norris

ACM Trans. Math. Softw., 2015

Refined Criteria for Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Pycket: a tracing JIT for a functional language.

Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Monotonic References for Efficient Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia

Proceedings of the Programming Languages and Systems, 2015

2014

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).

Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama

NII Shonan Meet. Rep., 2014

Compile-time reflection and metaprogramming for Java.

Weiyu Miao, Jeremy G. Siek

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host.

Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Design and evaluation of gradual typing for python.

Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker

Proceedings of the DLS'14, 2014

2013

Monotonic References for Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek

CoRR, 2013

Modular type-safety proofs in Agda.

Christopher Schwaab, Jeremy G. Siek

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2012

Modular Type-Safety Proofs using Dependant Types

Christopher Schwaab, Jeremy G. Siek

CoRR, 2012

Effects for Funargs

Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner

CoRR, 2012

Well-Typed Islands Parse Faster.

Erik Silkensen, Jeremy G. Siek

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Pattern-based traits.

Weiyu Miao, Jeremy G. Siek

Proceedings of the ACM Symposium on Applied Computing, 2012

19th international workshop on foundations of object-oriented languages (FOOL'12).

Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland

Proceedings of the SPLASH'12, 2012

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.

Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Interpretations of the gradually-typed lambda calculus.

Jeremy G. Siek, Ronald Garcia

Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

Visualizing transactional memory.

Justin Emile Gottschlich, Maurice Herlihy, Gilles Pokam, Jeremy G. Siek

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011

Parallel memory prediction for fused linear algebra kernels.

Ian Karlin, Elizabeth R. Jessup, Geoffrey Belter, Jeremy G. Siek

SIGMETRICS Perform. Evaluation Rev., 2011

A language for generic programming in the large.

Jeremy G. Siek, Andrew Lumsdaine

Sci. Comput. Program., 2011

Special issue on library-centric software design (LCSD 2006).

Jeremy G. Siek

Sci. Comput. Program., 2011

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary.

Jonathan Aldrich, Jeremy G. Siek, Elena Zucca

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Understanding memory effects in the automated generation of optimized matrix algebra kernels.

Elizabeth R. Jessup, Ian Karlin, Erik Silkensen, Geoffrey Belter, Jeremy G. Siek

Proceedings of the International Conference on Computational Science, 2010

The C++0x "Concepts" Effort.

Jeremy G. Siek

Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Threesomes, with and without blame.

Jeremy G. Siek, Philip Wadler

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

General purpose languages should be metalanguages.

Jeremy G. Siek

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary.

Jonathan Aldrich, Jeremy G. Siek

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Incremental type-checking for type-reflective metaprograms.

Weiyu Miao, Jeremy G. Siek

Proceedings of the Generative Programming And Component Engineering, 2010

An efficient software transactional memory using commit-time invalidation.

Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek

Proceedings of the CGO 2010, 2010

2009

Automating the generation of composed linear algebra kernels.

Geoffrey Belter, Elizabeth R. Jessup, Ian Karlin, Jeremy G. Siek

Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

In Pursuit of Real Answers.

Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek

Proceedings of the International Conference on Embedded Software and Systems, 2009

Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes.

Boyana Norris, Albert Hartono, Elizabeth R. Jessup, Jeremy G. Siek

Proceedings of the Computational Science, 2009

Exploring the Design Space of Higher-Order Casts.

Jeremy G. Siek, Ronald Garcia, Walid Taha

Proceedings of the Programming Languages and Systems, 2009

An efficient lock-aware transactional memory implementation.

Justin Emile Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, Daniel A. Connors

Proceedings of the 4th workshop on the Implementation, 2009

2008

Build to order linear algebra kernels.

Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Gradual typing with unification-based inference.

Jeremy G. Siek, Manish Vachharajani

Proceedings of the 2008 Symposium on Dynamic Languages, 2008

2007

Improving the lazy Krivine machine.

Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger

High. Order Symb. Comput., 2007

An extended comparative study of language support for generic programming.

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock

J. Funct. Program., 2007

Concoqtion: indexed types now!

Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Gradual Typing for Objects.

Jeremy G. Siek, Walid Taha

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Algorithm specialization in generic programming: challenges of constrained generics in C++.

Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Concepts: linguistic support for generic programming in C++.

Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

LCSD: library-centric software design.

Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A Semantic Analysis of C++ Templates.

Jeremy G. Siek, Walid Taha

Proceedings of the ECOOP 2006, 2006

2005

Essential language support for generic programming.

Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Language Requirements for Large-Scale Generic Libraries.

Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the Generative Programming and Component Engineering, 2005

2004

Modular generics.

Jeremy G. Siek

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003

A comparative study of language support for generic programming.

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

Concept-Based Component Libraries and Optimizing Compilers.

Sibylle Schupp, Douglas P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

The Boost Graph Library - User Guide and Reference Manual.

Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine

C++ in-depth series, Pearson / Prentice Hall, ISBN: 978-0-201-72914-6, 2002

1999

The Matrix Template Library: generic components for high-performance scientific computing.

Jeremy G. Siek, Andrew Lumsdaine

Comput. Sci. Eng., 1999

The Generic Graph Component Library.

Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Generic Graph Algorithms for Sparse Matrix Ordering.

Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the Computing in Object-Oriented Parallel Environments, 1999

1998

The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra.

Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library.

Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra.

Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998