Giovanna Kobus Conrado

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

Collaborative distances:

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

2026

On the Decidability of Verification under Release/Acquire.

Giovanna Kobus Conrado, Andreas Pavlogiannis

CoRR, April, 2026

2025

CFL-based methods for approximating interleaved Dyck reachability.

Giovanna Kobus Conrado, Andreas Pavlogiannis

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

Parameterized Graph Algorithms and Their Role in Static Program Analysis. (Algorithmes de graphes paramétrés et leur rôle dans l'analyse statique des programmes).

Giovanna Kobus Conrado

PhD thesis, 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

Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity.

Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Sergei Novozhilov

Proceedings of the XIII Latin-American Algorithms, Graphs and Optimization Symposium, 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