Oliver Bra\v{c}evac

Identifiers

• name variant Oliver Bra\v{c}evac 0.60 · backfill

Papers (5)

1. LACUNA: Safe Agents as Recursive Program Holes cs.AI · 2026 · author #3
2. Tracking Capabilities for Safer Agents cs.AI · 2026 · author #4
3. Type-safe, Polyvariadic Event Correlation cs.PL · 2019 · author #1
4. A Co-contextual Type Checker for Featherweight Java (incl. Proofs) cs.PL · 2017 · author #3
5. CPL: A Core Language for Cloud Computing -- Technical Report cs.PL · 2016 · author #1

Mentions

• 2603.00991 #4 · arxiv_oai · confidence 0.70 Oliver Bra\v{c}evac
• 2605.28617 #3 · arxiv_oai · confidence 0.70 Oliver Bra\v{c}evac

Frequent Coauthors

• Mira Mezini 3 shared papers
• Sebastian Erdweg 3 shared papers
• Cao Nguyen Pham 2 shared papers
• Guido Salvaneschi 2 shared papers
• Martin Odersky 2 shared papers
• Yaoyu Zhao 2 shared papers
• Yichen Xu 2 shared papers
• Andi Bejleri 1 shared papers
• Edlira Kuci 1 shared papers
• Frank Zhengqing Wu 1 shared papers