LabCompass

Jeremy G. Siek

Computer Science · Indiana University

OpenAlex ORCID
Logic, programming, and type systemsParallel Computing and Optimization TechniquesSoftware Engineering ResearchFormal Methods in VerificationModel-Driven Software Engineering Techniques

Publications

164

Citations

3,997

Est. group size

—

Recurring co-author estimate

Active years

29

Publishing since 1998

Research summary
AI-generated

Jeremy G. Siek works on the theory and design of programming languages, with a central focus on gradual typing a way to combine flexible, dynamically-checked code with stricter, statically-checked code in the same program. His work also covers formal proofs of program correctness (often using proof assistants like Agda), compiler construction, and secure information flow. Much of the output involves mathematically verified guarantees about how programs behave.

Gradual typingType systems and programming language theoryMechanized proofs and formal verificationCompiler design and optimizationLanguage-based security and information flow

Publication output was highest in the late 2010s and has slowed to roughly one to three papers per year in the most recent years.

Generated by claude-opus-4-8 from public bibliographic data · Jul 11, 2026

Publication cadence
Publications per year over the last 10 years — averaging 1.6/year recently
2017: 12 publications12172018: 2 publications182019: 6 publications192020: 5 publications202021: 3 publications212022: 1 publication222023: 1 publication232024: 3 publications242025: 1 publication252026: 2 publications26
Recent publications
Publishes in
  • arXiv (Cornell University)×11
  • Proceedings of the ACM on Programming Languages×4
  • ACM SIGPLAN Notices×4
  • Electronic Proceedings in Theoretical Computer Science×2
  • Journal of Functional Programming×2

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 11, 2026.

Claim or correct this profile