Dan Frumin

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 21

Top Topics

Concurrent Programs

Concurrency Control

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Around Classical and Intuitionistic Linear Processes. CONCUR (2024)
Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez
Around Classical and Intuitionistic Linear Processes. CoRR (2024)
Niels van der Weide, Dan Frumin
The Interval Domain in Homotopy Type Theory. Logics and Type Systems in Theory and Practice (2024)
Dan Frumin, Amin Timany, Lars Birkedal
Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alen Arslanagic, Jorge A. Pérez, Dan Frumin
A Minimal Formulation of Session Types. CoRR (2023)
Dan Frumin, Amin Timany, Lars Birkedal
Modular Denotational Semantics for Effects with Guarded Interaction Trees. CoRR (2023)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency. CoRR (2022)
Simon Friis Vindum, Dan Frumin, Lars Birkedal
Mechanized verification of a fine-grained concurrent queue from meta's folly library. CPP (2022)
Dan Frumin
Semantic cut elimination for the logic of bunched implications, formalized in Coq. CPP (2022)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide
Bicategories in univalent foundations. Math. Struct. Comput. Sci. 31 (10) (2021)
Dan Frumin
Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq. CoRR (2021)
Dan Frumin, Robbert Krebbers, Lars Birkedal
Compositional Non-Interference for Fine-Grained Concurrent Programs. IEEE Symposium on Security and Privacy (2021)
Dan Frumin, Robbert Krebbers, Lars Birkedal
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. Log. Methods Comput. Sci. 17 (3) (2021)
Dan Frumin, Robbert Krebbers, Lars Birkedal
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. CoRR (2020)
Dan Frumin, Léon Gondelman, Robbert Krebbers
Semi-automated Reasoning About Non-determinism in C Expressions. ESOP (2019)
Dan Frumin, Robbert Krebbers, Lars Birkedal
Compositional Non-Interference for Fine-Grained Concurrent Programs. CoRR (2019)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. FSCD (2019)
Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide
Bicategories in Univalent Foundations. CoRR (2019)
Dan Frumin, Robbert Krebbers, Lars Birkedal
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. LICS (2018)
Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide
Finite sets in homotopy type theory. CPP (2018)