Ashwin Prasad Shivarpatna Venkatesh

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Symbolic Execution

Top Venues

Publications

Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. FORGE (2024)
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. ICSE Companion (2024)
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Mouli Chekkapalli, Jiawei Wang, Li Li, Eric Bodden
Static analysis driven enhancements for comprehension in machine learning notebooks. Empir. Softw. Eng. 29 (5) (2024)
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Amir M. Mir, Sofia Reis, Eric Bodden
The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. CoRR (2024)
Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. CoRR (2023)
Ashwin Prasad Shivarpatna Venkatesh, Jiawei Wang, Li Li, Eric Bodden
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. SANER (2023)
Ashwin Prasad Shivarpatna Venkatesh, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, Eric Bodden
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools. CoRR (2023)
Ashwin Prasad Shivarpatna Venkatesh, Eric Bodden
Automated cell header generator for Jupyter notebooks. AISTA@ISSTA (2021)
Hadi Razzaghi Kouchaksaraei, Ashwin Prasad Shivarpatna Venkatesh, Amey Churi, Marvin Illian, Holger Karl
Dynamic Provisioning of Network Services on Heterogeneous Resources. EuCNC (2020)
Ashwin Prasad Shivarpatna Venkatesh, Aditya Bhat Handadi, Martin Mory
Security Implications Of Compiler Optimizations On Cryptography - A Review. CoRR (2019)