LabCompass

Oliver Bračevac

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Mid career · publishing since 2013Rising activity
Logic, programming, and type systemsSecurity and Verification in ComputingAdvanced Software Engineering MethodologiesSoftware Engineering ResearchAdvanced Database Systems and Queries

Publications

36

Citations

130

Est. group size

~3

Recurring co-author estimate

Active years

14

Publishing since 2013

Research summary
AI-generated

Oliver Bračevac works in programming languages and software engineering, focusing on type systems, capability tracking, and program verification to help build software (including AI agent systems) that behaves safely and predictably. Recent work centers on 'capability tracking' techniques that monitor what parts of a program are allowed to access or modify, aiming to make automated agents and complex software more secure. Earlier work covered event correlation, algebraic effects, and formal verification of type checkers and security properties.

Type systems and programming languagesCapability tracking and software securityFormal verificationSoftware engineering toolsSafe AI agent systems

Publication output was modest and irregular through the late 2010s and early 2020s, then increased sharply starting in 2023 with a particularly large jump in 2026.

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

Publication cadence
Publications per year over the last 10 years — averaging 3.8/year recently
2017: 3 publications172018: 3 publications182019: 2 publications192020: 1 publication202021: 2 publications21222023: 5 publications232024: 1 publication242025: 2 publications252026: 11 publications1126
Recent publications
Publishes in
  • arXiv (Cornell University)×9
  • Proceedings of the ACM on Programming Languages×7
  • Open MIND×4
  • TUbilio (Technical University of Darmstadt)×2
  • Repository KITopen (Karlsruhe Institute of Technology)×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