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 | Automatic Verification of RMA Programs via Abstraction Extrapolation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile