Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference

Registered user since Fri 19 Dec 2014

Name: Kayvan Memarian

Country: Iran

Affiliation: University of Cambridge

Personal website: https://www.cl.cam.ac.uk/~km569

Contributions

PLDI 2021 RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Show activities from other conferences

Using general profile