41 citations · 50 across the 6 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015
A Concurrency Problem with Exponential DPLL(T) Proofs
Liana Hadarean, Alex Horn, Tim King
Many satisfiability modulo theories solvers implement a variant of the DPLL(T ) framework which separates theory-specific reasoning from reasoning on the propositional abstraction…
cs.DC2015★ 4 cited
Faster linearizability checking via -compositionality
Alex Horn, Daniel Kroening
Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality princi…
cs.LO2015
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
Alex Horn, Daniel Kroening
Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in pa…