Alexandra Silva

Registered user since Sat 11 Jun 2016

Name:Alexandra Silva
Country:United States
Affiliation:Cornell University

Contributions

SPLASH 2023 Author of Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning within the OOPSLA-track
POPL 2023 Speaker of Probabilistic Inference: Session Preview within the Session Previews-track
LAFI 2023 Author of On Iteration in Discrete Probabilistic Programming within the LAFI 2023-track
ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
PLDI 2022 Co-chair in Workshop Co-Chairs within the Workshops and Tutorials-track
Workshops Co-Chair in Organizing Committee
POPL 2022 Author of Coalgebra for the working programming languages researcher within the POPL-track
PLMW 2022 Author of Finding a research topic (or being found by a research topic?) within the PLMW 2022-track
Invited Speaker in Invited speakers within the PLMW 2022-track
SPLASH 2021 Committee Member in Program Committe within the CARES-track
ICFP 2021 Speaker of SIGPLAN CARES within the Social Events-track
Author of ProbNV: Probabilistic Verification of Network Control Planes within the Research Papers-track
ECOOP 2021 PC Member in Program Committee within the ECOOP Technical Papers-track
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
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
PLMW@PLDI 2020 Panelist of Panel: Charting your Path within the PLMW@PLDI 2020-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
PLDI 2019 Author of Scalable Verification of Probabilistic Networks within the PLDI Research Papers-track
ESOP 2019 Committee Member in Program Committee within the ESOP 2019-track
OPCT 2019 Session Chair of Algebra, Coalgebra (part of OPCT 2019)
Committee Member in Organizing Committee within the OPCT 2019-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
ICFP 2017 Session Chair of Applications (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
FSCD 2017 Invited Speaker of Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages within the FSCD 2017-track
PLDI 2017 Committee Member in Program Committee
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)
PLMW Author of Student Interaction Activity within the PLMW-track
Committee Member in Program Committee within the PLMW-track
PPS 2017 Committee Member in Program Committee within the PPS-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
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