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