D. Frumin
发表
D. Frumin,
Daniil Frumin,
2016
.
Jorge A. Pérez,
D. Frumin,
B. V. D. Heuvel,
2022,
Proc. ACM Program. Lang..
D. Frumin,
2022
.
D. Frumin,
2016
.
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
pdf
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2020,
Log. Methods Comput. Sci..
Robbert Krebbers,
Léon Gondelman,
Dan Frumin,
2019,
ESOP.
Marko C. J. D. van Eekelen,
Herman Geuvers,
Robbert Krebbers,
2019,
ArXiv.
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
pdf
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2020,
Log. Methods Comput. Sci..
Lars Birkedal,
Robbert Krebbers,
Dan Frumin,
2018,
LICS.
Dan Frumin,
D. Frumin,
2021,
CPP.
Herman Geuvers,
Léon Gondelman,
Niels van der Weide,
2018,
CPP.
Irina A. Lomazova,
Daniil Frumin,
D. Frumin,
2014,
VPT@CAV.
Daniil Frumin,
Leonid W. Dworzanski,
D. Frumin,
2013
.
L. Birkedal,
D. Frumin,
Amin Timany,
2023,
Proc. ACM Program. Lang..