Alexandra Silva -

Registered user since Sat 11 Jun 2016

Name:Alexandra Silva

Country:United States

Affiliation:Cornell University

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

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