A Domain Specific Language for Testing Distributed Protocol Implementations.

Cezara Dragoi Cezara Dragoi Srinidhi Nagendra Mandayam Srivas A Domain Specific Language for Testing Distributed Protocol Implementations. 100-117 2024 NETYS https://doi.org/10.1007/978-3-031-67321-4_6 conf/netys/2024 db/conf/netys/netys2024.html#DragoiNS24 streams/conf/netys Cezara Dragoi Michael Emmi Jingbo Wang 0006 Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings VMCAI Springer 2023 Lecture Notes in Computer Science 13881 978-3-031-24949-5 978-3-031-24950-1 https://doi.org/10.1007/978-3-031-24950-1 db/conf/vmcai/vmcai2023.html

Cezara Dragoi Constantin Enea Srinidhi Nagendra Mandayam Srivas A Domain Specific Language for Testing Consensus Implementations. 2023 abs/2303.05893 CoRR https://doi.org/10.48550/arXiv.2303.05893 db/journals/corr/corr2303.html#abs-2303-05893

Cezara Dragoi Patricio Inzaghi Pronesti A Sequentialization Procedure for Fault-Tolerant Protocols. 52-71 2022 VSTTE https://doi.org/10.1007/978-3-031-25803-9_4 conf/vstte/2022 db/conf/vstte/vstte2022.html#DragoiP22 Cezara Dragoi Suvam Mukherjee Kedar S. Namjoshi Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings SAS Springer 2021 Lecture Notes in Computer Science 12913 978-3-030-88805-3 978-3-030-88806-0 https://doi.org/10.1007/978-3-030-88806-0 db/conf/sas/sas2021.html

Bor-Yuh Evan Chang Cezara Dragoi Roman Manevich Noam Rinetzky Xavier Rival Shape Analysis. 1-158 2020 6 Found. Trends Program. Lang. 1-2 https://doi.org/10.1561/2500000037 db/journals/ftpl/ftpl6.html#ChangDMRR20

Cezara Dragoi Constantin Enea Burcu Kulahcioglu Ozkan Rupak Majumdar Filip Niksic Testing consensus implementations using communication closure. 210:1-210:29 2020 4 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3428278 db/journals/pacmpl/pacmpl4.html#DragoiEOMN20

Cezara Dragoi Josef Widder Damien Zufferey Programming at the edge of synchrony. 213:1-213:30 2020 4 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3428281 https://www.wikidata.org/entity/Q130867067 db/journals/pacmpl/pacmpl4.html#DragoiWZ20

Andrei Damian Cezara Dragoi Alexandru Militaru Josef Widder Communication-Closed Asynchronous Protocols. 344-363 2019 CAV (2) https://doi.org/10.1007/978-3-030-25543-5_20 conf/cav/2019-2 db/conf/cav/cav2019-2.html#DamianDMW19

Cezara Dragoi Josef Widder Reducing asynchrony to synchronized rounds. 2018 abs/1804.07078 CoRR http://arxiv.org/abs/1804.07078 db/journals/corr/corr1804.html#abs-1804-07078

Cezara Dragoi Thomas A. Henzinger Damien Zufferey PSync: a partially synchronous language for fault-tolerant distributed algorithms. 400-415 2016 POPL https://doi.org/10.1145/2837614.2837650 https://doi.org/10.1145/2914770.2837650 conf/popl/2016 db/conf/popl/popl2016.html#DragoiHZ16 Cezara Dragoi Thomas A. Henzinger Damien Zufferey The Need for Language Support for Fault-Tolerant Distributed Systems. 90-102 2015 SNAPL https://doi.org/10.4230/LIPIcs.SNAPL.2015.90 conf/snapl/2015 db/conf/snapl/snapl2015.html#DragoiHZ15 Cezara Dragoi Thomas A. Henzinger Helmut Veith Josef Widder Damien Zufferey A Logic-Based Framework for Verifying Consensus Algorithms. 161-181 2014 VMCAI https://doi.org/10.1007/978-3-642-54013-4_10 conf/vmcai/2014 db/conf/vmcai/vmcai2014.html#DragoiHVWZ14 Cezara Dragoi Ashutosh Gupta 0001 Thomas A. Henzinger Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. 174-190 2013 CAV https://doi.org/10.1007/978-3-642-39799-8_11 conf/cav/2013 db/conf/cav/cav2013.html#DragoiGH13 Cezara Dragoi Constantin Enea Mihaela Sighireanu Local Shape Analysis for Overlaid Data Structures. 150-171 2013 SAS https://doi.org/10.1007/978-3-642-38856-9_10 conf/sas/2013 db/conf/sas/sas2013.html#DragoiES13 Ahmed Bouajjani Cezara Dragoi Constantin Enea Mihaela Sighireanu Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. 167-182 2012 ATVA https://doi.org/10.1007/978-3-642-33386-6_14 conf/atva/2012 db/conf/atva/atva2012.html#BouajjaniDES12 Ahmed Bouajjani Cezara Dragoi Constantin Enea Mihaela Sighireanu Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. 1-22 2012 VMCAI https://doi.org/10.1007/978-3-642-27940-9_1 conf/vmcai/2012 db/conf/vmcai/vmcai2012.html#BouajjaniDES12 Ahmed Bouajjani Cezara Dragoi Constantin Enea Mihaela Sighireanu On inter-procedural analysis of programs with lists and data. 578-589 2011 PLDI https://doi.org/10.1145/1993498.1993566 https://doi.org/10.1145/1993316.1993566 conf/pldi/2011 db/conf/pldi/pldi2011.html#BouajjaniDES11 Ahmed Bouajjani Cezara Dragoi Constantin Enea Ahmed Rezine Mihaela Sighireanu Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. 72-88 2010 CAV https://doi.org/10.1007/978-3-642-14295-6_8 conf/cav/2010 db/conf/cav/cav2010.html#BouajjaniDERS10

Ahmed Bouajjani Cezara Dragoi Constantin Enea Yan Jurski Mihaela Sighireanu A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes http://arxiv.org/abs/0903.3126 2009 Log. Methods Comput. Sci. 5 db/journals/lmcs/lmcs5.html#abs-0903-3126 2

Ahmed Bouajjani Cezara Dragoi Constantin Enea Mihaela Sighireanu A Logic-Based Framework for Reasoning about Composite Data Structures. 178-195 2009 CONCUR https://doi.org/10.1007/978-3-642-04081-8_13 conf/concur/2009 db/conf/concur/concur2009.html#BouajjaniDES09 Ahmed Bouajjani Cezara Dragoi Yan Jurski Mihaela Sighireanu Rewriting Systems over Nested Data Words. 2009 MEMICS http://drops.dagstuhl.de/opus/volltexte/2009/2356 conf/memics/2009 db/conf/memics/memics2009.html#BouajjaniDJS09

Cezara Dragoi Florin Manea On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections. 1113-1132 2008 19 Int. J. Found. Comput. Sci. 5 https://doi.org/10.1142/S0129054108006170 db/journals/ijfcs/ijfcs19.html#DragoiM08

Cezara Dragoi Gheorghe Stefanescu On Compiling Structured Interactive Programs with Registers and Voices. 259-270 2008 conf/sofsem/2008 SOFSEM https://doi.org/10.1007/978-3-540-77566-9_22 db/conf/sofsem/sofsem2008.html#DragoiS08

Cezara Dragoi Gheorghe Stefanescu A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices http://arxiv.org/abs/0810.3332 2008 CoRR abs/0810.3332 db/journals/corr/corr0810.html#abs-0810-3332

Cezara Dragoi Florin Manea Victor Mitrana Accepting Networks of Evolutionary Processors with Filtered Connections. 1598-1614 2007 13 J. Univers. Comput. Sci. 11 https://doi.org/10.3217/jucs-013-11-1598 db/journals/jucs/jucs13.html#DragoiMM07

Cezara Dragoi Gheorghe Stefanescu AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. 69-94 2007 conf/etaps/2007finco FInCo@ETAPS https://doi.org/10.1016/j.entcs.2008.04.087 db/conf/etaps/finco2007.html#DragoiS08 Ahmed Bouajjani Bor-Yuh Evan Chang Andrei Damian Michael Emmi Constantin Enea Ashutosh Gupta 0001 Thomas A. Henzinger Yan Jurski Rupak Majumdar Florin Manea Roman Manevich Alexandru Militaru Victor Mitrana Suvam Mukherjee Srinidhi Nagendra Kedar S. Namjoshi Filip Niksic Burcu Kulahcioglu Ozkan Patricio Inzaghi Pronesti Ahmed Rezine Noam Rinetzky Xavier Rival Mihaela Sighireanu Mandayam Srivas Gheorghe Stefanescu Helmut Veith Jingbo Wang 0006 Josef Widder Damien Zufferey