Andrei Marian Dan Andrei Marian Dan


I am a PhD student in the Software Reliability Lab.
My supervisor is Prof. Martin Vechev.

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

My Research:

I work mostly on program analysis and verification, relaxed memory models and concurrency.

Conference Papers:

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

Effective Abstractions for Verification under Relaxed Memory Models
Andrei 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 Dan, Martin Vechev, Eran Yahav
21st International Static Analysis Symposium (SAS '14)
Full text

Predicate Abstraction for Relaxed Memory Models
Andrei 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 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

Service:

OOPSLA 2014 Artifacts Evaluation - Committee Member

Internships:

Samsung Research America, Mountain View , 2016

IBM Research, Zurich , 2012
Master thesis on High-performance Solid-state Enterprise Storage Systems

SRI International, Menlo Park, US , 2010
Develop a verified SAT trace checker in PVS

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

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

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.