Jeremy G. Siek

Artificial Intelligence · 2001–2019

A researcher in the Science corpus: 6 papers; trusts 6 researchers and is trusted by 55 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 19 citations into it; #4,751 of 35,345 by trust here, #11,192 by citations
• Computational Theory and Mathematics — 13 citations into it; #1,695 of 12,182 by trust here, #3,924 by citations
• Information Systems — 11 citations into it; #2,041 of 8,771 by trust here, #3,761 by citations
• Program Analysis & Verification — 10 citations into it; #20 of 301 by trust here, #52 by citations
• Software Engineering — 7 citations into it; #3 of 113 by trust here, #2 by citations
• Hardware and Architecture — 5 citations into it; #278 of 1,551 by trust here, #642 by citations

Whom Jeremy G. Siek trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Cormac Flanagan
2. Walid Taha
3. Matthias Felleisen
4. Sam Tobin-Hochstadt
5. Atsushi Igarashi
6. Benjamin C. Pierce
7. Richard Kelsey

Who trusts Jeremy G. Siek overall

1. Ronald Garcia
2. Michael Furr
3. Yusuke Miyazaki
4. John Peter Campora III
5. Mauricio Cassola
6. Giuseppe Castagna
7. Michael M. Vitousek
8. Ming-Ho Yee
9. Aseem Rastogi
10. Steven S. Skiena

Papers from Jeremy G. Siek's perspective

Ordered by how strongly the researchers Jeremy G. Siek trusts endorse each paper. Same corpus, a different order for every researcher.

1. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
2. Gradual Typing for Functional Languages
3. The Design and Implementation of Typed Scheme: From Scripts to Programs
4. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
5. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
6. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
7. Gradual typing with unification-based inference
8. The ins and outs of gradual type inference
9. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
10. TeJaS: retrofitting type systems for JavaScript

Their papers

• Gradual Typing for Objects (2007) — 439 citations
• Gradual typing: a new perspective (2019) — 52 citations
• Design and evaluation of gradual typing for python (2014) — 143 citations
• Gradual typing with unification-based inference (2008) — 81 citations
• Gradual Typing for Functional Languages (2006)
• The Boost Graph Library - User Guide and Reference Manual (2001) — 794 citations