Alex Horn

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 4

Top Topics

Boolean Satisfiability

Theoretical Framework

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Alex Horn, Ali Kheradmand, Mukul R. Prasad
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. CoRR (2019)
Alex Horn, Ali Kheradmand, Mukul R. Prasad
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification. ICNP (2019)
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Delta-net: Real-time Network Verification Using Atoms. CoRR (2017)
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Delta-net: Real-time Network Verification Using Atoms. NSDI (2017)
Alex Horn, Daniel Kroening
Faster linearizability checking via $P$-compositionality. CoRR (2015)
Liana Hadarean, Alex Horn, Tim King
A Concurrency Problem with Exponential DPLL(T) Proofs. CoRR (2015)
Alex Horn, Daniel Kroening
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency. CoRR (2015)
Alex Horn, Daniel Kroening
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency. FORTE (2015)
Alex Horn, Daniel Kroening
Faster Linearizability Checking via P-Compositionality. FORTE (2015)
Alex Horn, Jade Alglave
Concurrent Kleene Algebra of Partial Strings. CoRR (2014)
Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening
Formal co-validation of low-level hardware/software interfaces. FMCAD (2013)