7 Publications
2024 | Conference Paper | LibreCat-ID: 53959
Shivarpatna Venkatesh, Ashwin Prasad, et al. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference Tools.” Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Association for Computing Machinery, 2024, pp. 49–53, doi:10.1145/3639478.3640033.
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh, Ashwin Prasad, et al. “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks.” Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, ACM, 2024, doi:10.1145/3650105.3652288.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 | 
Shivarpatna Venkatesh, Ashwin Prasad, et al. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. 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
Shivarpatna Venkatesh, Ashwin Prasad, and Eric Bodden. “Automated Cell Header Generator for Jupyter Notebooks.” International Workshop on AI and Software Testing/Analysis (AISTA), 2021, doi:10.1145/3464968.3468410.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16726
Razzaghi Kouchaksaraei, Hadi, et al. “Dynamic Provisioning of Network Services on Heterogeneous Resources.” European Conference on Networks and Communications (EUCNC 2020).
LibreCat
2019 | Preprint | LibreCat-ID: 20341
Shivarpatna Venkatesh, Ashwin Prasad, et al. “Security Implications Of Compiler Optimizations On Cryptography -- A Review.” ArXiv:1907.02530, 2019.
LibreCat
| Files available
7 Publications
2024 | Conference Paper | LibreCat-ID: 53959
Shivarpatna Venkatesh, Ashwin Prasad, et al. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference Tools.” Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Association for Computing Machinery, 2024, pp. 49–53, doi:10.1145/3639478.3640033.
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh, Ashwin Prasad, et al. “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks.” Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, ACM, 2024, doi:10.1145/3650105.3652288.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 |
Shivarpatna Venkatesh, Ashwin Prasad, et al. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. 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
Shivarpatna Venkatesh, Ashwin Prasad, and Eric Bodden. “Automated Cell Header Generator for Jupyter Notebooks.” International Workshop on AI and Software Testing/Analysis (AISTA), 2021, doi:10.1145/3464968.3468410.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 16726
Razzaghi Kouchaksaraei, Hadi, et al. “Dynamic Provisioning of Network Services on Heterogeneous Resources.” European Conference on Networks and Communications (EUCNC 2020).
LibreCat
2019 | Preprint | LibreCat-ID: 20341
Shivarpatna Venkatesh, Ashwin Prasad, et al. “Security Implications Of Compiler Optimizations On Cryptography -- A Review.” ArXiv:1907.02530, 2019.
LibreCat
| Files available