Giovanna Kobus Conrado

According to our database, Giovanna Kobus Conrado authored at least 8 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

CFL-based methods for approximating interleaved Dyck reachability.

Giovanna Kobus Conrado, Andreas Pavlogiannis

Int. J. Softw. Tools Technol. Transf., April, 2025

Program Analysis via Multiple Context Free Language Reachability.

Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Jaco van de Pol, Andreas Pavlogiannis

Proc. ACM Program. Lang., 2025

2024

Faster Treewidth-Based Approximations for Wiener Index.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, Harshit J. Motwani

Proceedings of the 22nd International Symposium on Experimental Algorithms, 2024

A Better Approximation for Interleaved Dyck Reachability.

Giovanna Kobus Conrado, Andreas Pavlogiannis

Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024

PYRAMID: A Protocol for Private and Trustless Multi-level Marketing on the Blockchain.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kha Nhat Long Nguyen

Proceedings of the 6th International Conference on Blockchain Computing and Applications, 2024

2023

The Bounded Pathwidth of Control-Flow Graphs.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Chun Kit Lam

Proc. ACM Program. Lang., October, 2023

Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Kerim Kochekov, Yun Chen Tsai, Ahmed Khaled Zaher

Proc. ACM Program. Lang., October, 2023

Parameterized Algorithms for Topological Indices in Chemistry.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit J. Motwani, Sergei Novozhilov

CoRR, 2023