2009 |
23 | EE | Jeremy G. Siek,
Ronald Garcia,
Walid Taha:
Exploring the Design Space of Higher-Order Casts.
ESOP 2009: 17-31 |
2008 |
22 | | 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 |
21 | EE | Jeremy G. Siek,
Manish Vachharajani:
Gradual typing with unification-based inference.
DLS 2008: 7 |
20 | EE | Jeremy G. Siek,
Ian Karlin,
Elizabeth R. Jessup:
Build to order linear algebra kernels.
IPDPS 2008: 1-8 |
2007 |
19 | EE | Jeremy G. Siek,
Walid Taha:
Gradual Typing for Objects.
ECOOP 2007: 2-27 |
18 | EE | Seth Fogarty,
Emir Pasalic,
Jeremy G. Siek,
Walid Taha:
Concoqtion: indexed types now!
PEPM 2007: 112-121 |
17 | EE | Jeremy G. Siek,
Andrew Lumsdaine:
A Language for Generic Programming in the Large
CoRR abs/0708.2255: (2007) |
16 | EE | 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) |
15 | EE | 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) |
2006 |
14 | EE | Jeremy G. Siek,
Walid Taha:
A Semantic Analysis of C++ Templates.
ECOOP 2006: 304-327 |
13 | EE | 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 |
12 | EE | Josh Bloch,
Jaakko Järvi,
David R. Musser,
Sibylle Schupp,
Jeremy G. Siek:
LCSD: library-centric software design.
OOPSLA Companion 2006: 618 |
11 | EE | 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 |
2005 |
10 | EE | Jeremy G. Siek,
Andrew Lumsdaine:
Language Requirements for Large-Scale Generic Libraries.
GPCE 2005: 405-421 |
9 | EE | Jeremy G. Siek,
Andrew Lumsdaine:
Essential language support for generic programming.
PLDI 2005: 73-84 |
2004 |
8 | EE | Jeremy G. Siek:
Modular generics.
OOPSLA Companion 2004: 54-55 |
2003 |
7 | EE | 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 |
6 | EE | 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 |
1999 |
5 | | Lie-Quan Lee,
Jeremy G. Siek,
Andrew Lumsdaine:
Generic Graph Algorithms for Sparse Matrix Ordering.
ISCOPE 1999: 120-129 |
4 | EE | Lie-Quan Lee,
Jeremy G. Siek,
Andrew Lumsdaine:
The Generic Graph Component Library.
OOPSLA 1999: 399-414 |
1998 |
3 | EE | Jeremy G. Siek,
Andrew Lumsdaine:
The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra.
ECOOP Workshops 1998: 466-467 |
2 | EE | 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 |
1 | EE | Jeremy G. Siek,
Andrew Lumsdaine:
The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra.
ISCOPE 1998: 59-70 |