102 Publications (Page 4 of 5)
2009
Threesomes, with and without blame
Siek, J.G. and Wadler, P.
Proceedings for the 1st Workshop on Script to Program Evolution, STOP’09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP’09, pp. 34-46. | Conference Proceeding
2008
Build to order linear algebra kernels
Siek, J.G.⋅Karlin, I. and Jessup, E.R.
IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM. | Conference Proceeding
 
GPCE’08: Proceedings of the ACM SIGPLAN 7th International Conference on Generative Programming and Component Engineering: Foreword
Smaragdakis, Y. and Siek, J.
GPCE’08: Proceedings of the ACM SIGPLAN 7th International Conference on Generative Programming and Component Engineering. | Conference Proceeding
 
Gradual typing with unification-based inference
Siek, J.G. and Vachharajani, M.
DLS’08: Proceedings of the 2008 Symposium on Dynamic Languages. | Conference Proceeding
 
LCSD 2007 - Proceedings of the 2007 ACM SIGPLAN Symposium on Library-Centric Software Design: Preface
Siek, J.G. and Tip, F.
LCSD 2007 - Proceedings of the 2007 ACM SIGPLAN Symposium on Library-Centric Software Design. | Conference Proceeding
2007
An extended comparative study of language support for generic programming
Garcia, Ronald⋅Garcia, R.⋅Järvi, Jaakko⋅J?arvi, J.⋅Lumsdaine, Andrew⋅Lumsdaine, A.⋅Siek, Jeremy G⋅Siek, J.⋅Willcock, J. and WILLCOCK, JEREMIAH
Journal of Functional Programming, vol. 17, pp. 145-205. | Journal Article
 
Concoqtion: Indexed types now!
Fogarty, Seth⋅Fogarty, S.⋅Pasalic, E.⋅Pasalic, Emir⋅Siek, Jeremy G⋅Siek, J.⋅Taha, Walid and Taha, W.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 112-121. | Conference Proceeding
 
Gradual typing for objects
Siek, J. and Taha, W.
2007
 
Improving the lazy Krivine machine
Friedman, Daniel⋅Friedman, Daniel⋅Friedman, D.P.⋅Ghuloum, Abdulaziz⋅Ghuloum, Abdulaziz⋅Ghuloum, A.⋅Siek, Jeremy⋅Siek, J.G.⋅Siek, Jeremy⋅Winebarger, Onnie⋅Winebarger, O.L. and Winebarger, Onnie
Higher-Order and Symbolic Computation, vol. 20, pp. 271-293. | Journal Article
2006
Algorithm specialization in generic programming challenges of constrained generics in C++
Järvi, J.⋅Gregor, D.⋅Willcock, J.⋅Lumsdaine, A. and Siek, J.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), vol. 2006, pp. 272-282. | Conference Proceeding
 
Algorithm specialization in generic programming challenges of constrained generics in C++
Järvi, J.⋅Järvi, Jaakko⋅Järvi, Jaakko⋅Gregor, D.⋅Gregor, Douglas⋅Gregor, Douglas⋅Willcock, J.⋅Willcock, Jeremiah⋅Willcock, Jeremiah⋅Lumsdaine, Andrew⋅Lumsdaine, A.⋅Lumsdaine, Andrew⋅Siek, J.⋅Siek, Jeremy and Siek, Jeremy
ACM SIGPLAN Notices, vol. 41, pp. 272-282. | Journal Article
 
A semantic analysis of C++ templates
Siek, J. and Taha, W.
2006
 
Concepts: Linguistic support for generic programming in C++
Gregor, D.⋅Gregor, Douglas⋅Järvi, Jaakko⋅Järvi, J.⋅Siek, Jeremy G⋅Siek, J.⋅Stroustrup, Bjarne⋅Stroustrup, B.⋅Dos Reis, G.⋅Dos Reis, Gabriel⋅Lumsdaine, A. and Lumsdaine, Andrew
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, vol. 2006, pp. 291-310. | Conference Proceeding
 
Concepts: Linguistic support for generic programming in C++
Gregor, Douglas⋅Gregor, D.⋅Gregor, Douglas⋅Stroustrup, B.⋅Järvi, Jaakko⋅Järvi, Jaakko⋅Järvi, J.⋅Siek, Jeremy⋅Siek, Jeremy⋅Stroustrup, Bjarne⋅Reis, G.D.⋅Stroustrup, Bjarne⋅Siek, J.⋅Dos Reis, Gabriel⋅Dos Reis, Gabriel⋅Lumsdaine, Andrew⋅Lumsdaine, A. and Lumsdaine, Andrew
ACM SIGPLAN Notices, vol. 41, pp. 291-310. | Journal Article
 
LCSD: Library-centric software design
Bloch, Josh⋅Bloch, J.⋅Jaarvi, Jaakko⋅Jäarvi, J.⋅Musser, D.⋅Musser, David⋅Schupp, Sibylle⋅Schupp, S.⋅Siek, J. and Siek, Jeremy G
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, vol. 2006. | Conference Proceeding
2005
Essential language support for generic programming
Siek, J.⋅Siek, Jeremy G⋅Lumsdaine, A. and Lumsdaine, Andrew
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 73-84. | Conference Proceeding
 
Essential language support for generic programming
Siek, Jeremy G⋅Siek, J.⋅Lumsdaine, A. and Lumsdaine, Andrew
ACM SIGPLAN Notices, vol. 40, pp. 73-84. | Journal Article
 
Language requirements for large-scale generic libraries
Siek, J. and Lumsdaine, A.
2005
2004
Modular generics
Siek, Jeremy G and Siek, J.
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, pp. 54-55. | Conference Proceeding
2003
A comparative study of language support for generic programming
Garcia, Ronald⋅Garcia, R.⋅Järvi, Jaakko⋅Järvi, J.⋅Lumsdaine, Andrew⋅Lumsdaine, A.⋅Siek, Jeremy G⋅Siek, J.⋅Willcock, J. and Willcock, Jeremiah
ACM SIGPLAN Notices, vol. 38, pp. 115-134. | Journal Article
2002
Concept-based component libraries and optimizing compilers
Schupp, S.⋅Gregor, S.D.P.⋅Osman, B.⋅Musser, D.R.⋅Siek, J.G.⋅Lee, L.-Q. and Lumsdaine, A.
Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2002, pp. 174-181. | Conference Proceeding
1999
Generic graph algorithms for sparse matrix ordering
Lee, L.-Q.⋅Siek, J.G. and Lumsdaine, A.
1999
 
Generic graph component library
Lee, Lie-Quan⋅Lee, Lie-Quan⋅Siek, Jeremy G.⋅Siek, Jeremy G⋅Lumsdaine, Andrew and Lumsdaine, Andrew
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, vol. 34, pp. 399-414. | Conference Proceeding
 
The generic graph component library
Lee, L.-Q.⋅Siek, J.G. and Lumsdaine, A.
SIGPLAN Notices (ACM Special Interest Group on Programming Languages), vol. 34, pp. 399-414. | Journal Article
1998
A rational approach to portable high performance: The basic linear algebra nstruction set (BLAIS) and the fixed algorithm size template (FAST) library
Siek, J.G. and Lumsdaine, A.
1998