LabCompass

Tiark Rompf

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Mid career · publishing since 2009Rising activity
Parallel Computing and Optimization TechniquesLogic, programming, and type systemsAdvanced Database Systems and QueriesFormal Methods in VerificationDistributed and Parallel Computing Systems

Publications

147

Citations

3,309

Est. group size

~4

Recurring co-author estimate

Active years

18

Publishing since 2009

Research summary
AI-generated

Tiark Rompf works in programming languages and compilers, focusing on how to design type systems that let programmers safely and efficiently manage memory and resources without garbage collection. Much of the recent work centers on 'reachability types,' a way of tracking which parts of a program can access or affect which pieces of memory, and on building efficient compilers and query languages for data processing and program analysis. This research is aimed at making programs both safer (fewer bugs related to memory and aliasing) and faster (through better compiler optimizations).

Type systems and reachability trackingProgramming language design and semanticsCompiler construction and optimizationDatabase query languages and program analysisMemory management and safe deallocation

Publication output was higher in 2017-2019, dropped in the early 2020s, and has since stabilized at a steady but lower rate of roughly 5 papers per year.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 4.8/year recently
2017: 11 publications172018: 15 publications15182019: 15 publications15192020: 4 publications202021: 5 publications212022: 2 publications222023: 7 publications232024: 5 publications242025: 5 publications252026: 5 publications26
Recent publications
Publishes in
  • arXiv (Cornell University)×17
  • Proceedings of the ACM on Programming Languages×16
  • ACM SIGPLAN Notices×6
  • Lecture notes in computer science×5
  • DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)×2
Similar researchers
By research-topic overlap

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 20, 2026.

Claim or correct this profile