Constantin Enea
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
15
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | On the Complexity of Checking Soundness of Natural Reductions. | Constantin Enea, Azadeh Farzan, Dominik Klumpp |
| 2026 | ESOP | Reduction for Structured Concurrent Programs. | Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer |
| 2026 | PODC | Impossibility Results for Strong Linearizability: The Difficulty of Consistent Refereeing. | Hagit Attiya, Armando Castaeda, Constantin Enea |
| 2025 | CAV | On the Complexity of Checking Mixed Isolation Levels for SQL Transactions. | Ahmed Bouajjani, Constantin Enea, Enrique Romn-Calvo |
| 2024 | ASPLOS | CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. | Hnkar Can Tun, Ameya Prashant Deshmukh, Berk irisci, Constantin Enea, Andreas Pavlogiannis |
| 2024 | PODC | Strong Linearizability using Primitives with Consensus Number 2. | Hagit Attiya, Armando Castaeda, Constantin Enea |
| 2023 | CONCUR | Faithful Simulation of Randomized BFT Protocols on Block DAGs. | Hagit Attiya, Constantin Enea, Shafik Nassar |
| 2023 | ESOP | Quorum Tree Abstractions of Consensus Protocols. | Berk irisci, Constantin Enea, Suha Orhun Mutluergil |
| 2023 | VMCAI | A Pragmatic Approach to Stateful Partial Order Reduction. | Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2022 | PODC | Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations. | Hagit Attiya, Constantin Enea, Jennifer L. Welch |
| 2022 | SAS | Automated Synthesis of Asynchronizations. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri |
| 2021 | ESOP | Checking Robustness Between Weak Transactional Consistency Models. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2020 | ATVA | Boosting Sequential Consistency Checking Using Saturation. | Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi |
| 2020 | CAV | Root Causing Linearizability Violations. | Berk irisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil |
| 2020 | ESOP | Verifying Visibility-Based Weak Consistency. | Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic |
| 2020 | PLDI | Behavioral simulation for smart contracts. | Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea |
| 2020 | PLDI | Inductive sequentialization of asynchronous programs. | Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer |
| 2020 | VMCAI | Formalizing and Checking Multilevel Consistency. | Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh |
| 2019 | CAV | Checking Robustness Against Snapshot Isolation. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2019 | CAV | On the Complexity of Checking Consistency for Replicated Data Types. | Ranadeep Biswas, Michael Emmi, Constantin Enea |
| 2019 | CAV | Violat: Generating Tests of Observational Refinement for Concurrent Objects. | Michael Emmi, Constantin Enea |
| 2019 | CAV | Gradual Consistency Checking. | Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi |
| 2019 | CONCUR | Robustness Against Transactional Causal Consistency. | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
| 2019 | PLDI | Replication-aware linearizability. | Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, 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, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | CAV | On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. | Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer |
| 2018 | CAV | Reasoning About TSO Programs Using Reduction and Abstraction. | Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran |
| 2018 | CAV | Monitoring Weak Consistency. | Michael Emmi, Constantin Enea |
| 2017 | CAV | Proving Linearizability Using Forward Simulations. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil |
| 2017 | CONCUR | Checking Linearizability of Concurrent Priority Queues. | Ahmed Bouajjani, Constantin Enea, Chao Wang |
| 2017 | ESOP | Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran |
| 2017 | POPL | On verifying causal consistency. | Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza |
| 2017 | SAS | Abstract Semantic Diffing of Evolving Concurrent Programs. | Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri |
| 2016 | POPL | Symbolic abstract data type inference. | Michael Emmi, Constantin Enea |
| 2016 | TACAS | On Atomicity in Presence of Non-atomic Writes. | Constantin Enea, Azadeh Farzan |
| 2015 | ATVA | On Automated Lemma Generation for Separation Logic with Inductive Definitions. | Constantin Enea, Mihaela Sighireanu, Zhilin Wu |
| 2015 | ICALP | On Reducing Linearizability to State Reachability. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | PLDI | Monitoring refinement via symbolic reasoning. | Michael Emmi, Constantin Enea, Jad Hamza |
| 2015 | POPL | Tractable Refinement Checking for Concurrent Objects. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2014 | APLAS | Compositional Entailment Checking for a Fragment of Separation Logic. | Constantin Enea, Ondrej Lengl, Mihaela Sighireanu, Toms Vojnar |
| 2014 | POPL | Verifying eventual consistency of optimistic replication systems. | Ahmed Bouajjani, Constantin Enea, Jad Hamza |
| 2013 | ESOP | Verifying Concurrent Programs against Sequential Specifications. | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
| 2013 | ESOP | Compositional Invariant Checking for Overlaid and Nested Linked Lists. | Constantin Enea, Vlad Saveluc, Mihaela Sighireanu |
| 2013 | SAS | Local Shape Analysis for Overlaid Data Structures. | Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2013 | TARK | Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. | Rodica Bozianu, Catalin Dima, Constantin Enea |
| 2012 | ATVA | Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2012 | VMCAI | Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2011 | PLDI | On inter-procedural analysis of programs with lists and data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2010 | CAV | Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
| 2009 | CONCUR | A Logic-Based Framework for Reasoning about Composite Data Structures. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2007 | SYNASC | Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability. | Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia |