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: Dragoi:Cezara
Contributed to:
2014
2013
20132012
201120102019
2016Wrote 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.