Follow
Oliver Bračevac
Oliver Bračevac
Engineer / Researcher at Galois
Verified email at galois.com - Homepage
Title
Cited by
Cited by
Year
A co-contextual formulation of type rules and its application to incremental type checking
S Erdweg, O Bračevac, E Kuci, M Krebs, M Mezini
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
322015
Versatile event correlation with algebraic effects
O Bračevac, N Amin, G Salvaneschi, S Erdweg, P Eugster, M Mezini
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
252018
Reachability types: tracking aliasing and separation in higher-order functional programs
Y Bao, G Wei, O Bračevac, Y Jiang, Q He, T Rompf
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-32, 2021
182021
A co-contextual type checker for featherweight java (incl. proofs)
E Kuci, S Erdweg, O Bračevac, A Bejleri, M Mezini
arXiv preprint arXiv:1705.05828, 2017
172017
Compiling symbolic execution with staging and algebraic effects
G Wei, O Bračevac, S Tan, T Rompf
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-33, 2020
152020
CPL: A core language for cloud computing
O Bračevac, S Erdweg, G Salvaneschi, M Mezini
Proceedings of the 15th International Conference on Modularity, 94-105, 2016
122016
Compiling parallel symbolic execution with continuations
G Wei, S Jia, R Gao, H Deng, S Tan, O Bračevac, T Rompf
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
102023
Graph IRS for impure higher-order languages: making aggressive optimizations affordable with precise effect dependencies
O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 400-430, 2023
92023
Polymorphic reachability types: Tracking freshness, aliasing, and separation in higher-order generic programs
G Wei, O Bračevac, S Jia, Y Bao, T Rompf
Proceedings of the ACM on Programming Languages 8 (POPL), 393-424, 2024
62024
LLSC: A parallel symbolic execution compiler for LLVM IR
G Wei, S Tan, O Bračevac, T Rompf
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
62021
Graph IRS for impure higher-order languages (technical report)
O Bračevac, G Wei, S Jia, S Abeysinghe, Y Jiang, Y Bao, T Rompf
arXiv preprint arXiv:2309.08118, 2023
42023
What If We Don't Pop the Stack? The Return of 2nd-Class Values
A Xhebraj, O Bračevac, G Wei, T Rompf
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
42022
Event Correlation with Algebraic Effects-Theory, Design and Implementation
O Bračevac
Technische Universität, 2019
22019
Type-safe, polyvariadic event correlation
O Bračevac, G Salvaneschi, S Erdweg, M Mezini
arXiv preprint arXiv:1907.02990, 2019
12019
Modeling Reachability Types with Logical Relations
Y Bao, G Wei, O Bračevac, T Rompf
arXiv preprint arXiv:2309.05885, 2023
2023
Reachability Types: Expressive Ownership-Style Reasoning for Higher-Order Programs with (Co) Effects
O Bračevac
2022
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)
A Xhebraj, O Bračevac, G Wei, T Rompf
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022
2022
CPL: A Core Language for Cloud Computing--Technical Report
O Bračevac, S Erdweg, G Salvaneschi, M Mezini
arXiv preprint arXiv:1602.00981, 2016
2016
A Formal Model for Event Correlation in Information Flow Processing
O Bracevac
2013
Towards Full Dependent Types in
O Bračevac, NJ Raj, G Wei, T Rompf
The system can't perform the operation now. Try again later.
Articles 1–20