Concepedia

Oliver Bračevac

OB

7

Publications

97

Citations

7

H-Index

2015

Active since

Affiliations

Purdue University West Lafayette(Current)

Technical University of Darmstadt

Galois (United States)

Augusta University

Oliver Bračevac is an author at Purdue University West Lafayette specializing in computer science, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisSoftware DesignComputer EngineeringSoftware Engineering

Publications per year

2015–2024

7

Publications

7

A co-contextual formulation of type rules and its application to incremental type checking

Sebastian Erdweg, Oliver Bračevac, Edlira Kuci et al. · 2015 · 24 citations

Engineering, Type Theory, Verification +16

Reachability types: tracking aliasing and separation in higher-order functional programs

Yuyan Bao, Guannan Wei, Oliver Bračevac et al. · Proceedings of the ACM on Programming Languages · 2021 · 17 citations · Full text

Engineering, Reachability Problem, Software Engineering +20

Versatile event correlation with algebraic effects

Oliver Bračevac, Nada Amin, Guido Salvaneschi et al. · Proceedings of the ACM on Programming Languages · 2018 · 15 citations · Full text

Event-driven Architecture, Engineering, Express Variants +23

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Guannan Wei, Oliver Bračevac, Songlin Jia et al. · Proceedings of the ACM on Programming Languages · 2024 · 11 citations · Full text

Compiling symbolic execution with staging and algebraic effects

Guannan Wei, Oliver Bračevac, Shangyin Tan et al. · Proceedings of the ACM on Programming Languages · 2020 · 10 citations · Full text

Engineering, Compiler Technology, Software Engineering +19

Rows per page

1–5 of 7