Scholar
Oliver Bračevac
Google Scholar ID: vV5wQrwAAAAJ
Engineer / Researcher at EPFL/LAMP
Programming Languages
Compilers
Type Theory
Effects
Capture Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
277
H-index
11
i10-index
11
Publications
20
Co-authors
13
list available
Publications
6 items
Classifying Capabilities (Extended Version)
2026
Cited
0
System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version)
2026
Cited
0
LACUNA: Safe Agents as Recursive Program Holes
2026
Cited
0
Tracking Capabilities for Safer Agents
2026
Cited
0
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
2025
Cited
0
Modeling Reachability Types with Logical Relations
arXiv.org · 2023
Cited
3
Co-authors
10 total
Tiark Rompf
Purdue University
Guannan Wei
Tufts University
Mira Mezini
Professor of Computer Science, TU Darmstadt, Germany
Songlin Jia
Purdue University
Guido Salvaneschi
Associate Professor - University of St.Gallen
Shangyin Tan
PhD Student, UC Berkeley
Supun Abeysinghe
Purdue University
Nada Amin
Harvard University
