Jeremy G. Siek

4.0k total citations
88 papers, 1.9k citations indexed

About

Jeremy G. Siek is a scholar working on Artificial Intelligence, Information Systems and Hardware and Architecture. According to data from OpenAlex, Jeremy G. Siek has authored 88 papers receiving a total of 1.9k indexed citations (citations by other indexed papers that have themselves been cited), including 61 papers in Artificial Intelligence, 39 papers in Information Systems and 32 papers in Hardware and Architecture. Recurrent topics in Jeremy G. Siek's work include Logic, programming, and type systems (55 papers), Software Engineering Research (34 papers) and Parallel Computing and Optimization Techniques (30 papers). Jeremy G. Siek is often cited by papers focused on Logic, programming, and type systems (55 papers), Software Engineering Research (34 papers) and Parallel Computing and Optimization Techniques (30 papers). Jeremy G. Siek collaborates with scholars based in United States, United Kingdom and Germany. Jeremy G. Siek's co-authors include Andrew Lumsdaine, Lie‐Quan Lee, Philip Wadler, Jaakko Järvi, Michael M. Vitousek, Matteo Cimini, Amal Ahmed, Jeremiah Willcock, Manish Vachharajani and Ronald Garcia and has published in prestigious journals such as ACM Transactions on Mathematical Software, ACM SIGPLAN Notices and ACM SIGMETRICS Performance Evaluation Review.

In The Last Decade

Jeremy G. Siek

84 papers receiving 1.8k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Jeremy G. Siek United States 24 1.3k 744 558 418 381 88 1.9k
Alexander Romanovsky United Kingdom 20 798 0.6× 890 1.2× 268 0.5× 265 0.6× 1.1k 2.9× 264 2.0k
David R. Musser United States 19 1.1k 0.9× 385 0.5× 281 0.5× 623 1.5× 398 1.0× 61 1.6k
Richard Bird United Kingdom 18 1.3k 1.0× 237 0.3× 429 0.8× 788 1.9× 398 1.0× 64 1.7k
Sorin Lerner United States 25 1.4k 1.1× 824 1.1× 811 1.5× 546 1.3× 566 1.5× 93 2.4k
Bill Joy United States 8 2.2k 1.7× 1.1k 1.5× 1.2k 2.2× 640 1.5× 1.4k 3.8× 9 3.5k
Shmuel Katz Israel 22 780 0.6× 383 0.5× 217 0.4× 458 1.1× 590 1.5× 84 1.6k
Samuel P. Midkiff United States 28 770 0.6× 886 1.2× 1.5k 2.7× 215 0.5× 1.7k 4.4× 103 3.0k
Kai Lü China 19 1.2k 0.9× 254 0.3× 191 0.3× 434 1.0× 323 0.8× 130 1.7k
Brenda S. Baker United States 22 671 0.5× 831 1.1× 238 0.4× 821 2.0× 700 1.8× 44 3.0k
Scott A. Smolka United States 22 964 0.7× 200 0.3× 270 0.5× 1.2k 2.8× 523 1.4× 147 1.9k

Countries citing papers authored by Jeremy G. Siek

Since Specialization
Citations

This map shows the geographic impact of Jeremy G. Siek's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jeremy G. Siek with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jeremy G. Siek more than expected).

Fields of papers citing papers by Jeremy G. Siek

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jeremy G. Siek. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jeremy G. Siek. The network helps show where Jeremy G. Siek may publish in the future.

Co-authorship network of co-authors of Jeremy G. Siek

This figure shows the co-authorship network connecting the top 25 collaborators of Jeremy G. Siek. A scholar is included among the top collaborators of Jeremy G. Siek based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jeremy G. Siek. Jeremy G. Siek is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Cimini, Matteo & Jeremy G. Siek. (2017). Automatically generating the dynamic semantics of gradually typed languages. ACM SIGPLAN Notices. 52(1). 789–803. 4 indexed citations
2.
Broman, David & Jeremy G. Siek. (2017). Gradually typed symbolic expressions. KTH Publication Database DiVA (KTH Royal Institute of Technology). 15–29. 4 indexed citations
3.
Siek, Jeremy G., et al.. (2017). Sound gradual typing: only mostly dead. Proceedings of the ACM on Programming Languages. 1(OOPSLA). 1–24. 16 indexed citations
4.
Cimini, Matteo & Jeremy G. Siek. (2016). The gradualizer: a methodology and algorithm for generating gradual type systems. ACM SIGPLAN Notices. 51(1). 443–455. 5 indexed citations
5.
Vitousek, Michael M., et al.. (2014). Design and evaluation of gradual typing for python. 45–56. 60 indexed citations
7.
Karlin, Ian, et al.. (2011). Parallel memory prediction for fused linear algebra kernels. ACM SIGMETRICS Performance Evaluation Review. 38(4). 43–49. 5 indexed citations
8.
Gottschlich, Justin, Jeremy G. Siek, & Manish Vachharajani. (2010). Proving Conflict Serializability for Full Invalidation ∗. 1 indexed citations
9.
Siek, Jeremy G., et al.. (2010). Incremental type-checking for type-reflective metaprograms. 167–176. 9 indexed citations
10.
Siek, Jeremy G. & Manish Vachharajani. (2008). Gradual typing with unification-based inference. 1–12. 51 indexed citations
11.
Siek, Jeremy G. & Andrew Lumsdaine. (2008). A language for generic programming in the large. Science of Computer Programming. 76(5). 423–465. 13 indexed citations
12.
Siek, Jeremy G., Ian Karlin, & Elizabeth R. Jessup. (2008). Build to order linear algebra kernels. Proceedings - IEEE International Parallel and Distributed Processing Symposium. 1–8. 25 indexed citations
13.
Willcock, Jeremiah, Jeremy G. Siek, & Andrew Lumsdaine. (2007). Caramel: A Concept Representation System for Generic Programming.
14.
Gregor, Douglas, Jaakko Järvi, Jeremy G. Siek, et al.. (2006). Concepts. 291–310. 118 indexed citations
15.
Bloch, Joshua, Jaakko Järvi, David R. Musser, Sibylle Schupp, & Jeremy G. Siek. (2006). Library-Centric Software Design. Chalmers Publication Library (Chalmers University of Technology). 2 indexed citations
16.
Siek, Jeremy G. & Andrew Lumsdaine. (2005). Essential language support for generic programming. 73–84. 26 indexed citations
17.
Siek, Jeremy G. & Andrew Lumsdaine. (2005). Essential language support for generic programming. ACM SIGPLAN Notices. 40(6). 73–84. 32 indexed citations
18.
Siek, Jeremy G., Lie‐Quan Lee, & Andrew Lumsdaine. (2002). The Boost graph library : user guide and reference manual. CERN Document Server (European Organization for Nuclear Research). 380 indexed citations
19.
Gregor, Shirley, et al.. (2002). Concept-based component libraries and optimizing compilers. 1?3. 8 pp–8 pp. 2 indexed citations
20.
Siek, Jeremy G.. (2001). An Implementation of Graph Isomorphism Testing. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026