Write a Blog >>
PPoPP 2021
Sat 27 February - Wed 3 March 2021
Sadegh Dalvandi

Registered user since Tue 25 Jun 2019

Name:Sadegh Dalvandi
Affiliation:University of Surrey
Personal website:http://www.dalvandi.com
Research interests:Formal methods, Program verification

Contributions

PPoPP 2021 POSTER: Verifying C11-Style Weak Memory Libraries
Show activities from other conferences

PPoPP 2021-profile
View general profile