7 Publications
2024 | Conference Paper | LibreCat-ID: 53959
Shivarpatna Venkatesh AP, Sabu S, Wang J, Mir AM, Li L, Bodden E. 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. ICSE-Companion 24. Association for Computing Machinery; 2024:49-53. doi:10.1145/3639478.3640033
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh AP, Sabu S, Mir AM, Reis S, Bodden E. The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. In: 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 AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 | 
Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: 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 AP, Bodden E. Automated Cell Header Generator for Jupyter Notebooks. In: 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 H, Shivarpatna Venkatesh AP, Churi A, Illian M, Karl H. Dynamic Provisioning of Network Services on Heterogeneous Resources. In: European Conference on Networks and Communications (EUCNC 2020).
LibreCat
2019 | Preprint | LibreCat-ID: 20341
Shivarpatna Venkatesh AP, Handadi AB, Mory M. Security Implications Of Compiler Optimizations On Cryptography -- A Review. arXiv:190702530. 2019.
LibreCat
| Files available
7 Publications
2024 | Conference Paper | LibreCat-ID: 53959
Shivarpatna Venkatesh AP, Sabu S, Wang J, Mir AM, Li L, Bodden E. 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. ICSE-Companion 24. Association for Computing Machinery; 2024:49-53. doi:10.1145/3639478.3640033
LibreCat
| DOI
| arXiv
2024 | Conference Paper | LibreCat-ID: 55516
Shivarpatna Venkatesh AP, Sabu S, Mir AM, Reis S, Bodden E. The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. In: 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 AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 36522 |
Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: 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 AP, Bodden E. Automated Cell Header Generator for Jupyter Notebooks. In: 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 H, Shivarpatna Venkatesh AP, Churi A, Illian M, Karl H. Dynamic Provisioning of Network Services on Heterogeneous Resources. In: European Conference on Networks and Communications (EUCNC 2020).
LibreCat
2019 | Preprint | LibreCat-ID: 20341
Shivarpatna Venkatesh AP, Handadi AB, Mory M. Security Implications Of Compiler Optimizations On Cryptography -- A Review. arXiv:190702530. 2019.
LibreCat
| Files available