Alexandra Silva
University College London
H-index: 27
Europe-United Kingdom
Top articles of Alexandra Silva
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers | arXiv preprint arXiv:2404.05097 | Linpeng Zhang Noam Zilberstein Benjamin Lucien Kaminski Alexandra Silva | 2024/4/7 |
KATch: A Fast Symbolic Verifier for NetKAT | arXiv preprint arXiv:2404.04760 | Mark Moeller Jules Jacobs Olivier Savary Belanger David Darais Cole Schlesinger | 2024/4/7 |
A Categorical Approach to DIBI Models | arXiv preprint arXiv:2401.05842 | Tao Gu Jialu Bao Justin Hsu Alexandra Silva Fabio Zanasi | 2024/1/11 |
LIPIcs, Volume 288, CSL 2024, Complete Volume | Aniello Murano Alexandra Silva | 2024 | |
Probabilistic Guarded KAT modulo bisimilarity: Completeness and complexity | arXiv preprint arXiv:2305.01755 | Wojciech Różowski Tobias Kappé Dexter Kozen Todd Schmid Alexandra Silva | 2023/5/2 |
Guarded Kleene Algebra with Tests: Automata Learning | Electronic Notes in Theoretical Informatics and Computer Science | Stefan Zetzsche Alexandra Silva Matteo Sammartino | 2023/2/28 |
Minimisation in logical form | Nick Bezhanishvili Marcello M Bonsangue Helle Hvid Hansen Dexter Kozen Clemens Kupke | 2023/8/2 | |
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) | The Bulletin of Symbolic Logic | Alexandra Silva Renata Wassermann Ruy de Queiroz | 2023/12/1 |
Multisets and distributions | arXiv preprint arXiv:2301.10812 | Dexter Kozen Alexandra Silva | 2023/1/25 |
Conflict-Aware Active Automata Learning (Extended Version) | arXiv e-prints | Tiago Ferreira Léo Henry Raquel Fernandes da Silva Alexandra Silva | 2023/8 |
Long-Term Mentoring for Computer Science Researchers | Communications of the ACM | Emily Ruppel Sihang Liu Elba Garza Sukyoung Ryu Alexandra Silva | 2023/4/21 |
Joint Distributions in Probabilistic Semantics | Electronic Notes in Theoretical Informatics and Computer Science | Dexter Kozen Alexandra Silva Erik Voogd | 2023/11/23 |
Symbolic Semantics for Probabilistic Programs (extended version) | arXiv preprint arXiv:2307.09951 | Erik Voogd Einar Broch Johnsen Alexandra Silva Zachary J Susag Andrzej Wąsowski | 2023/7/19 |
Automata learning with an incomplete teacher (artifact) | Mark Moeller Thomas Wiener Alaia Solko-Breslin Caleb Koch Nate Foster | 2023 | |
A complete inference system for skip-free guarded Kleene algebra with tests | Todd Schmid Tobias Kappé Alexandra Silva | 2023/4/17 | |
A Completeness Theorem for Probabilistic Regular Expressions | arXiv preprint arXiv:2310.08779 | Wojciech Różowski Alexandra Silva | 2023/10/12 |
Deterministic stream-sampling for probabilistic programming: semantics and verification | Fredrik Dahlqvist Alexandra Silva William Smith | 2023/6/26 | |
Automata Learning with an Incomplete Teacher | Mark Moeller Thomas Wiener Alaia Solko-Breslin Caleb Koch Nate Foster | 2023 | |
Outcome logic: A unifying foundation for correctness and incorrectness reasoning | Proceedings of the ACM on Programming Languages | Noam Zilberstein Derek Dreyer Alexandra Silva | 2023/4/6 |
Symbolic semantics for probabilistic programs | Erik Voogd Einar Broch Johnsen Alexandra Silva Zachary J Susag Andrzej Wąsowski | 2023/9/15 |