default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJeremy G. Siek
Person information
- affiliation: Indiana University, Bloomington, IN, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j15]Tianyu Chen
, Jeremy G. Siek:
Quest Complete: The Holy Grail of Gradual Security. Proc. ACM Program. Lang. 8(PLDI): 1609-1632 (2024)- 2023
- [c60]Jeremy G. Siek:
The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk). CALCO 2023: 4:1-4:1 - [i17]Tianyu Chen, Jeremy G. Siek:
Quest Complete: the Holy Grail of Gradual Security. CoRR abs/2312.02359 (2023) - 2022
- [i16]Tianyu Chen, Jeremy G. Siek:
Mechanized Noninterference for Gradual Security. CoRR abs/2211.15745 (2022) - 2021
- [j14]Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: Together again for the first time. J. Funct. Program. 31: e20 (2021) - [j13]Jeremy G. Siek, Tianyu Chen:
Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi. J. Funct. Program. 31: e30 (2021) - [c59]Tianyu Chen, Jeremy G. Siek:
Mechanized Type Safety for Gradual Information Flow. SP (Workshops) 2021: 194-206 - 2020
- [j12]Wen Kokke, Jeremy G. Siek, Philip Wadler:
Programming language foundations in Agda. Sci. Comput. Program. 194: 102440 (2020) - [c58]Matteo Cimini, Dale Miller, Jeremy G. Siek:
Extrinsically typed operational semantics for functional languages. SLE 2020: 108-125 - [i15]Jeremy G. Siek:
Toward a Mechanized Compendium of Gradual Typing. CoRR abs/2001.11560 (2020)
2010 – 2019
- 2019
- [j11]Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek:
Gradual typing: a new perspective. Proc. ACM Program. Lang. 3(POPL): 16:1-16:32 (2019) - [c57]Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri:
Optimizing and evaluating transient gradual typing. DLS 2019: 28-41 - [c56]Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek:
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL 2019: 8:1-8:12 - [c55]Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek:
Toward efficient gradual typing for structural types via coercions. PLDI 2019: 517-532 - [i14]Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri:
Optimizing and Evaluating Transient Gradual Typing. CoRR abs/1902.07808 (2019) - [i13]Jeremy G. Siek:
Transitivity of Subtyping for Intersection Types. CoRR abs/1906.09709 (2019) - 2018
- [c54]David Broman, Jeremy G. Siek:
Gradually typed symbolic expressions. PEPM 2018: 15-29 - [i12]Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek:
Efficient Gradual Typing. CoRR abs/1802.06375 (2018) - 2017
- [j10]Jeremy G. Siek:
Declarative Semantics for Functional Languages. Arch. Formal Proofs 2017 (2017) - [j9]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): 39:1-39:28 (2017) - [j8]Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt:
Sound gradual typing: only mostly dead. Proc. ACM Program. Lang. 1(OOPSLA): 54:1-54:24 (2017) - [c53]Jeremy G. Siek:
Challenges and progress toward efficient gradual typing (invited talk). DLS 2017: 2 - [c52]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: 762-774 - [c51]Matteo Cimini, Jeremy G. Siek:
Automatically generating the dynamic semantics of gradually typed languages. POPL 2017: 789-803 - [i11]Jeremy G. Siek:
Declarative semantics for functional languages: compositional, extensional, and elementary. CoRR abs/1707.03762 (2017) - 2016
- [c50]Jeremy G. Siek, Sam Tobin-Hochstadt:
The Recursive Union of Some Gradual Types. A List of Successes That Can Change the World 2016: 388-410 - [c49]Matteo Cimini, Jeremy G. Siek:
Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language. PMLDC@ECOOP 2016: 8 - [c48]Matteo Cimini, Jeremy G. Siek:
The gradualizer: a methodology and algorithm for generating gradual type systems. POPL 2016: 443-455 - [i10]Michael M. Vitousek, Jeremy G. Siek:
Gradual Typing in an Open World. CoRR abs/1610.08476 (2016) - [i9]Matteo Cimini, Dale Miller, Jeremy G. Siek:
Well-Typed Languages are Sound. CoRR abs/1611.05105 (2016) - 2015
- [j7]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): 18:1-18:27 (2015) - [c47]Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia:
Monotonic References for Efficient Gradual Typing. ESOP 2015: 432-456 - [c46]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: 22-34 - [c45]Jeremy G. Siek, Peter Thiemann, Philip Wadler:
Blame and coercion: together again for the first time. PLDI 2015: 425-435 - [c44]Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland:
Refined Criteria for Gradual Typing. SNAPL 2015: 274-293 - 2014
- [c43]Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker:
Design and evaluation of gradual typing for python. DLS 2014: 45-56 - [c42]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: 141-155 - [c41]Weiyu Miao, Jeremy G. Siek:
Compile-time reflection and metaprogramming for Java. PEPM 2014: 27-38 - [i8]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) - 2013
- [c40]Christopher Schwaab, Jeremy G. Siek:
Modular type-safety proofs in Agda. PLPV 2013: 3-12 - [i7]Jeremy G. Siek, Michael M. Vitousek:
Monotonic References for Gradual Typing. CoRR abs/1312.0694 (2013) - 2012
- [c39]Justin Emile Gottschlich, Maurice Herlihy, Gilles Pokam, Jeremy G. Siek:
Visualizing transactional memory. PACT 2012: 159-170 - [c38]Jeremy G. Siek, Ronald Garcia:
Interpretations of the gradually-typed lambda calculus. Scheme@ICFP 2012: 68-80 - [c37]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: 276-286 - [c36]Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland:
19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH 2012: 233-234 - [c35]Weiyu Miao, Jeremy G. Siek:
Pattern-based traits. SAC 2012: 1729-1736 - [c34]Erik Silkensen, Jeremy G. Siek:
Well-Typed Islands Parse Faster. Trends in Functional Programming 2012: 69-84 - [i6]Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner:
Effects for Funargs. CoRR abs/1201.0023 (2012) - [i5]Erik Silkensen, Jeremy G. Siek:
Well-typed Islands Parse Faster. CoRR abs/1201.0024 (2012) - [i4]Jeremy G. Siek:
The C++0x "Concepts" Effort. CoRR abs/1201.0027 (2012) - [i3]Geoffrey Belter, Elizabeth R. Jessup, Thomas Nelson, Boyana Norris, Jeremy G. Siek:
Reliable Generation of High-Performance Matrix Algebra. CoRR abs/1205.1098 (2012) - [i2]Christopher Schwaab, Jeremy G. Siek:
Modular Type-Safety Proofs using Dependant Types. CoRR abs/1208.0535 (2012) - 2011
- [j6]Jeremy G. Siek:
Special issue on library-centric software design (LCSD 2006). Sci. Comput. Program. 76(4): 225-226 (2011) - [j5]Jeremy G. Siek, Andrew Lumsdaine:
A language for generic programming in the large. Sci. Comput. Program. 76(5): 423-465 (2011) - [j4]Ian Karlin, Elizabeth R. Jessup, Geoffrey Belter, Jeremy G. Siek:
Parallel memory prediction for fused linear algebra kernels. SIGMETRICS Perform. Evaluation Rev. 38(4): 43-49 (2011) - [c33]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: 319-320 - [c32]Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler:
Blame for all. POPL 2011: 201-214 - [e3]Siau-Cheng Khoo, Jeremy G. Siek:
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. ACM 2011, ISBN 978-1-4503-0485-6 [contents] - 2010
- [c31]Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek:
An efficient software transactional memory using commit-time invalidation. CGO 2010: 101-110 - [c30]Weiyu Miao, Jeremy G. Siek:
Incremental type-checking for type-reflective metaprograms. GPCE 2010: 167-176 - [c29]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: 285-286 - [c28]Jeremy G. Siek:
General purpose languages should be metalanguages. PEPM 2010: 3-4 - [c27]Jeremy G. Siek, Philip Wadler:
Threesomes, with and without blame. POPL 2010: 365-376 - [c26]Jeremy G. Siek:
The C++0x "Concepts" Effort. SSGIP 2010: 175-216 - [c25]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 2010: 1873-1881
2000 – 2009
- 2009
- [c24]Justin Emile Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, Daniel A. Connors:
An efficient lock-aware transactional memory implementation. ICOOOLPS@ECOOP 2009: 10-17 - [c23]Jeremy G. Siek, Philip Wadler:
Threesomes, with and without blame. STOP@ECOOP 2009: 34-46 - [c22]Jeremy G. Siek, Ronald Garcia, Walid Taha:
Exploring the Design Space of Higher-Order Casts. ESOP 2009: 17-31 - [c21]Boyana Norris, Albert Hartono, Elizabeth R. Jessup, Jeremy G. Siek:
Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes. ICCS (1) 2009: 248-258 - [c20]Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek:
In Pursuit of Real Answers. ICESS 2009: 115-122 - [c19]Geoffrey Belter, Elizabeth R. Jessup, Ian Karlin, Jeremy G. Siek:
Automating the generation of composed linear algebra kernels. SC 2009 - [e2]Jeremy G. Siek, Bernd Fischer:
Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings. ACM 2009, ISBN 978-1-60558-494-2 [contents] - 2008
- [c18]Jeremy G. Siek, Manish Vachharajani:
Gradual typing with unification-based inference. DLS 2008: 7 - [c17]Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup:
Build to order linear algebra kernels. IPDPS 2008: 1-8 - [e1]Yannis Smaragdakis, Jeremy G. Siek:
Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings. ACM 2008, ISBN 978-1-60558-267-2 [contents] - 2007
- [j3]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): 145-205 (2007) - [j2]Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger:
Improving the lazy Krivine machine. High. Order Symb. Comput. 20(3): 271-293 (2007) - [c16]Jeremy G. Siek, Walid Taha:
Gradual Typing for Objects. ECOOP 2007: 2-27 - [c15]Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha:
Concoqtion: indexed types now! PEPM 2007: 112-121 - [i1]Jeremy G. Siek, Andrew Lumsdaine:
A Language for Generic Programming in the Large. CoRR abs/0708.2255 (2007) - 2006
- [c14]Jeremy G. Siek, Walid Taha:
A Semantic Analysis of C++ Templates. ECOOP 2006: 304-327 - [c13]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: 291-310 - [c12]Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek:
LCSD: library-centric software design. OOPSLA Companion 2006: 618 - [c11]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: 272-282 - 2005
- [c10]Jeremy G. Siek, Andrew Lumsdaine:
Language Requirements for Large-Scale Generic Libraries. GPCE 2005: 405-421 - [c9]Jeremy G. Siek, Andrew Lumsdaine:
Essential language support for generic programming. PLDI 2005: 73-84 - 2004
- [c8]Jeremy G. Siek:
Modular generics. OOPSLA Companion 2004: 54-55 - 2003
- [c7]Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock:
A comparative study of language support for generic programming. OOPSLA 2003: 115-134 - 2002
- [b1]Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine:
The Boost Graph Library - User Guide and Reference Manual. C++ in-depth series, Pearson / Prentice Hall 2002, ISBN 978-0-201-72914-6, pp. I-XXIV, 1-321 - [c6]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
1990 – 1999
- 1999
- [j1]Jeremy G. Siek, Andrew Lumsdaine:
The Matrix Template Library: generic components for high-performance scientific computing. Comput. Sci. Eng. 1(6): 70-71 (1999) - [c5]Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine:
Generic Graph Algorithms for Sparse Matrix Ordering. ISCOPE 1999: 120-129 - [c4]Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine:
The Generic Graph Component Library. OOPSLA 1999: 399-414 - 1998
- [c3]Jeremy G. Siek, Andrew Lumsdaine:
The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra. ECOOP Workshops 1998: 466-467 - [c2]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: 468-469 - [c1]Jeremy G. Siek, Andrew Lumsdaine:
The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra. ISCOPE 1998: 59-70
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
