Alexandra Silva

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 150

Top Venues

CoRR

CONCUR

J. Log. Algebraic Methods Program.

ICALP

Publications

Dexter Kozen, Alexandra Silva
Multisets and Distributions. Logics and Type Systems in Theory and Practice (2024)
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. CoRR (2024)
Noam Zilberstein, Angelina Saliling, Alexandra Silva
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
A cyclic proof system for Guarded Kleene Algebra with Tests (full version). CoRR (2024)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
A Cyclic Proof System for Guarded Kleene Algebra with Tests. IJCAR (2) (2024)
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. CoRR (2024)
Wojciech Rozowski, Alexandra Silva
A Completeness Theorem for Probabilistic Regular Expressions. LICS (2024)
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
On Iteration in Discrete Probabilistic Programming. FSCD (2024)
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. CoRR (2024)
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
A Categorical Approach to DIBI Models. FSCD (2024)
Fredrik Dahlqvist, Alexandra Silva, William Smith
Deterministic stream-sampling for probabilistic programming: semantics and verification. CoRR (2023)
Todd Schmid, Tobias Kappé, Alexandra Silva
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. ESOP (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ICALP (2023)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
Conflict-Aware Active Automata Learning. GandALF (2023)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Generators and Bases for Monadic Closures. CALCO (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs (extended version). CoRR (2023)
Noam Zilberstein, Angelina Saliling, Alexandra Silva
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. CoRR (2023)
Fredrik Dahlqvist, Alexandra Silva, William Smith
Deterministic stream-sampling for probabilistic programming: semantics and verification. LICS (2023)
Todd Schmid, Tobias Kappé, Alexandra Silva
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. CoRR (2023)
Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman
A Coalgebraic Approach to Reducing Finitary Automata. CoRR (2023)
Dexter Kozen, Alexandra Silva, Erik Voogd
Joint Distributions in Probabilistic Semantics. CoRR (2023)
Noam Zilberstein, Derek Dreyer, Alexandra Silva
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
Symbolic Semantics for Probabilistic Programs. QEST (2023)
Dexter Kozen, Alexandra Silva
Multisets and Distributions. CoRR (2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR (2023)
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
Conflict-Aware Active Automata Learning. CoRR (2023)
Wojciech Rozowski, Alexandra Silva
A Completeness Theorem for Probabilistic Regular Expressions. CoRR (2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher. ECOOP (2023)
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
Long-Term Mentoring for Computer Science Researchers. Commun. ACM 66 (5) (2023)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. ICALP (2022)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Guarded Kleene Algebra with Tests: Automata Learning. CoRR (2022)
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Tree-Based Adaptive Model Learning. CoRR (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR (2022)
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Tree-Based Adaptive Model Learning. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Mark Bickford, Dexter Kozen, Alexandra Silva
Formalizing Moessner's theorem and generalizations in Nuprl. J. Log. Algebraic Methods Program. 124 (2022)
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
Prognosis: Closed-Box Analysis of Network Protocol Implementations. CoRR (2022)
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
Long-Term Mentoring for Computer Science Researchers. CoRR (2022)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CMCS (2022)
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP (2022)
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
Processes Parametrised by an Algebraic Theory. CoRR (2022)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. CoRR (2021)
Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino
Canonical automata via distributive law homomorphisms. CoRR (2021)
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ICALP (2021)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. 17 (3) (2021)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Learning Pomset Automata. FoSSaCS (2021)
Nick Giannarakis, Alexandra Silva, David Walker
ProbNV: probabilistic verification of network control planes. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
Prognosis: closed-box analysis of network protocol implementations. SIGCOMM (2021)
Filippo Bonchi, Alexandra Silva, Ana Sokolova
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17 (3) (2021)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Bunched Logic for Conditional Independence. LICS (2021)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118 (2021)
Todd Schmid, Jurriaan Rot, Alexandra Silva
On Star Expressions and Coalgebraic Completeness Theorems. CoRR (2021)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Learning Pomset Automata. CoRR (2021)
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
Preservation of Equations by Monoidal Monads. CoRR (2020)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Dexter Kozen, Alexandra Silva
Left-handed completeness. Theor. Comput. Sci. 807 (2020)
Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR (2020)
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Learning Weighted Automata over Principal Ideal Domains. FoSSaCS (2020)
Tao Gu, Alexandra Silva, Fabio Zanasi
Hennessy-Milner Results for Probabilistic PDL. MFPS (2020)
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Actor-Based Model Checking for SDN Networks. CoRR (2020)
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Learning Automata with Side-Effects. CMCS (2020)
Alexandra Silva
Models of Concurrent Kleene Algebra. LPAR (2020)
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
Preservation of Equations by Monoidal Monads. MFCS (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CoRR (2020)
Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva
EATCS Distinguished Dissertation Award 2020 - Call for Nominations. Bull. EATCS 132 (2020)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Bases for algebras over a monad. CoRR (2020)
Sergey Goncharov, Stefan Milius, Alexandra Silva
Toward a Uniform Theory of Effectful State Machines. ACM Trans. Comput. Log. 21 (3) (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS (2020)
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Partially Observable Concurrent Kleene Algebra. CONCUR (2020)
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
Minimisation in Logical Form. CoRR (2020)
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
A Logic to Reason about Dependence and Independence. CoRR (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata. CoRR (2020)
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR (2020)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
Conditional transition systems with upgrades. Sci. Comput. Program. 186 (2020)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CoRR (2019)
Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk). MFCS (2019)
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
Tree Automata as Algebras: Minimisation and Determinisation. CALCO (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable Verification of Probabilistic Networks. CoRR (2019)
Alexandra Silva
An Algebraic Framework to Reason About Concurrency (Invited Talk). FSTTCS (2019)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. 103 (2019)
Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). Log. J. IGPL 27 (1) (2019)
Paul Brunet, Alexandra Silva
A Kleene Theorem for Nominal Automata. ICALP (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. MPC (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable verification of probabilistic networks. PLDI (2019)
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
A (co)algebraic theory of succinct automata. CoRR (2019)
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
A (co)algebraic theory of succinct automata. J. Log. Algebraic Methods Program. 105 (2019)
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
Learning Weighted Automata over Principal Ideal Domains. CoRR (2019)
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR (2019)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
Symbolic Register Automata. CAV (1) (2019)
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
Kleene Algebra with Observations. CONCUR (2019)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR (2019)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Borel Kernels and their Approximation, Categorically. CoRR (2018)
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
Layer by Layer - Combining Monads. ICTAC (2018)
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
Convex Language Semantics for Nondeterministic Probabilistic Automata. ICTAC (2018)
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
Almost Sure Productivity. CoRR (2018)
Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier
Borel Kernels and their Approximation, Categorically. MFPS (2018)
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
Equivalence checking for weak bi-Kleene algebra. CoRR (2018)
Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
Learning to Coordinate. It's All About Coordination (2018)
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
Concurrent Kleene Algebra: Free Model and Completeness. ESOP (2018)

Alexandra Silva.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandra Silva