LabCompass

Sam Tobin-Hochstadt

Computer Science · Indiana University

OpenAlex ORCID
Logic, programming, and type systemsSoftware Engineering ResearchParallel Computing and Optimization TechniquesFormal Methods in VerificationSoftware Testing and Debugging Techniques

Publications

87

Citations

2,074

Est. group size

—

Recurring co-author estimate

Active years

20

Publishing since 2005

Research summary
AI-generated

Sam Tobin-Hochstadt works in programming languages, focusing on how to design languages and type systems that catch errors and verify program behavior. A major theme is 'gradual typing'—letting programmers mix flexible, dynamically-checked code with more rigorously type-checked code—as well as building tools and languages (such as the Racket ecosystem) with strong correctness guarantees. Related work includes contract verification, build systems, and macro/metaprogramming systems.

Type systems and gradual typingProgramming language design and implementationSoftware verification and contractsMacros and metaprogrammingBuild systems

Publication activity was steady at several papers per year around 2017-2019 but has slowed noticeably since, averaging under one paper per year over the last five 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 0.8/year recently
2017: 5 publications172018: 6 publications6182019: 6 publications6192020: 2 publications202021: 2 publications212022: 1 publication222023: 2 publications232024: 1 publication242526
Recent publications
Publishes in
  • Proceedings of the ACM on Programming Languages×6
  • arXiv (Cornell University)×6
  • Artifact Digital Object Group×4
  • Lecture notes in computer science×2
  • ACM SIGPLAN Notices×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