Dan Frumin -

Registered user since Sun 28 Nov 2021

Name:Dan Frumin

Country:Netherlands

Affiliation:University of Groningen

Research interests:concurrency, type theory, logic

Contributions

SPLASH 2022	Author of A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency within the OOPSLA-track
CPP 2022	Author of Semantic cut elimination for the logic of bunched implications, formalized in Coq within the CPP 2022-track Author of Mechanized Verification of a Fine-Grained Concurrent Queue from Meta’s Folly Library within the CPP 2022-track