Constantin Enea

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 85

Top Venues

CoRR

CAV (2)

Proc. ACM Program. Lang.

ESOP

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
Quorum Tree Abstractions of Consensus Protocols. CoRR (2023)
Constantin Enea, Parisa Fathololumi, Eric Koskinen
The Commutativity Quotients of Concurrent Objects. CoRR (2023)
Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil
Quorum Tree Abstractions of Consensus Protocols. ESOP (2023)
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas
A Domain Specific Language for Testing Consensus Implementations. CoRR (2023)
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels. CoRR (2023)
Hagit Attiya, Constantin Enea, Shafik Nassar
Faithful Simulation of Randomized BFT Protocols on Block DAGs. CONCUR (2023)
Hagit Attiya, Constantin Enea, Shafik Nassar
Faithful Simulation of Randomized BFT Protocols on Block DAGs. IACR Cryptol. ePrint Arch. 2023 (2023)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
A Pragmatic Approach to Stateful Partial Order Reduction. VMCAI (2023)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Comparing Causal Convergence Consistency Models. NETYS (2023)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Automated Synthesis of Asynchronizations. CoRR (2022)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Automated Synthesis of Asynchronizations. SAS (2022)
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking causal consistency of distributed databases. Computing 104 (10) (2022)
Hagit Attiya, Constantin Enea, Jennifer L. Welch
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations. PODC (2022)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
A Pragmatic Approach to Stateful Partial Order Reduction. CoRR (2022)
Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports 12 (12) (2022)
Hagit Attiya, Constantin Enea, Jennifer L. Welch
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs. CoRR (2021)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Robustness Against Transactional Causal Consistency. Log. Methods Comput. Sci. 17 (1) (2021)
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
MonkeyDB: effectively testing correctness under weak isolation levels. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels. CoRR (2021)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Between Weak Transactional Consistency Models. CoRR (2021)
Hagit Attiya, Constantin Enea, Jennifer L. Welch
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. CoRR (2021)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Between Weak Transactional Consistency Models. ESOP (2021)
Hagit Attiya, Constantin Enea, Jennifer L. Welch
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. DISC (2021)
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
Verifying Visibility-Based Weak Consistency. ESOP (2020)
Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Boosting Sequential Consistency Checking Using Saturation. ATVA (2020)
Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer
Inductive sequentialization of asynchronous programs. PLDI (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)
Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea
Behavioral simulation for smart contracts. PLDI (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving Highly-Concurrent Traversals Correct. CoRR (2020)
Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham
Proving highly-concurrent traversals correct. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking Causal Consistency of Distributed Databases. CoRR (2020)
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
Formalizing and Checking Multilevel Consistency. VMCAI (2020)
Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil
Root Causing Linearizability Violations. CAV (1) (2020)
Ranadeep Biswas, Constantin Enea
On the Complexity of Checking Transactional Consistency. CoRR (2019)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Robustness Against Transactional Causal Consistency. CoRR (2019)
Hagit Attiya, Constantin Enea
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects. DISC (2019)
Michael Emmi, Constantin Enea
Weak-consistency specification via visibility relaxation. Proc. ACM Program. Lang. 3 (POPL) (2019)
Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri, Chao Wang
Replication-Aware Linearizability. CoRR (2019)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Against Snapshot Isolation. CoRR (2019)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Checking Robustness Against Snapshot Isolation. CAV (2) (2019)
Hagit Attiya, Constantin Enea
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects. CoRR (2019)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Robustness Against Transactional Causal Consistency. CONCUR (2019)
Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri
Replication-aware linearizability. PLDI (2019)
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Abstract semantic diffing of evolving concurrent programs. Formal Methods Syst. Des. 54 (1) (2019)
Ranadeep Biswas, Michael Emmi, Constantin Enea
On the Complexity of Checking Consistency for Replicated Data Types. CAV (2) (2019)
Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Gradual Consistency Checking. CAV (2) (2019)
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
Verifying Visibility-Based Weak Consistency. CoRR (2019)
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking Causal Consistency of Distributed Databases. NETYS (2019)
Ranadeep Biswas, Constantin Enea
On the complexity of checking transactional consistency. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Michael Emmi, Constantin Enea
Violat: Generating Tests of Observational Refinement for Concurrent Objects. CAV (2) (2019)
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. CAV (2) (2018)
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony. CoRR (2018)
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
Datalog-based Scalable Semantic Diffing of Concurrent Programs. CoRR (2018)
Michael Emmi, Constantin Enea
Monitoring Weak Consistency. CAV (1) (2018)
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
Datalog-based scalable semantic diffing of concurrent programs. ASE (2018)
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
Order out of Chaos: Proving Linearizability Using Local Views. CoRR (2018)
Michael Emmi, Constantin Enea
Sound, complete, and tractable linearizability monitoring for concurrent collections. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
On reducing linearizability to state reachability. Inf. Comput. 261 (2018)
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham
Order out of Chaos: Proving Linearizability Using Local Views. DISC (2018)
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
Reasoning About TSO Programs Using Reduction and Abstraction. CAV (2) (2018)
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
On Verifying TSO Robustness for Event-Driven Asynchronous Programs. NETYS (2018)
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
Reasoning About TSO Programs Using Reduction and Abstraction. CoRR (2018)
Ahmed Bouajjani, Constantin Enea, Chao Wang
Checking Linearizability of Concurrent Priority Queues. CONCUR (2017)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. ESOP (2017)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
Compositional entailment checking for a fragment of separation logic. Formal Methods Syst. Des. 51 (3) (2017)
Ahmed Bouajjani, Constantin Enea, Chao Wang
Checking Linearizability of Concurrent Priority Queues. CoRR (2017)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
Proving Linearizability Using Forward Simulations. CAV (2) (2017)
Michael Emmi, Constantin Enea
Exposing Non-Atomic Methods of Concurrent Objects. CoRR (2017)
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Abstract Semantic Diffing of Evolving Concurrent Programs. SAS (2017)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
SPEN: A Solver for Separation Logic. NFM (2017)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
Proving linearizability using forward simulations. CoRR (2017)
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
On verifying causal consistency. POPL (2017)
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
On the path-width of integer linear programming. Inf. Comput. 253 (2017)
Constantin Enea, Azadeh Farzan
On Atomicity in Presence of Non-atomic Writes. TACAS (2016)
Michael Emmi, Constantin Enea
Symbolic abstract data type inference. POPL (2016)
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
On Verifying Causal Consistency. CoRR (2016)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
On Reducing Linearizability to State Reachability. CoRR (2015)
Michael Emmi, Constantin Enea, Jad Hamza
Monitoring refinement via symbolic reasoning. PLDI (2015)
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
On Automated Lemma Generation for Separation Logic with Inductive Definitions. ATVA (2015)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
On Reducing Linearizability to State Reachability. ICALP (2) (2015)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
Tractable Refinement Checking for Concurrent Objects. POPL (2015)
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
On Automated Lemma Generation for Separation Logic with Inductive Definitions. CoRR (2015)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk). FSTTCS (2015)
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
On the Path-Width of Integer Linear Programming. GandALF (2014)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
Compositional Entailment Checking for a Fragment of Separation Logic. APLAS (2014)
Ahmed Bouajjani, Constantin Enea, Jad Hamza
Verifying eventual consistency of optimistic replication systems. POPL (2014)
Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
Compositional Invariant Checking for Overlaid and Nested Linked Lists. ESOP (2013)
Rodica Bozianu, Catalin Dima, Constantin Enea
Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. TARK (2013)
Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Local Shape Analysis for Overlaid Data Structures. SAS (2013)
Rodica Bozianu, Catalin Dima, Constantin Enea
Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. CoRR (2013)
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza
Verifying Concurrent Programs against Sequential Specifications. ESOP (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)
Rodica Bozianu, Catalin Dima, Constantin Enea
Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics CoRR (2012)
Dimitar P. Guelev, Catalin Dima, Constantin Enea
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. J. Appl. Non Class. Logics 21 (1) (2011)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
On inter-procedural analysis of programs with lists and data. PLDI (2011)
Catalin Dima, Constantin Enea, Dimitar P. Guelev
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions GANDALF (2010)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV (2010)

Constantin Enea.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Constantin Enea