Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Liana Hadarean
conf.researchr.org general profile
ESEC/FSE 2021 profile
ESEC/FSE 2023 profile
PLDI 2023 profile
POPL 2016 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Wed 2 Nov 2022
Name:
Liana Hadarean
Country:
United States
Affiliation:
Amazon Web Services
Contributions
2024
VMCAI
Committee Member in Program Committee within the VMCAI 2024-track
2023
ESEC/FSE
Author of Compositional Taint Analysis for Enforcing Security Policies at Scale within the Industry Papers-track
SOAP
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
Committee Member in Program Committee within the VMCAI 2023-track
2022
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2021
ESEC/FSE
Author of RAPID: Checking API Usage for the Cloud in the Cloud within the Industry Papers-track
2016
VMCAI
Author of Automatic Generation of Propagation Complete SAT Encodings within the VMCAI-track
Share
x
Wed 18 Jun 14:10
