Daniel Frumin - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Registered user since Sun 28 Nov 2021

Name:Daniel Frumin

Affiliation:University of Groningen

Personal website: https://groupoid.moe

Research interests:concurrency, type theory, logic

Contributions

2022

CPP

Semantic cut elimination for the logic of bunched implications, formalized in Coq
Mechanized Verification of a Fine-Grained Concurrent Queue from Meta’s Folly Library

Show activities from other conferences

POPL 2022-profile
View general profile