Andrei Marian Dan

Registered user since Mon 13 Feb 2017

Name:Andrei Marian Dan

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.

Affiliation:ETH Zurich


VMCAI 2018 Automatic Verification of RMA Programs via Abstraction Extrapolation
Show activities from other conferences

POPL 2018-profile
View general profile