Dan Frumin
Title
Cited by
Cited by
Year
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency
D Frumin, R Krebbers, L Birkedal
LICS, 442-451, 2018
372018
Branching processes of conservative nested Petri nets
D Frumin, I Lomazova
VPT 2014. Second International Workshop on Verification and Program …, 2014
162014
Finite sets in homotopy type theory
D Frumin, H Geuvers, L Gondelman, N van der Weide
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
152018
A homotopy-theoretic model of function extensionality in the effective topos
D Frumin, B van den Berg
arXiv preprint arXiv:1701.08369, 2017
15*2017
Compositional Non-Interference for Fine-Grained Concurrent Programs
D Frumin, R Krebbers, L Birkedal
Security & Privacy (Oakland) 1, 1416-1433, 2021
92021
Bicategories in univalent foundations
B Ahrens, D Frumin, M Maggesi, N Veltri, N van der Weide
arXiv preprint arXiv:1903.01152, 2019
82019
Semi-Automated Reasoning About Non-Determinism in C Expressions
D Frumin, L Gondelman, R Krebbers
ESOP, 2019
62019
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
D Frumin, R Krebbers, L Birkedal
Logical Methods in Computer Science 17 (3), 2021
32021
Mechanized Verification of a Fine-Grained Concurrent Queue from Facebook’s Folly Library
SF Vindum, D Frumin, L Birkedal
12021
Logic and homotopy in the category of assemblies
D Frumin
http://cs.ru.nl/~dfrumin/pdf/realiz.pdf, 2016
12016
Concurrent Separation Logics for Safety, Refinement, and Security.
D Frumin
Radboud University Nijmegen, 2021
2021
Concurrent Separation Logics for Safety, Refinement, and Security
D Frumin
[Sl: sn], 2021
2021
RELOC RELOADED: TECHNICAL APPENDIX
DAN FRUMIN, R KREBBERS, L BIRKEDAL
2020
1-Types versus Groupoids
N van der Weide, D Frumin, H Geuvers
TYPES 2018, 86, 2018
2018
ReLoC technical report
D Frumin, R Krebbers, L Birkedal
2018
A calculus for logical refinements in separation logic
D Frumin, R Krebbers
CoqPL, 2018
2018
Presheaf models for concurrency
D Frumin
2016
On Temporal Properties of Nested Petri Nets
L Dvoryansky, D Frumin
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–18