LabCompass

Suresh Jagannathan

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Established · publishing since 1984Rising activity
Distributed systems and fault toleranceParallel Computing and Optimization TechniquesLogic, programming, and type systemsFormal Methods in VerificationSoftware Engineering Research

Publications

267

Citations

5,991

Est. group size

~5

Recurring co-author estimate

Active years

42

Publishing since 1984

Research summary
AI-generated

Suresh Jagannathan works on programming languages and software verification, developing type systems and symbolic execution techniques to automatically check and repair programs, including tools for generating and verifying software test inputs and detecting subtle bugs in concurrent (multi-threaded) systems. His publication record also includes some collaborative work applying learning-based control methods to robotics and autonomous vehicle systems, though this appears to be a smaller, adjacent line of work. Students would likely engage with formal methods, type theory, and automated reasoning about program correctness.

Program verification and type systemsAutomated test generation and repairSymbolic executionConcurrent and distributed systems correctnessFormal methods in software engineering

Publication output has grown notably in recent years, rising from a lower point around 2021 to a peak of 13 publications in 2025.

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

Publication cadence
Publications per year over the last 10 years — averaging 7.4/year recently
2017: 4 publications172018: 9 publications182019: 9 publications192020: 6 publications202021: 2 publications212022: 6 publications222023: 8 publications232024: 10 publications242025: 13 publications132526
Recent publications
Publishes in
  • arXiv (Cornell University)×20
  • Proceedings of the ACM on Programming Languages×10
  • Lecture notes in computer science×5
  • ACM SIGPLAN Notices×2
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)×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