Oliver Bračevac

1. Modeling Reachability Types with Logical Relations
   2023/09/12 by Yuyan Bao, Bao, Yuyan, Jia, Songlin +6 · 5 citations
   Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Engineering Research
2. Tracking Capabilities for Safer Agents
   2026/03/01 by Martin Odersky, Yaoyu Zhao, Yichen Xu +2 · 2 voices
   Computer Science · #cs.AI #cs.PL
3. Graph IRs for Impure Higher-Order Languages (Technical Report)
   2023/09/15 by Oliver Bračevac, Bračevac, Oliver, Guannan Wei +11 · 1 citation
   Computer Science · #Advanced Graph Neural Networks #Error Correcting Code Techniques #FOS: Computer and information sciences #Matrix Theory and Algorithms #Programming Languages (cs.PL)
4. Classifying Capabilities (Extended Version)
   2026/07/27 by Cao Nguyen Pham, Oliver Bračevac, Yichen Xu +2
   #cs.PL