Travelled to:1 × Germany
1 × India
1 × USA
Collaborated with:M.T.Vechev Y.Meshman E.Yahav Patrick Lam 0001 T.Hoefler M.Sridharan S.C.0001 J.Jeannin
Talks about:memori (4) model (3) abstract (2) relax (2) synthesi (1) reachabl (1) program (1) minimum (1) analysi (1) propag (1)
Person: Andrei Marian Dan
DBLP: Dan:Andrei_Marian
Contributed to:
2015
20142013
2017
2016Wrote 5 papers:
- VMCAI-2015-DanMVY #abstraction #effectiveness #memory management #modelling #verification
- Effective Abstractions for Verification under Relaxed Memory Models (AMD, YM, MTV, EY), pp. 449–466.
- SAS-2014-MeshmanDVY #memory management #refinement #synthesis
- Synthesis of Memory Fences via Refinement Propagation (YM, AMD, MTV, EY), pp. 237–252.
- SAS-2013-DanMVY #abstraction #memory management #modelling
- Predicate Abstraction for Relaxed Memory Models (AMD, YM, MTV, EY), pp. 84–104.
- CAV-2017-DanS0JV #analysis
- Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts (AMD, MS, SC0, JBJ, MTV), pp. 521–541.
- OOPSLA-2016-DanLHV #analysis #memory management #modelling #programming
- Modeling and analysis of remote memory access programming (AMD, PL0, TH, MTV), pp. 129–144.