Person: Constantin Enea

DBLP: Enea:Constantin

Contributed to:

2015

2015

2015

2014

2013

2013

2012

2011

2010

2018

2017

2017

2018

2018

2019

2019

2016

2017

2018

2019

2019

Wrote 26 papers:

ICALP-v2-2015-BouajjaniEEH #on the #reachability

On Reducing Linearizability to State Reachability (AB, ME, CE, JH), pp. 95–107.

PLDI-2015-EmmiEH #monitoring #reasoning #refinement

Monitoring refinement via symbolic reasoning (ME, CE, JH), pp. 260–269.

POPL-2015-BouajjaniEEH #concurrent #refinement

Tractable Refinement Checking for Concurrent Objects (AB, ME, CE, JH), pp. 651–662.

POPL-2014-BouajjaniEH #consistency #replication #verification

Verifying eventual consistency of optimistic replication systems (AB, CE, JH), pp. 285–296.

ESOP-2013-BouajjaniEEH #concurrent #source code #specification #verification

Verifying Concurrent Programs against Sequential Specifications (AB, ME, CE, JH), pp. 290–309.

ESOP-2013-EneaSS #composition #invariant

Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.

SAS-2013-DragoiES #analysis #data type

Local Shape Analysis for Overlaid Data Structures (CD, CE, MS), pp. 150–171.

VMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.

PLDI-2011-BouajjaniDES #analysis #interprocedural #on the #source code

On inter-procedural analysis of programs with lists and data (AB, CD, CE, MS), pp. 578–589.

CAV-2010-BouajjaniDERS #bound #invariant #source code #synthesis

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data (AB, CD, CE, AR, MS), pp. 72–88.

ASE-2018-SungLEW #concurrent #difference #scalability #semantics #source code

Datalog-based scalable semantic diffing of concurrent programs (CS, SKL, CE, CW0), pp. 656–666.

ESOP-2017-BouajjaniEEOT #concurrent #robust #source code #verification

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency (AB, ME, CE, BKO, ST), pp. 170–200.

CAV-2017-BouajjaniEEM #proving #simulation #using

Proving Linearizability Using Forward Simulations (AB, ME, CE, SOM), pp. 542–563.

CAV-2018-EmmiE #consistency #monitoring

Monitoring Weak Consistency (ME, CE), pp. 487–506.

CAV-2018-BouajjaniEJQ #bound #message passing #on the #source code #verification

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony (AB, CE, KJ, SQ), pp. 372–391.

CAV-2018-BouajjaniEMT #abstraction #reasoning #reduction #source code #using

Reasoning About TSO Programs Using Reduction and Abstraction (AB, CE, SOM, ST), pp. 336–353.

CAV-2019-BeillahiBE #robust

Checking Robustness Against Snapshot Isolation (SMB, AB, CE), pp. 286–304.

CAV-2019-BiswasEE #complexity #consistency #data type #on the

On the Complexity of Checking Consistency for Replicated Data Types (RB, ME, CE), pp. 324–343.

CAV-2019-EmmiE #concurrent #generative #named #refinement #testing

Violat: Generating Tests of Observational Refinement for Concurrent Objects (ME, CE), pp. 534–546.

CAV-2019-ZennouBEE #consistency

Gradual Consistency Checking (RZ, AB, CE, ME), pp. 267–285.

OOPSLA-2019-BiswasE #complexity #consistency #on the #transaction

On the complexity of checking transactional consistency (RB, CE), p. 28.

POPL-2016-EmmiE #data type #type inference

Symbolic abstract data type inference (ME, CE), pp. 513–525.

POPL-2017-BouajjaniEGH #consistency #on the #verification

On verifying causal consistency (AB, CE, RG, JH), pp. 626–638.

POPL-2018-EmmiE #concurrent #monitoring

Sound, complete, and tractable linearizability monitoring for concurrent collections (ME, CE), p. 27.

PLDI-2019-WangEMP

Replication-aware linearizability (CW, CE, SOM, GP), pp. 980–993.

POPL-2019-EmmiE #specification

Weak-consistency specification via visibility relaxation (ME, CE), p. 28.