Cezara Dragoi

27 papers A* 4B 8Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
A Domain Specific Language for Testing Distributed Protocol Implementations.
NETYS
Cezara Dragoi, Srinidhi Nagendra, Mandayam Srivas
2023 J jnl
A Domain Specific Language for Testing Consensus Implementations.
CoRR
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas
2023 B ed.
Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
VMCAI
Cezara Dragoi, Michael Emmi, Jingbo Wang
2022 — conf
A Sequentialization Procedure for Fault-Tolerant Protocols.
VSTTE
Cezara Dragoi, Patricio Inzaghi Pronesti
2021 B ed.
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
SAS
Cezara Dragoi, Suvam Mukherjee, Kedar S. Namjoshi
2020 J jnl
Programming at the edge of synchrony.
Proc. ACM Program. Lang.
Cezara Dragoi, Josef Widder, Damien Zufferey
2020 J jnl
Shape Analysis.
Found. Trends Program. Lang.
Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
2020 J jnl
Testing consensus implementations using communication closure.
Proc. ACM Program. Lang.
Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
2019 — conf
Communication-Closed Asynchronous Protocols.
CAV (2)
Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
2018 J jnl
Reducing asynchrony to synchronized rounds.
CoRR
Cezara Dragoi, Josef Widder
2016 A* conf
PSync: a partially synchronous language for fault-tolerant distributed algorithms.
POPL
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey
2015 — conf
The Need for Language Support for Fault-Tolerant Distributed Systems.
SNAPL
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey
2014 B conf
A Logic-Based Framework for Verifying Consensus Algorithms.
VMCAI
Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
2013 A* conf
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.
CAV
Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger
2013 B conf
Local Shape Analysis for Overlaid Data Structures.
SAS
Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2012 B conf
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.
VMCAI
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2012 B conf
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.
ATVA
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2011 A* conf
On inter-procedural analysis of programs with lists and data.
PLDI
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2010 A* conf
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.
CAV
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
2009 J jnl
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Log. Methods Comput. Sci.
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu
2009 B conf
A Logic-Based Framework for Reasoning about Composite Data Structures.
CONCUR
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
2009 — conf
Rewriting Systems over Nested Data Words.
MEMICS
Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu
2008 J jnl
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
CoRR
Cezara Dragoi, Gheorghe Stefanescu
2008 B conf
On Compiling Structured Interactive Programs with Registers and Voices.
SOFSEM
Cezara Dragoi, Gheorghe Stefanescu
2008 J jnl
On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections.
Int. J. Found. Comput. Sci.
Cezara Dragoi, Florin Manea
2007 — conf
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System.
FInCo@ETAPS
Cezara Dragoi, Gheorghe Stefanescu
2007 J jnl
Accepting Networks of Evolutionary Processors with Filtered Connections.
J. Univers. Comput. Sci.
Cezara Dragoi, Florin Manea, Victor Mitrana