Jeremy G. Siek

99 papers A* 9A 14B 7C 9Misc 2Journal 34Unranked 23

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