Dan Frumin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Context-Dependent Effects in Guarded Interaction Trees. | Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, Lars Birkedal |
| 2024 | CONCUR | Around Classical and Intuitionistic Linear Processes. | Juan C. Jaramillo, Dan Frumin, Jorge A. Prez |
| 2022 | CPP | Semantic cut elimination for the logic of bunched implications, formalized in Coq. | Dan Frumin |
| 2022 | CPP | Mechanized verification of a fine-grained concurrent queue from meta's folly library. | Simon Friis Vindum, Dan Frumin, Lars Birkedal |
| 2021 | SP | Compositional Non-Interference for Fine-Grained Concurrent Programs. | Dan Frumin, Robbert Krebbers, Lars Birkedal |
| 2019 | ESOP | Semi-automated Reasoning About Non-determinism in C Expressions. | Dan Frumin, Lon Gondelman, Robbert Krebbers |
| 2018 | CPP | Finite sets in homotopy type theory. | Dan Frumin, Herman Geuvers, Lon Gondelman, Niels van der Weide |
| 2018 | LICS | ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. | Dan Frumin, Robbert Krebbers, Lars Birkedal |