Giovanna Kobus Conrado

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani
Faster Treewidth-Based Approximations for Wiener Index. SEA (2024)
Giovanna Kobus Conrado, Andreas Pavlogiannis
A Better Approximation for Interleaved Dyck Reachability. SOAP@PLDI (2024)
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Chun Kit Lam
The Bounded Pathwidth of Control-Flow Graphs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, Ahmed Khaled Zaher
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)