Bračevac, Oliver
- Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
2023/07/25 by Wei, Guannan, Bračevac, Oliver, Jia, Songlin +2 · 6 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- 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
- What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
2025/09/09 by Xu, Yichen, Bračevac, Oliver, Pham, Cao Nguyen +1 · 3 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- 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)