Concepedia

Jeremy G. Siek

JG

Statistics

Publications

53

Citations

2.4K

H-Index

29

Active since

1999

Affiliations

Indiana University(Current)

University of Colorado Boulder

Indiana University Bloomington

University of Edinburgh

University of Colorado System

Jeremy G. Siek is an author at Indiana University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringComputer EngineeringLanguage

Publications per year

1999–2020

53

Publications

53

Concepts

Douglas Gregor, Jaakko Järvi, Jeremy G. Siek et al. · 2006 · 193 citations

Engineering, Generic Programming, Program Analysis +15

A comparative study of language support for generic programming

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine et al. · 2003 · 147 citations

Basic Generic Programming, Engineering, Software Engineering +17

Refined Criteria for Gradual Typing

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 119 citations · Full text

Engineering, Type Theory, Software Engineering +19

Threesomes, with and without blame

Jeremy G. Siek, Philip Wadler · 2010 · 97 citations

Program Analysis, Gender Studies, Dependently Typed Programming +13

Design and evaluation of gradual typing for python

Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek et al. · ACM SIGPLAN Notices · 2014 · 93 citations

Engineering, Software Engineering, Semantics +20

1–5 of 53