Daniil Frumin

According to our database, Daniil Frumin authored at least 19 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Modular Denotational Semantics for Effects with Guarded Interaction Trees.

Dan Frumin, Amin Timany, Lars Birkedal

Proc. ACM Program. Lang., January, 2024

Around Classical and Intuitionistic Linear Processes.

Juan C. Jaramillo, Dan Frumin, Jorge A. Pérez

Proceedings of the 35th International Conference on Concurrency Theory, 2024

The Interval Domain in Homotopy Type Theory.

Niels van der Weide, Dan Frumin

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

A Minimal Formulation of Session Types.

Alen Arslanagic, Jorge A. Pérez, Dan Frumin

CoRR, 2023

2022

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency.

Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel, Jorge A. Pérez

Proc. ACM Program. Lang., 2022

Mechanized verification of a fine-grained concurrent queue from meta's folly library.

Simon Friis Vindum, Dan Frumin, Lars Birkedal

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

Semantic cut elimination for the logic of bunched implications, formalized in Coq.

Dan Frumin

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Coq development for "Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's Folly Library".

Simon Friis Vindum, Dan Frumin, Lars Birkedal

Dataset, December, 2021

Mechanized Verification of a Fine-Grained Concurrent Queue from Meta's Folly Library - Coq Artefact.

Simon Friis Vindum, Dan Frumin, Lars Birkedal

Dataset, December, 2021

Bicategories in univalent foundations.

Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide

Math. Struct. Comput. Sci., 2021

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity.

Dan Frumin, Robbert Krebbers, Lars Birkedal

Log. Methods Comput. Sci., 2021

Compositional Non-Interference for Fine-Grained Concurrent Programs.

Dan Frumin, Robbert Krebbers, Lars Birkedal

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2019

A homotopy-theoretic model of function extensionality in the effective topos.

Daniil Frumin, Benno van den Berg

Math. Struct. Comput. Sci., 2019

A benchmark for C program verification.

Marko C. J. D. van Eekelen, Daniil Frumin, Herman Geuvers, Léon Gondelman, Robbert Krebbers, Marc Schoolderman, Sjaak Smetsers, Freek Verbeek, Benoît Viguier, Freek Wiedijk

CoRR, 2019

Bicategories in Univalent Foundations.

Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niels van der Weide

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Semi-automated Reasoning About Non-determinism in C Expressions.

Dan Frumin, Léon Gondelman, Robbert Krebbers

Proceedings of the Programming Languages and Systems, 2019

2018

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency.

Dan Frumin, Robbert Krebbers, Lars Birkedal

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Finite sets in homotopy type theory.

Dan Frumin, Herman Geuvers, Léon Gondelman, Niels van der Weide

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2014

Branching Processes of Conservative Nested Petri Nets.

Daniil Frumin, Irina A. Lomazova

Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014