Cezara Dragoi

According to our database, Cezara Dragoi authored at least 24 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Domain Specific Language for Testing Consensus Implementations.

Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas

CoRR, 2023

2022

A Sequentialization Procedure for Fault-Tolerant Protocols.

Cezara Dragoi, Patricio Inzaghi Pronesti

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

2020

Programming at the edge of synchrony.

Cezara Dragoi, Josef Widder, Damien Zufferey

Proc. ACM Program. Lang., 2020

Testing consensus implementations using communication closure.

Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

Proc. ACM Program. Lang., 2020

Shape Analysis.

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival

Found. Trends Program. Lang., 2020

2019

Communication-Closed Asynchronous Protocols.

Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reducing asynchrony to synchronized rounds.

Cezara Dragoi, Josef Widder

CoRR, 2018

2016

PSync: a partially synchronous language for fault-tolerant distributed algorithms.

Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

The Need for Language Support for Fault-Tolerant Distributed Systems.

Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014

A Logic-Based Framework for Verifying Consensus Algorithms.

Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013

Local Shape Analysis for Overlaid Data Structures.

Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Static Analysis - 20th International Symposium, 2013

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.

Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

On inter-procedural analysis of programs with lists and data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu

Log. Methods Comput. Sci., 2009

Rewriting Systems over Nested Data Words.

Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

A Logic-Based Framework for Reasoning about Composite Data Structures.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections.

Cezara Dragoi, Florin Manea

Int. J. Found. Comput. Sci., 2008

A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices

Cezara Dragoi, Gheorghe Stefanescu

CoRR, 2008

On Compiling Structured Interactive Programs with Registers and Voices.

Cezara Dragoi, Gheorghe Stefanescu

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

2007

Accepting Networks of Evolutionary Processors with Filtered Connections.

Cezara Dragoi, Florin Manea, Victor Mitrana

J. Univers. Comput. Sci., 2007

AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System.

Cezara Dragoi, Gheorghe Stefanescu

Proceedings of the Workshop on the Foundations of Interactive Computation, 2007