Oliver Bracevac

24 papers A* 1A 3Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Tracking Capabilities for Safer Agents.
CoRR
Martin Odersky, Yaoyu Zhao, Yichen Xu, Oliver Bracevac, Cao Nguyen Pham
2025 J jnl
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory.
Proc. ACM Program. Lang.
Yuyan Bao, Songlin Jia, Guannan Wei, Oliver Bracevac, Tiark Rompf
2025 J jnl
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version).
CoRR
Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky
2025 J jnl
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures.
Proc. ACM Program. Lang.
Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Martin Odersky
2024 J jnl
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
Proc. ACM Program. Lang.
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
2023 A* conf
Compiling Parallel Symbolic Execution with Continuations.
ICSE
Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2023 J jnl
Graph IRs for Impure Higher-Order Languages (Technical Report).
CoRR
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
2023 J jnl
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.
Proc. ACM Program. Lang.
Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf
2023 J jnl
Modeling Reachability Types with Logical Relations.
CoRR
Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf
2023 J jnl
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
CoRR
Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf
2022 J jnl
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact).
Dagstuhl Artifacts Ser.
Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
2022 A conf
What If We Don't Pop the Stack? The Return of 2nd-Class Values.
ECOOP
Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf
2021 — conf
LLSC: a parallel symbolic execution compiler for LLVM IR.
ESEC/SIGSOFT FSE
Guannan Wei, Shangyin Tan, Oliver Bracevac, Tiark Rompf
2021 J jnl
Reachability types: tracking aliasing and separation in higher-order functional programs.
Proc. ACM Program. Lang.
Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf
2020 J jnl
Compiling symbolic execution with staging and algebraic effects.
Proc. ACM Program. Lang.
Guannan Wei, Oliver Bracevac, Shangyin Tan, Tiark Rompf
2019 — —
Event Correlation with Algebraic Effects - Theory, Design and Implementation
Oliver Bracevac
2019 J jnl
Type-safe, Polyvariadic Event Correlation.
CoRR
Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
2018 J jnl
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
Arch. Formal Proofs
Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch
2018 J jnl
Versatile event correlation with algebraic effects.
Proc. ACM Program. Lang.
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
2017 J jnl
A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
CoRR
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2017 A conf
A Co-contextual Type Checker for Featherweight Java .
ECOOP
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2016 J jnl
CPL: A Core Language for Cloud Computing - Technical Report.
CoRR
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016 — conf
CPL: a core language for cloud computing.
MODULARITY
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2015 A conf
A co-contextual formulation of type rules and its application to incremental type checking.
OOPSLA
Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
docs/redb_sample_queries.md
← Index docs/redb_sample_queries.md markdown 
# REDB Sample queries

KQL vs ES|QL
..


## KQL
All fields from a specific index:

## ES|QL

Stats on Compiler

`FROM redb-die | WHERE die_info.header.pe32.compiler.keyword IS NOT NULL | DISSECT die_info.header.pe32.compiler.keyword "%{compiler}(%{version})[%{language}]" | keep compiler, version, language`

Ref:
- https://www.elastic.co/guide/en/elasticsearch/reference/current/esql-kibana.html
- https://www.elastic.co/guide/en/elasticsearch/reference/current/esql-getting-started.html
- https://www.elastic.co/guide/en/kibana/current/try-esql.html
- https://www.elastic.co/guide/en/elasticsearch/reference/current/esql-language.html