Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lenore Zuck
conf.researchr.org general profile
ETAPS 2019 profile
PLDI 2024 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2010 profile
SPLASH 2021 profile
Registered user since Thu 18 Jun 2015
Name:
Lenore Zuck
Country:
United States
Affiliation:
UIC
Personal website:
http://cs.uic.edu/~lenore
Contributions
2024
PODELSKI
Author of Liveness to Safety for Distributed Systems within the PLDI 2024 Workshop Honoring Andreas Podelski-track
VMCAI
Committee Member in Program Committee within the VMCAI 2024-track
2022
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
PC Member in Program Committee within the VMCAI 2022-track
2021
Static Analysis Symposium
Committee Member in Program Committee within the SAS-track
VMCAI
Committee Member in Program Committee within the VMCAI-track
2020
VMCAI
Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track
Treasurer & Conference Manager in Steering Committee within the VMCAI 2020-track
PC Member in Program Committee within the VMCAI 2020-track
2019
ETAPS
Tutorials in Executive Board
Author of ETAPS Steering committee meeting within the Social-track
VMCAI
Committee Member in Program Committee within the VMCAI 2019-track
Session Chair of Invited Talk 2 (part of VMCAI 2019)
2018
VMCAI
Author of P5: Planner-less Proofs of Probabilistic Parameterized Protocols within the VMCAI 2018-track
Session Chair of Invited Talk by Kenneth L. McMillan (part of VMCAI 2018)
2017
VMCAI
Committee Member in Steering Committee
2016
VMCAI
Treasurer & Conference Manager in Organizing Committee
Committee Member in Program Committee
Committee Member in Steering Committee
Share
x
Thu 21 Nov 12:06
