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
3 items
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
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Mira Mezini
Mira Mezini
Professor of Computer Science, TU Darmstadt, Germany
Songlin Jia
Songlin Jia
Purdue University
Co-author 6
Co-author 6
Shangyin Tan
Shangyin Tan
PhD Student, UC Berkeley
Supun Abeysinghe
Supun Abeysinghe
Purdue University