Algebras for Deterministic Computation Are Inherently Incomplete [POPL 2025 — to appear]
pending 2411.14284
CF-GKAT: Efficient Validation of Control-Flow Transformations [POPL 2025 — to appear]
pending 2411.13220
An Elementary Proof of the FMP for Kleene Algebra [FI — to appear]
pending 2212.10931
Formal Abstractions for Packet Scheduling [OOPSLA 2023] ( Distinguished paper award)
with Anshuman Mohan, Yunhe Liu, Nate Foster, and Dexter Kozen
10.1145/3622845 2211.11659
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity [ICALP 2023]
with Wojciech Różowski, Dexter Kozen, Todd Schmid, and Alexandra Silva
10.4230/LIPIcs.ICALP.2023.136 2305.01755
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests [ESOP 2023]
with Todd Schmid, and Alexandra Silva
10.1007/978-3-031-30044-8_12 2301.11301 (fixed proofs!)
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered [RAMiCS 2023]
10.1007/978-3-031-28083-2_10 2212.10931v1
Leapfrog: Certified Equivalence for Protocol Parsers [PLDI 2022]
with Ryan Doenges, John Sarracino, Nate Foster, and Greg Morrisett
10.1145/3519939.3523715 2205.08762
A Categorical Framework for Learning Generalised Tree Automata [CMCS 2022]
with Gerco van Heerdt, Jurriaan Rot, Matteo Sammartino, and Alexandra Silva
10.1007/978-3-031-10736-8_4 2001.05786
Concurrent NetKAT: modeling and analyzing stateful, concurrent networks [ESOP 2022]
with Jana Wagemaker, Nate Foster, Dexter Kozen, Jurriaan Rot, and Alexandra Silva
10.1007/978-3-030-99336-8_21 2201.10485
Equivalence checking for weak bi-Kleene algebra [LMCS]
with Paul Brunet, Bas Luttik, Alexandra Silva, and Fabio Zanasi
10.46298/lmcs-17(3:19)2021 1807.02102
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness [ICALP 2021]
with Todd Schmid, Dexter Kozen, and Alexandra Silva
10.4230/LIPIcs.ICALP.2021.142 2102.08286
Learning Pomset Automata [FoSSaCS 2021]
with Gerco van Heerdt, Jurriaan Rot, and Alexandra Silva
10.1007/978-3-030-71995-1_26 2102.07504
Concurrent Kleene Algebra: Completeness and Decidability [PhD Thesis, UCL]
UCL/10109361
Partially Observable Concurrent Kleene Algebra [CONCUR 2020]
with Jana Wagemaker, Paul Brunet, Simon Docherty, Jurriaan Rot, and Alexandra Silva
10.4230/LIPIcs.CONCUR.2020.20 2007.07593 UCL/10109360
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness [FoSSaCS 2020]
with Paul Brunet, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi
10.1007/978-3-030-45231-5_20 2002.09682 UCL/10096503
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time [POPL 2020] ( Distinguished paper award)
with Steffen Smolka, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva
10.1145/3371129 1907.05920 UCL/10090950
Completeness and Incompleteness of Synchronous Kleene Algebra [MPC 2019]
with Jana Wagemaker, Marcello Bonsangue, Jurriaan Rot, and Alexandra Silva
10.1007/978-3-030-33636-3_14 1905.08554 UCL/10090952
Soft component automata: Composition, compilation, logic, and verification [J. Sci. Comp. Prog]
with Benjamin Lion, Farhad Arbab, and Carolyn Talcott
10.1016/j.scico.2019.08.001 UCL/10081003
Kleene Algebra with Observations [CONCUR 2019]
with Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi
10.4230/LIPIcs.CONCUR.2019.41 1811.10401 UCL/10088517
Tree Automata as Algebras: Minimisation and Determinisation [CALCO 2019]
with Gerco van Heerdt, Jurriaan Rot, Matteo Sammartino, and Alexandra Silva
10.4230/LIPIcs.CALCO.2019.6 1904.08802 UCL/10088222
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata [J. LAMP]
with Paul Brunet, Bas Luttik, Alexandra Silva, and Fabio Zanasi
10.1016/j.jlamp.2018.12.001 1812.03058 UCL/10063259
Decision problems for Clark-congruential languages [ICGI 2018] ( Best paper award)
with Makoto Kanazawa
1805.04402 v93/kanazawa19a UCL/10063347
Learning to coordinate [Farhad Arbab festschrift]
with Gerco van Heerdt, Bart Jacobs, and Alexandra Silva
10.1007/978-3-319-90089-6_10 UCL/10063413
Concurrent Kleene algebra: free model and completeness [ESOP 2018]
with Paul Brunet, Alexandra Silva, and Fabio Zanasi
10.1007/978-3-319-89884-1_30 1710.02787 UCL/10047906
A component-oriented framework for autonomous agents [FACS 2017]
with Farhad Arbab, and Carolyn Talcott
10.1007/978-3-319-68034-7_2 1708.00072 UCL/10068397
Brzozowski goes concurrent: a Kleene theorem for pomset languages [CONCUR 2017]
with Paul Brunet, Bas Luttik, Alexandra Silva, and Fabio Zanasi
10.4230/LIPIcs.CONCUR.2017.25 1704.07199 UCL/1561446
Constraint automata with memory cells and their composition [J. Sci. Comp. Prog]
with Sung-Shik Jongmans, and Farhad Arbab
10.1016/j.scico.2017.03.006 RU/2066/176558
A compositional framework for preference-aware agents [V²CPS 2016]
with Farhad Arbab, and Carolyn Talcott
10.4204/EPTCS.232.6 CWI/24625
Formal specification and analysis of robust adaptive distributed cyber-physical systems [SFM 2016]
with Carolyn Talcott, Vivek Nigam, and Farhad Arbab
10.1007/978-3-319-34096-8_1
Composing constraint automata, state-by-state [FACS 2015] ( Best paper award)
with Sung-Shik Jongmans, and Farhad Arbab
10.1007/978-3-319-28934-2_12 CWI/23621