Andrei Marian Dan 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.

Email: andrei.dan@inf.ethz.ch
Office: CAB H86.1
Phone: +41 44 633 81 94

Google Scholar
DBLP

Conference Papers

Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin Vechev
29th International Conference on Computer-Aided Verification (CAV '17). Full text

Modeling and Analysis of Remote Memory Access Programming. Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin Vechev
Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '16). Full text, Video

Effective Abstractions for Verification under Relaxed Memory Models. Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI '15). Full text, Slides

Synthesis of Memory Fences via Refinement Propagation. Yuri Meshman, Andrei Marian Dan, Martin Vechev, Eran Yahav
21st International Static Analysis Symposium (SAS '14). Full text

Predicate Abstraction for Relaxed Memory Models. Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
20th International Static Analysis Symposium (SAS '13). Full text, Extended version, Slides

 

Journal Paper

Effective Abstractions for Verification under Relaxed Memory Models. Andrei Marian Dan, Yuri Meshman, Martin Vechev, Eran Yahav
Computer Languages (COMLAN), March 2016. Submitted June 2015. Invited paper. Full text

 

Education

EPF Lausanne , 2010 - 2012
MSc in Computer Science

Ecole Polytechnique Paris , 2008 - 2010
Engineer Diploma, X07

Polytechnic University of Bucharest , 2005 - 2009
BSc in Computer Science

 

Internships

Samsung Research America, Mountain View, 2016.
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts. Supervisors: Manu Sridharan and Satish Chandra.

IBM Research, Zurich , 2012.
Master thesis on High-performance Solid-state Enterprise Storage Systems. Supervisor: Roman Pletka.

SRI International, Menlo Park, US , 2010.
Develop a verified SAT trace checker in PVS. Supervisor: Natarajan Shankar.

 

Awards

Distinguished Paper Award at OOPSLA 2016

ACM SIGPLAN Travel Grant for OOPSLA 2016

EPF Lausanne excellence scholarship - 2010

Eiffel excellence scholarship (French Ministry of Foreign Affairs) - 2008

 

Service

OOPSLA 2014 Artifacts Evaluation - Committee Member

 

Teaching Assistant

Program Analysis - graduate course, 4 ECTS.
Fall 2013, Spring 2015

Big Data - graduate course, 6 ECTS.
Fall 2014

Software Architecture and Engineering - undergraduate course, 8 ECTS.
Spring 2014, Spring 2016, Spring 2017

 

Seminars and Summer Schools

Dagstuhl Seminar: Concurrency with Weak Memory Models
November 2016, Schloss Dagstuhl, Germany.

NATO International Summer School - Software Systems Safety
August 2013, Marktoberdorf, Germany.

Alpine Verification Meeting (AVM)
May 2013, Trento, Italy.

Verification Technology, Systems & Applications (VTSA)
September 2012, Saarbr├╝cken, Germany.