Jeremy G. Siek

Christopher Schwaab, Jeremy G. Siek: Modular type-safety proofs in Agda. PLPV 2013: 3-12

Justin Emile Gottschlich, Maurice Herlihy, Gilles Pokam, Jeremy G. Siek: Visualizing transactional memory. PACT 2012: 159-170

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

Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland: 19th international workshop on foundations of object-oriented languages (FOOL'12). SPLASH 2012: 233-234

Weiyu Miao, Jeremy G. Siek: Pattern-based traits. SAC 2012: 1729-1736

Jeremy G. Siek, Michael M. Vitousek, Jonathan D. Turner: Effects for Funargs. CoRR abs/1201.0023 (2012)

Erik Silkensen, Jeremy G. Siek: Well-typed Islands Parse Faster. CoRR abs/1201.0024 (2012)

Jeremy G. Siek: The C++0x "Concepts" Effort. CoRR abs/1201.0027 (2012)

Geoffrey Belter, Elizabeth R. Jessup, Thomas Nelson, Boyana Norris, Jeremy G. Siek: Reliable Generation of High-Performance Matrix Algebra. CoRR abs/1205.1098 (2012)

Christopher Schwaab, Jeremy G. Siek: Modular Type-Safety Proofs using Dependant Types. CoRR abs/1208.0535 (2012)

Jeremy G. Siek: Special issue on library-centric software design (LCSD 2006). Sci. Comput. Program. 76(4): 225-226 (2011)

Jeremy G. Siek, Andrew Lumsdaine: A language for generic programming in the large. Sci. Comput. Program. 76(5): 423-465 (2011)

Ian Karlin, Elizabeth R. Jessup, Geoffrey Belter, Jeremy G. Siek: Parallel memory prediction for fused linear algebra kernels. SIGMETRICS Performance Evaluation Review 38(4): 43-49 (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: 319-320

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler: Blame for all. POPL 2011: 201-214

Siau-Cheng Khoo, Jeremy G. Siek (Eds.): 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

Elizabeth R. Jessup, Ian Karlin, Erik Silkensen, Geoffrey Belter, Jeremy G. Siek: Understanding memory effects in the automated generation of optimized matrix algebra kernels. Procedia CS 1(1): 1873-1881 (2010)

Justin Emile Gottschlich, Manish Vachharajani, Jeremy G. Siek: An efficient software transactional memory using commit-time invalidation. CGO 2010: 101-110

Weiyu Miao, Jeremy G. Siek: Incremental type-checking for type-reflective metaprograms. GPCE 2010: 167-176

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

Jeremy G. Siek: General purpose languages should be metalanguages. PEPM 2010: 3-4

Jeremy G. Siek, Philip Wadler: Threesomes, with and without blame. POPL 2010: 365-376

Jeremy G. Siek: The C++0x "Concepts" Effort. SSGIP 2010: 175-216

Jeremy G. Siek, Ronald Garcia, Walid Taha: Exploring the Design Space of Higher-Order Casts. ESOP 2009: 17-31

Boyana Norris, Albert Hartono, Elizabeth R. Jessup, Jeremy G. Siek: Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes. ICCS (1) 2009: 248-258

Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek: In Pursuit of Real Answers. ICESS 2009: 115-122

Geoffrey Belter, Elizabeth R. Jessup, Ian Karlin, Jeremy G. Siek: Automating the generation of composed linear algebra kernels. SC 2009

Jeremy G. Siek, Bernd Fischer (Eds.): 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

Jeremy G. Siek, Manish Vachharajani: Gradual typing with unification-based inference. DLS 2008: 7

Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup: Build to order linear algebra kernels. IPDPS 2008: 1-8

Yannis Smaragdakis, Jeremy G. Siek (Eds.): 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

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)

Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger: Improving the lazy Krivine machine. Higher-Order and Symbolic Computation 20(3): 271-293 (2007)

Jeremy G. Siek, Walid Taha: Gradual Typing for Objects. ECOOP 2007: 2-27

Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha: Concoqtion: indexed types now! PEPM 2007: 112-121

Jeremy G. Siek, Andrew Lumsdaine: A Language for Generic Programming in the Large. CoRR abs/0708.2255 (2007)

Jeremy G. Siek, Walid Taha: A Semantic Analysis of C++ Templates. ECOOP 2006: 304-327

Douglas 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

Josh Bloch, Jaakko Järvi, David R. Musser, Sibylle Schupp, Jeremy G. Siek: LCSD: library-centric software design. OOPSLA Companion 2006: 618

Jaakko Järvi, Douglas Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek: Algorithm specialization in generic programming: challenges of constrained generics in C++. PLDI 2006: 272-282

Jeremy G. Siek, Andrew Lumsdaine: Language Requirements for Large-Scale Generic Libraries. GPCE 2005: 405-421

Jeremy G. Siek, Andrew Lumsdaine: Essential language support for generic programming. PLDI 2005: 73-84

Jeremy G. Siek: Modular generics. OOPSLA Companion 2004: 54-55

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

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

Sibylle Schupp, D. P. Gregor, B. Osman, David R. Musser, Jeremy G. Siek, Lie-Quan Lee, Andrew Lumsdaine: Concept-Based Component Libraries and Optimizing Compilers. IPDPS 2002

Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine: Generic Graph Algorithms for Sparse Matrix Ordering. ISCOPE 1999: 120-129

Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine: The Generic Graph Component Library. OOPSLA 1999: 399-414

Jeremy G. Siek, Andrew Lumsdaine: The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra. ECOOP Workshops 1998: 466-467

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

Jeremy G. Siek, Andrew Lumsdaine: The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra. ISCOPE 1998: 59-70