Andrei Marian Dan

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:


VMCAI 2018 Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track
SPLASH 2016 Author of Modeling and Analysis of Remote Memory Access Programming within the OOPSLA-track
SPLASH 2014 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track