Registered user since Mon 13 Feb 2017
Name: Andrei Marian Dan
Bio: I am a PhD student in the Software Reliability Lab, supervised by Prof. Martin Vechev. My research focuses on static analysis techniques for relaxed memory models.
Country: Switzerland
Affiliation: ETH Zurich
Personal website: http://www.srl.ethz.ch/adan.php
Contributions
| VMCAI 2018 | Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile