Constantin is an Associate Professor at the University Paris Diderot (Paris 7), member of IRIF, a research laboratory of University Paris Diderot and CNRS. Before that, he was a post-doc in the same laboratory and he was awarded a joint phd at University Paris 12 and Universitatea "Al. I. Cuza", Iasi, Romania, under the advising of Catalin Dima and Ferucio Laurentiu Tiplea.

Constantin's research is focused on developing formal verification and analysis techniques to help the construction of reliable software systems. More precisely, his main research interests are:

  • Algorithmic and logical foundations for constructing reliable software
  • Programming abstractions for concurrent and distributed software
  • Algorithmic verification, static analysis

Upcoming events:

My research is founded in part by an ERC Starting Grant "Formal Specification and Verification of Distributed Data Structures" (2016-2021).


A list of recent publications. For the full list see DBLP

  • Sound, Complete, and Tractable Linearizability Monitoring for Concurrent Collections. (pdf), with Michael Emmi POPL 2018
  • Checking Linearizability of Concurrent Priority Queues. (pdf), with Ahmed Bouajjani and Chao Wang CONCUR 2017
  • Abstract Semantic Diffing of Evolving Concurrent Programs. (pdf), with Ahmed Bouajjani and Shuvendu Lahiri SAS 2017
  • Proving Linearizability Using Forward Simulations. (pdf), with Ahmed Bouajjani, Michael Emmi, and Suha Orhun Mutluergil CAV 2017
  • Verifying Robustness of Event-Driven Asynchronous Programs against Concurrency (pdf), with Ahmed Bouajjani, Michael Emmi, Burcu Kulahcioglu Ozkan, and Serdar Tasiran, ESOP 2017
  • On Verifying Causal Consistency (pdf, long version), with Ahmed Bouajjani, Rachid Guerraoui, and Jad Hamza, POPL 2017
  • On Atomicity in Presence of Non-atomic Writes (pdf), with Azadeh Farzan, TACAS 2016
  • Symbolic Abstract Data Type Inference (pdf), with Michael Emmi, POPL 2016
  • On Automated Lemma Generation for Separation Logic with Inductive Definitions (pdf), with Mihaela Sighireanu and Zhilin Wu, ATVA 2015
  • On Reducing Linearizability to State Reachability (pdf, journal version), with Ahmed Bouajjani, Michael Emmi, and Jad Hamza, ICALP 2015
  • Monitoring Refinement via Symbolic Reasoning (pdf), with Michael Emmi, and Jad Hamza, PLDI 2015
  • Tractable Refinement Checking for Concurrent Objects (pdf), with Ahmed Bouajjani, Michael Emmi, and Jad Hamza, POPL 2015
  • Compositional Entailment Checking for a Fragment of Separation Logic (pdf), with Ondrej Lenga, Mihaela Sighireanu, and Tomas Vojnar, APLAS 2014
    • The tool SPEN participated to SL-COMP'14, a competition of solvers for Separation Logic
  • On the Path-Width of Integer Linear Programming (pdf), with Peter Habermehl, Omar Inverso, and Gennaro Parlato, GANDALF 2014
  • Verifying Eventual Consistency of Optimistic Replication Systems (pdf), with Ahmed Bouajjani and Jad Hamza, POPL 2014
  • Local Shape Analysis for Overlaid Data Structures (pdf), with Cezara Dragoi and Mihaela Sighireanu, SAS 2013
  • Verifying Concurrent Programs Against Sequential Specifications (pdf, technical report pdf), with Ahmed Bouajjani, Michael Emmi, and Jad Hamza, ESOP 2013
  • Compositional Invariant Checking for Overlaid and Nested Linked Lists (pdf), with Vlad Saveluc and Mihaela Sighireanu, ESOP 2013
  • Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data (pdf), with Ahmed Bouajjani, Cezara Dragoi, and Mihaela Sighireanu, ATVA 2012
  • Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (pdf) , with Ahmed Bouajjani, Cezara Dragoi, and Mihaela Sighireanu, VMCAI 2012
  • On Inter-Procedural Analysis of Programs with Lists and Data (pdf), with Ahmed Bouajjani, Cezara Dragoi, and Mihaela Sighireanu, PLDI 2011


Phd students:

Ranadeep Biswas (started 2017)
Sidi Mohamed Beillahi (started 2017)


German Andres Delbianco
Chao Wang

Graduated Phd students:

Jad Hamza (graduated 2016, co-directed with Ahmed Bouajjani)

Graduated MSC students:

Maria Abramiuc (2012, co-directed with Mihaela Sighireanu)
Vlad Saveluc (2013, co-directed with Mihaela Sighireanu)

Professional activities

Program Co-Chair     EPIT 2018
Program Co-Chair     YR-CONCUR 2018
Program Committee     PAPOC 2018
Program Committee     NETYS 2018
Program Committee     POPL 2018
Program Committee     RADICAL 2017
Program Committee     CONCUR 2017
Program Committee     ATVA 2017
Program Committee    CAV 2016
Program Committee    VMCAI 2015