Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7 Publications
2024 | Conference Paper | LibreCat-ID: 53959
A. P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A. M. Mir, L. Li, and E. Bodden, “TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools,” in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Lisbon, Portugal, 2024, pp. 49–53, doi: 10.1145/3639478.3640033.
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 55516
A. P. Shivarpatna Venkatesh, S. Sabu, A. M. Mir, S. Reis, and E. Bodden, “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks,” 2024, doi: 10.1145/3650105.3652288.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41813
A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 | 
A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” presented at the IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023, doi: 10.48550/ARXIV.2301.04419.
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 22462
A. P. Shivarpatna Venkatesh and E. Bodden, “Automated Cell Header Generator for Jupyter Notebooks,” 2021, doi: 10.1145/3464968.3468410.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16726
H. Razzaghi Kouchaksaraei, A. P. Shivarpatna Venkatesh, A. Churi, M. Illian, and H. Karl, “Dynamic Provisioning of Network Services on Heterogeneous Resources,” in European Conference on Networks and Communications (EUCNC 2020).
LibreCat
2019 | Preprint | LibreCat-ID: 20341
A. P. Shivarpatna Venkatesh, A. B. Handadi, and M. Mory, “Security Implications Of Compiler Optimizations On Cryptography -- A Review,” arXiv:1907.02530. 2019.
LibreCat
| Files available