pith. sign in

Constantin Enea

Identifiers

  • name variant Constantin Enea 0.60 · backfill

Papers (17)

  1. On the Complexity of Checking Soundness of Natural Reductions (Extended Version) cs.PL · 2026 · author #1
  2. Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects cs.DC · 2019 · author #2
  3. Checking Robustness Against Snapshot Isolation cs.LO · 2019 · author #3
  4. Replication-Aware Linearizability cs.PL · 2019 · author #1
  5. Datalog-based Scalable Semantic Diffing of Concurrent Programs cs.SE · 2018 · author #3
  6. Order out of Chaos: Proving Linearizability Using Local Views cs.DC · 2018 · author #2
  7. On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony cs.PL · 2018 · author #2
  8. Reasoning About TSO Programs Using Reduction and Abstraction cs.LO · 2018 · author #2
  9. Checking Linearizability of Concurrent Priority Queues cs.PL · 2017 · author #2
  10. Exposing Non-Atomic Methods of Concurrent Objects cs.SE · 2017 · author #2
  11. Proving linearizability using forward simulations cs.PL · 2017 · author #3
  12. On Verifying Causal Consistency cs.LO · 2016 · author #2
  13. On Reducing Linearizability to State Reachability cs.LO · 2015 · author #3
  14. On the Path-Width of Integer Linear Programming cs.LO · 2014 · author #1
  15. Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics cs.GT · 2013 · author #3
  16. Model-checking an Epistemic \mu-calculus with Synchronous and Perfect Recall Semantics cs.LO · 2012 · author #3
  17. A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes cs.LO · 2009 · author #3

Mentions

  • 1310.6434 #3 · backfill · confidence 0.70 Constantin Enea
  • 1204.2087 #3 · backfill · confidence 0.70 Constantin Enea
  • 0903.3126 #3 · backfill · confidence 0.70 Constantin Enea

Frequent Coauthors