Giovanna Kobus Conrado -

Registered user since Tue 12 Sep 2023

Name:Giovanna Kobus Conrado

Country:Hong Kong

Affiliation:Hong Kong University of Science and Technology

Contributions

2025

POPL

Author of Program Analysis via Multiple Context Free Language Reachability within the POPL-track

2024

SOAP

Author of A Better Approximation for Interleaved Dyck Reachability within the SOAP 2024-track

2023

SPLASH

Author of Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis within the OOPSLA-track
Author of The Bounded Pathwidth of Control-Flow Graphs within the OOPSLA-track