Alexandra Silva

Registered user since Sat 11 Jun 2016

Name: Alexandra Silva

Country: United Kingdom

Affiliation: University College London

Personal website: http://www.alexandrasilva.org/

Contributions

PLDI 2021 Workshops and Tutorials Co-Chair in Organizing Committee
POPL 2021 Presenter of SIGPLAN CARES within the POPL-track
Accessibility Chair in Organizing Committee
ECOOP 2021 PC Member in Program Committee within the ECOOP Research Papers-track
PLMW@PLDI 2020 Panelist of Panel: Charting your Path within the PLMW@PLDI 2020-track
SPLASH 2020 Committee Member in Program Committe within the CARES-track
ICFP 2020 Author of SIGPLAN CARES within the Social Events-track
Author of SIGPLAN CARES within the Social Events-track
POPL 2020 Accessibility Chair in Organizing Committee
Organizer in Organizers within the Ally Skills Session-track
Session Chair of Probabilistic Programming (part of Research Papers)
Author of Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Committee Member in Organizers within the W@POPL Dinner-track
Session Chair of Semantics of Probabilistic & Quantum Programming (part of Research Papers)
Author of [T7] Programming and Reasoning with Kleene Algebra with Tests within the TutorialFest-track
Committee Member in Selection Committee within the Student Research Competition-track
APLAS 2019 Ordinary PC member in Program Committee within the Research Papers-track
OPCT 2019 Session Chair of Algebra, Coalgebra (part of OPCT 2019)
Committee Member in Organizing Committee within the OPCT 2019-track
ESOP 2019 Committee Member in Program Committee within the ESOP 2019-track
PLDI 2019 Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
PLMW 2018 Committee Member in Organizers within the PLMW-track
PPS 2018 Author of Probabilistic Program Equivalence for NetKAT within the PPS 2018-track
FSCD 2017 Invited Speaker of Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages within the FSCD 2017-track
ICFP 2017 Session Chair of Applications (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PPS 2017 Committee Member in Program Committee within the PPS-track
PLMW Author of Student Interaction Activity within the PLMW-track
Committee Member in Program Committee within the PLMW-track
POPL 2017 Author of Learning nominal automata within the POPL-track
Author of Cantor Meets Scott: Semantic Foundations for Probabilistic Networks within the POPL-track
ERC member in External Review Committee within the POPL-track
Session Chair of Logic (part of POPL)
PLDI 2017 Committee Member in Program Committee
PPS 2016 Author of Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal within the PPS 2016-track
PLMW Author of Automata and Coinduction within the PLMW-track
POPL 2016 Committee Member in Program Committee
Session Chair of Track 2: Foundations of Model Checking (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track