Jeremy G. Siek

Cited by

	All	Since 2019
Citations	6549	1917
h-index	36	21
i10-index	69	31

460

230

115

345

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202419 51 52 73 90 125 163 200 237 233 336 296 364 286 266 296 407 325 354 336 445 326 372 288 235 251

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andrew LumsdaineUniversity of Washington; Pacific Northwest National LaboratoryVerified email at uw.edu
Walid TahaHalmstad UniversityVerified email at hh.se
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Ronald GarciaUniversity of British ColumbiaVerified email at cs.ubc.ca
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Justin GottschlichFounder, CEO & Chief Scientist, Merly Inc.Verified email at merly.ai
Bjarne StroustrupMrgan Stanley and Columbia UniversityVerified email at stroustrup.com
Ian KarlinLawrence Livermore National LaboratoryVerified email at colorado.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityVerified email at cs.indiana.edu
Carl Friedrich Bolz-TereickHeinrich-Heine-Universität DüsseldorfVerified email at uni-duesseldorf.de
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
John BoylandProfessor of Computer Science, University of Wisconsin-MilwaukeeVerified email at uwm.edu
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Emir PasalicLogicBlox IncVerified email at logicblox.com
Boyana NorrisAssociate Professor, Computer Science, University of OregonVerified email at cs.uoregon.edu
Deyaaeldeen AlmahallawiIndiana UniversityVerified email at indiana.edu
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Spenser BaumanComputer ScienceVerified email at fastmail.com
Tobias PapeHasso-Plattner-Institut, University of PotsdamVerified email at hpi.uni-potsdam.de
Robert Bruce FindlerNorthwestern UniversityVerified email at cs.northwestern.edu

Jeremy G. Siek

Professor of Computer Science, Indiana University

Verified email at indiana.edu - Homepage

Programming Languages Semantics Type Systems Gradual Typing High Performance Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Boost Graph Library: User Guide and Reference Manual, The JG Siek, LQ Lee, A Lumsdaine Pearson Education, 2001	1266	2001
Gradual typing for objects J Siek, W Taha European Conference on Object-Oriented Programming, 2-27, 2007	791	2007
Concepts: linguistic support for generic programming in C++ D Gregor, J Järvi, JG Siek, B Stroustrup, G Dos Reis, A Lumsdaine ACM SIGPLAN Notices 41 (10), 291-310, 2006	303	2006
A comparative study of language support for generic programming R Garcia, J Jarvi, A Lumsdaine, JG Siek, J Willcock Conference on Object-oriented Programing, Systems, Languages, and …, 2003	257*	2003
Refined criteria for gradual typing JG Siek, MM Vitousek, M Cimini, JT Boyland 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015	230	2015
Blame for all A Ahmed, RB Findler, JG Siek, P Wadler Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	182	2011
Design and evaluation of gradual typing for Python MM Vitousek, AM Kent, JG Siek, J Baker Proceedings of the 10th ACM Symposium on Dynamic languages, 45-56, 2014	181	2014
The matrix template library: A generic programming approach to high performance numerical linear algebra JG Siek, A Lumsdaine Computing in Object-Oriented Parallel Environments, 501-501, 1998	171	1998
Concept checking: Binding parametric polymorphism in C++ J Siek, A Lumsdaine First Workshop on C++ Template Programming, 56, 2000	159	2000
Threesomes, with and without blame JG Siek, P Wadler ACM Sigplan Notices 45 (1), 365-376, 2010	153	2010
Gradual typing with unification-based inference JG Siek, M Vachharajani Proceedings of the 2008 symposium on Dynamic languages, 1-12, 2008	127	2008
An extended comparative study of language support for generic programming R Garcia, J Jarvi, A Lumsdaine, J Siek, J Willcock Journal of functional programming 17 (2), 145-205, 2007	107	2007
The matrix template library: Generic components for high-performance scientific computing JG Siek, A Lumsdaine Computing in Science & Engineering 1 (6), 70-71, 1999	98	1999
Automating the generation of composed linear algebra kernels G Belter, ER Jessup, I Karlin, JG Siek Proceedings of the Conference on High Performance Computing Networking …, 2009	94	2009
The generic graph component library LQ Lee, JG Siek, A Lumsdaine ACM SIGPLAN Notices 34 (10), 399-414, 1999	92	1999
Monotonic references for efficient gradual typing JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia Programming Languages and Systems: 24th European Symposium on Programming …, 2015	88	2015
Exploring the design space of higher-order casts J Siek, R Garcia, W Taha Programming Languages and Systems: 18th European Symposium on Programming …, 2009	88	2009
An efficient software transactional memory using commit-time invalidation JE Gottschlich, M Vachharajani, JG Siek Proceedings of the 8th annual IEEE/ACM international symposium on Code …, 2010	84	2010
The gradualizer: a methodology and algorithm for generating gradual type systems M Cimini, JG Siek ACM SIGPLAN Notices 51 (1), 443-455, 2016	80	2016
Big types in little runtime: Open-world soundness and collaborative blame for gradual type systems MM Vitousek, C Swords, JG Siek ACM SIGPLAN Notices 52 (1), 762-774, 2017	79	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors