conf.researchr.org / Liana Hadarean

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