Jeremy G. Siek

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 30

Top Topics

Functional Language

Top Venues

Proc. ACM Program. Lang.

Publications

Tianyu Chen, Jeremy G. Siek
Quest Complete: The Holy Grail of Gradual Security. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Tianyu Chen, Jeremy G. Siek
Quest Complete: the Holy Grail of Gradual Security. CoRR (2023)
Jeremy G. Siek
The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk). CALCO (2023)
Tianyu Chen, Jeremy G. Siek
Mechanized Noninterference for Gradual Security. CoRR (2022)
Tianyu Chen, Jeremy G. Siek
Mechanized Type Safety for Gradual Information Flow. SP Workshops (2021)
Jeremy G. Siek, Peter Thiemann, Philip Wadler
Blame and coercion: Together again for the first time. J. Funct. Program. 31 (2021)
Jeremy G. Siek, Tianyu Chen
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. J. Funct. Program. 31 (2021)
Wen Kokke, Jeremy G. Siek, Philip Wadler
Programming language foundations in Agda. Sci. Comput. Program. 194 (2020)
Matteo Cimini, Dale Miller, Jeremy G. Siek
Extrinsically typed operational semantics for functional languages. SLE (2020)
Jeremy G. Siek
Toward a Mechanized Compendium of Gradual Typing. CoRR (2020)
Jeremy G. Siek
Transitivity of Subtyping for Intersection Types. CoRR (2019)
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Optimizing and Evaluating Transient Gradual Typing. CoRR (2019)
Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek
Gradual typing: a new perspective. Proc. ACM Program. Lang. 3 (POPL) (2019)
Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek
Toward efficient gradual typing for structural types via coercions. PLDI (2019)
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Optimizing and evaluating transient gradual typing. DLS (2019)
Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL (2019)
Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek
Efficient Gradual Typing. CoRR (2018)
David Broman, Jeremy G. Siek
Gradually typed symbolic expressions. PEPM (2018)
Jeremy G. Siek
Challenges and progress toward efficient gradual typing (invited talk). DLS (2017)
Matteo Cimini, Jeremy G. Siek
Automatically generating the dynamic semantics of gradually typed languages. POPL (2017)
Jeremy G. Siek
Declarative Semantics for Functional Languages. Arch. Formal Proofs 2017 (2017)
Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt
Sound gradual typing: only mostly dead. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Michael M. Vitousek, Cameron Swords, Jeremy G. Siek
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. POPL (2017)
Jeremy G. Siek
Declarative semantics for functional languages: compositional, extensional, and elementary. CoRR (2017)
Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler
Theorems for free for free: parametricity, with and without types. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Matteo Cimini, Jeremy G. Siek
The gradualizer: a methodology and algorithm for generating gradual type systems. POPL (2016)
Jeremy G. Siek, Sam Tobin-Hochstadt
The Recursive Union of Some Gradual Types. A List of Successes That Can Change the World (2016)
Matteo Cimini, Jeremy G. Siek
Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. PMLDC@ECOOP (2016)
Michael M. Vitousek, Jeremy G. Siek
Gradual Typing in an Open World. CoRR (2016)
Matteo Cimini, Dale Miller, Jeremy G. Siek
Well-Typed Languages are Sound. CoRR (2016)
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland
Refined Criteria for Gradual Typing. SNAPL (2015)
Jeremy G. Siek, Peter Thiemann, Philip Wadler
Blame and coercion: together again for the first time. PLDI (2015)
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
Monotonic References for Efficient Gradual Typing. ESOP (2015)
Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt
Pycket: a tracing JIT for a functional language. ICFP (2015)
Thomas Nelson, Geoffrey Belter, Jeremy G. Siek, Elizabeth R. Jessup, Boyana Norris
Reliable Generation of High-Performance Matrix Algebra. ACM Trans. Math. Softw. 41 (3) (2015)
Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7). NII Shonan Meet. Rep. 2014 (2014)
Weiyu Miao, Jeremy G. Siek
Compile-time reflection and metaprogramming for Java. PEPM (2014)
Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. OOPSLA (2014)
Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker
Design and evaluation of gradual typing for python. DLS (2014)
Christopher Schwaab, Jeremy G. Siek
Modular type-safety proofs in Agda. PLPV (2013)
Jeremy G. Siek, Michael M. Vitousek
Monotonic References for Gradual Typing. CoRR (2013)
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. ISSTA (2012)
Weiyu Miao, Jeremy G. Siek
Pattern-based traits. SAC (2012)
Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner
Effects for Funargs CoRR (2012)
Christopher Schwaab, Jeremy G. Siek
Modular Type-Safety Proofs using Dependant Types CoRR (2012)
Jeremy G. Siek, Ronald Garcia
Interpretations of the gradually-typed lambda calculus. Scheme@ICFP (2012)
Erik Silkensen, Jeremy G. Siek
Well-Typed Islands Parse Faster. Trends in Functional Programming (2012)
Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland
19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH (2012)
Erik Silkensen, Jeremy G. Siek
Well-typed Islands Parse Faster CoRR (2012)
Jeremy G. Siek
The C++0x "Concepts" Effort CoRR (2012)
Justin Emile Gottschlich, Maurice Herlihy, Gilles Pokam, Jeremy G. Siek
Visualizing transactional memory. PACT (2012)
Geoffrey Belter, Elizabeth R. Jessup, Thomas Nelson, Boyana Norris, Jeremy G. Siek
Reliable Generation of High-Performance Matrix Algebra CoRR (2012)
Ian Karlin, Elizabeth R. Jessup, Geoffrey Belter, Jeremy G. Siek
Parallel memory prediction for fused linear algebra kernels. SIGMETRICS Perform. Evaluation Rev. 38 (4) (2011)
Jonathan Aldrich, Jeremy G. Siek, Elena Zucca
2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. OOPSLA Companion (2011)
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler
Blame for all. POPL (2011)
Jeremy G. Siek, Andrew Lumsdaine
A language for generic programming in the large. Sci. Comput. Program. 76 (5) (2011)
Jeremy G. Siek
Special issue on library-centric software design (LCSD 2006). Sci. Comput. Program. 76 (4) (2011)
Jeremy G. Siek, Philip Wadler
Threesomes, with and without blame. POPL (2010)
Elizabeth R. Jessup, Ian Karlin, Erik Silkensen, Geoffrey Belter, Jeremy G. Siek
Understanding memory effects in the automated generation of optimized matrix algebra kernels. ICCS (1) (2010)
Jeremy G. Siek
The C++0x "Concepts" Effort. SSGIP (2010)
Weiyu Miao, Jeremy G. Siek
Incremental type-checking for type-reflective metaprograms. GPCE (2010)
Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek
An efficient software transactional memory using commit-time invalidation. CGO (2010)
Jonathan Aldrich, Jeremy G. Siek
2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary. SPLASH/OOPSLA Companion (2010)
Jeremy G. Siek
General purpose languages should be metalanguages. PEPM (2010)
Boyana Norris, Albert Hartono, Elizabeth R. Jessup, Jeremy G. Siek
Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes. ICCS (1) (2009)
Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
In Pursuit of Real Answers. ICESS (2009)
Jeremy G. Siek, Ronald Garcia, Walid Taha
Exploring the Design Space of Higher-Order Casts. ESOP (2009)
Geoffrey Belter, Elizabeth R. Jessup, Ian Karlin, Jeremy G. Siek
Automating the generation of composed linear algebra kernels. SC (2009)
Jeremy G. Siek, Philip Wadler
Threesomes, with and without blame. STOP@ECOOP (2009)
Justin Emile Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, Daniel A. Connors
An efficient lock-aware transactional memory implementation. ICOOOLPS@ECOOP (2009)
Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup
Build to order linear algebra kernels. IPDPS (2008)
Jeremy G. Siek, Manish Vachharajani
Gradual typing with unification-based inference. DLS (2008)
Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha
Concoqtion: indexed types now! PEPM (2007)
Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock
An extended comparative study of language support for generic programming. J. Funct. Program. 17 (2) (2007)
Jeremy G. Siek, Andrew Lumsdaine
A Language for Generic Programming in the Large CoRR (2007)
Jeremy G. Siek, Walid Taha
Gradual Typing for Objects. ECOOP (2007)
Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger
Improving the lazy Krivine machine. High. Order Symb. Comput. 20 (3) (2007)
Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine
Concepts: linguistic support for generic programming in C++. OOPSLA (2006)
Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek
Algorithm specialization in generic programming: challenges of constrained generics in C++. PLDI (2006)
Jeremy G. Siek, Walid Taha
A Semantic Analysis of C++ Templates. ECOOP (2006)
Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek
LCSD: library-centric software design. OOPSLA Companion (2006)
Jeremy G. Siek, Andrew Lumsdaine
Essential language support for generic programming. PLDI (2005)
Jeremy G. Siek, Andrew Lumsdaine
Language Requirements for Large-Scale Generic Libraries. GPCE (2005)
Jeremy G. Siek
Modular generics. OOPSLA Companion (2004)
Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock
A comparative study of language support for generic programming. OOPSLA (2003)
Sibylle Schupp, Douglas P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine
Concept-Based Component Libraries and Optimizing Compilers. IPDPS (2002)
Jeremy G. Siek, Andrew Lumsdaine
The Matrix Template Library: generic components for high-performance scientific computing. Comput. Sci. Eng. 1 (6) (1999)
Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
The Generic Graph Component Library. OOPSLA (1999)
Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
Generic Graph Algorithms for Sparse Matrix Ordering. ISCOPE (1999)
Jeremy G. Siek, Andrew Lumsdaine
The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra. ECOOP Workshops (1998)
Jeremy G. Siek, Andrew Lumsdaine
A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library. ECOOP Workshops (1998)
Jeremy G. Siek, Andrew Lumsdaine
The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra. ISCOPE (1998)