Cezara Dragoi

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 8

Top Topics

Distributed Systems

Fourier Descriptors

Top Venues

Proc. ACM Program. Lang.

Found. Trends Program. Lang.

Publications

Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas
A Domain Specific Language for Testing Consensus Implementations. CoRR (2023)
Cezara Dragoi, Patricio Inzaghi Pronesti
A Sequentialization Procedure for Fault-Tolerant Protocols. VSTTE (2022)
Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
Shape Analysis. Found. Trends Program. Lang. 6 (1-2) (2020)
Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
Testing consensus implementations using communication closure. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Cezara Dragoi, Josef Widder, Damien Zufferey
Programming at the edge of synchrony. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
Communication-Closed Asynchronous Protocols. CAV (2) (2019)
Cezara Dragoi, Josef Widder
Reducing asynchrony to synchronized rounds. CoRR (2018)
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey
PSync: a partially synchronous language for fault-tolerant distributed algorithms. POPL (2016)
Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey
The Need for Language Support for Fault-Tolerant Distributed Systems. SNAPL (2015)
Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
A Logic-Based Framework for Verifying Consensus Algorithms. VMCAI (2014)
Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. CAV (2013)
Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Local Shape Analysis for Overlaid Data Structures. SAS (2013)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. ATVA (2012)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. VMCAI (2012)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
On inter-procedural analysis of programs with lists and data. PLDI (2011)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV (2010)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes Log. Methods Comput. Sci. 5 (2) (2009)
Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu
Rewriting Systems over Nested Data Words. MEMICS (2009)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
A Logic-Based Framework for Reasoning about Composite Data Structures. CONCUR (2009)
Cezara Dragoi, Florin Manea
On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections. Int. J. Found. Comput. Sci. 19 (5) (2008)
Cezara Dragoi, Gheorghe Stefanescu
On Compiling Structured Interactive Programs with Registers and Voices. SOFSEM (2008)
Cezara Dragoi, Gheorghe Stefanescu
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices CoRR (2008)
Cezara Dragoi, Gheorghe Stefanescu
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. Electron. Notes Theor. Comput. Sci. 203 (3) (2008)
Cezara Dragoi, Florin Manea, Victor Mitrana
Accepting Networks of Evolutionary Processors with Filtered Connections. J. Univers. Comput. Sci. 13 (11) (2007)