The bounded pathwidth of control-flow graphs GK Conrado, AK Goharshady, CK Lam Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 292-317, 2023 | 13 | 2023 |
Exploiting the sparseness of control-flow and call graphs for efficient and on-demand algebraic program analysis GK Conrado, AK Goharshady, K Kochekov, YC Tsai, AK Zaher Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1993-2022, 2023 | 11 | 2023 |
Faster treewidth-based approximations for Wiener index GK Conrado, AK Goharshady, P Hudec, P Li, HJ Motwani 22nd International Symposium on Experimental Algorithms (SEA 2024), 6: 1-6: 19, 2024 | 6 | 2024 |
Parameterized algorithms for topological indices in chemistry GK Conrado, AK Goharshady, HJ Motwani, S Novozhilov arXiv preprint arXiv:2303.13279, 2023 | 2 | 2023 |
PYRAMID: A protocol for private and trustless multi-level marketing on the blockchain (long version) GK Conrado, AK Goharshady, KNL Nguyen | 1 | 2024 |
A Better Approximation for Interleaved Dyck Reachability GK Conrado, A Pavlogiannis Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of …, 2024 | 1 | 2024 |
Program Analysis via Multiple Context Free Language Reachability GK Conrado, AH Kjelstrøm, J van de Pol, A Pavlogiannis Proceedings of the ACM on Programming Languages 9 (POPL), 509-538, 2025 | | 2025 |
PYRAMID: A Protocol for Private and Trustless Multi-level Marketing on the Blockchain GK Conrado, A Goharshady, KNL Nguyen 2024 6th International Conference on Blockchain Computing and Applications …, 2024 | | 2024 |