BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dan:Andrei_Marian

Contributed to:

VMCAI 20152015
SAS 20142014
SAS 20132013
CAV (2) 20172017
OOPSLA 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.