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
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Association for Computing Machinery, New York, NY, USA, 2024, pp. 49–53.
LibreCat | DOI | arXiv
 

2024 | Conference Paper | LibreCat-ID: 55516
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks
A.P. Shivarpatna Venkatesh, S. Sabu, A.M. Mir, S. Reis, E. Bodden, in: Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering, ACM, 2024.
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 36522 | OA
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023.
LibreCat | Files available | DOI
 

2023 | Conference Paper | LibreCat-ID: 41813
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
 

2021 | Conference Paper | LibreCat-ID: 22462
Automated Cell Header Generator for Jupyter Notebooks
A.P. Shivarpatna Venkatesh, E. Bodden, in: International Workshop on AI and Software Testing/Analysis (AISTA), 2021.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16726
Dynamic Provisioning of Network Services on Heterogeneous Resources
H. Razzaghi Kouchaksaraei, A.P. Shivarpatna Venkatesh, A. Churi, M. Illian, H. Karl, in: European Conference on Networks and Communications (EUCNC 2020), n.d.
LibreCat
 

2019 | Preprint | LibreCat-ID: 20341
Security Implications Of Compiler Optimizations On Cryptography -- A Review
A.P. Shivarpatna Venkatesh, A.B. Handadi, M. Mory, ArXiv:1907.02530 (2019).
LibreCat | Files available
 

Filters and Search Terms

(person=66637)

Search

Filter Publications

Display / Sort

Export / Embed