Oliver Bračevac
Scholar

Oliver Bračevac

Google Scholar ID: vV5wQrwAAAAJ
Engineer / Researcher at EPFL/LAMP
Programming LanguagesCompilersType TheoryEffectsCapture Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
277
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
5 items
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
Resume (English only)
Co-authors
13 total
Tiark Rompf
Tiark Rompf
Purdue University
Guannan Wei
Guannan Wei
Tufts University
Co-author 3
Co-author 3
Mira Mezini
Mira Mezini
Professor of Computer Science, TU Darmstadt, Germany
Songlin Jia
Songlin Jia
Purdue University
Guido Salvaneschi
Guido Salvaneschi
Associate Professor - University of St.Gallen
Shangyin Tan
Shangyin Tan
PhD Student, UC Berkeley
Supun Abeysinghe
Supun Abeysinghe
Purdue University