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 × Russia
1 × United Kingdom
4 × USA
Collaborated with:
C.Enea M.Sighireanu T.A.Henzinger A.Bouajjani D.Zufferey J.Widder A.Gupta A.Damian A.Militaru H.Veith A.Rezine
Talks about:
data (4) program (3) list (3) algorithm (2) manipul (2) analysi (2) framework (1) distribut (1) consensus (1) asynchron (1)

Person: Cezara Dragoi

DBLP DBLP: Dragoi:Cezara

Contributed to:

VMCAI 20142014
CAV 20132013
SAS 20132013
VMCAI 20122012
PLDI 20112011
CAV 20102010
CAV (2) 20192019
POPL 20162016

Wrote 8 papers:

VMCAI-2014-DragoiHVWZ #algorithm #framework #verification
A Logic-Based Framework for Verifying Consensus Algorithms (CD, TAH, HV, JW, DZ), pp. 161–181.
CAV-2013-DragoiGH #automation #concurrent #proving
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates (CD, AG, TAH), pp. 174–190.
SAS-2013-DragoiES #analysis #data type
Local Shape Analysis for Overlaid Data Structures (CD, CE, MS), pp. 150–171.
VMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.
PLDI-2011-BouajjaniDES #analysis #interprocedural #on the #source code
On inter-procedural analysis of programs with lists and data (AB, CD, CE, MS), pp. 578–589.
CAV-2010-BouajjaniDERS #bound #invariant #source code #synthesis
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data (AB, CD, CE, AR, MS), pp. 72–88.
CAV-2019-DamianDMW #protocol
Communication-Closed Asynchronous Protocols (AD, CD, AM, JW), pp. 344–363.
POPL-2016-DragoiHZ #algorithm #distributed #fault tolerance #named
PSync: a partially synchronous language for fault-tolerant distributed algorithms (CD, TAH, DZ), pp. 400–415.

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.