Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Liana Hadarean
conf.researchr.org general profile
ESEC/FSE 2021 profile
PLDI 2023 profile
POPL 2016 profile
POPL 2022 profile
POPL 2023 profile
Registered user since Wed 2 Nov 2022
Name:
Liana Hadarean
Country:
United States
Affiliation:
Amazon Web Services
Contributions
SOAP 2023
Session Chair of SOAP: Session 4 - Program Verification and Dynamic Analysis (part of SOAP 2023)
Committee Member in Organizing Committee within the SOAP 2023-track
VMCAI 2023
Committee Member in Program Committee within the VMCAI 2023-track
VMCAI 2022
PC Member in Program Committee within the VMCAI 2022-track
ESEC/FSE 2021
Author of RAPID: Checking API Usage for the Cloud in the Cloud within the Industry Papers-track
VMCAI
Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track
Share
x
Thu 1 Jun 05:25