conf.researchr.org / Kayvan Memarian

Registered user since Fri 19 Dec 2014

Name:Kayvan Memarian
Country:United Kingdom
Affiliation:University of Cambridge
Personal website:https://www.cl.cam.ac.uk/~km569

Contributions

POPL 2023 Author of CN: Verifying Systems C Code with Separation-Logic Refinement Types within the POPL-track
PLDI 2022 Author of (PLDI 2021) RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the SIGPLAN Track-track
POPL 2022 Author of VIP: Verifying Real-World C Idioms with Integer-Pointer Casts within the POPL-track
WITS 2022 Author of CN: A Refinement Type System for C within the WITS 2022-track
PLDI 2021 Author of RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types within the PLDI-track
REMS-DeepSpec 2020 Presenter of Cerberus: executable reference semantics and memory object models for ISO and de facto C within the REMS-DeepSpec 2020-track
POPL 2019 Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track
SPLASH 2016 Author of An Operational Semantics for C/C++11 Concurrency within the OOPSLA-track
PLDI 2016 Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track
ESOP 2015 Author of The Problem of Programming Language Concurrency Semantics within the ESOP-track