[{"type":"journal_article","publication":"Empirical Software Engineering","status":"public","abstract":[{"text":"Large Language Models (LLMs) are increasingly being explored for their potential in software engineering, particularly in static analysis tasks. In this study, we investigate the potential of current LLMs to enhance call-graph analysis and type inference for Python and JavaScript programs. We empirically evaluated 24 LLMs, including OpenAI's GPT series and open-source models like LLaMA and Mistral, using existing and newly developed benchmarks. Specifically, we enhanced TypeEvalPy, a micro-benchmarking framework for type inference in Python, with auto-generation capabilities, expanding its scope from 860 to 77,268 type annotations for Python. Additionally, we introduced SWARM-CG and SWARM-JS, comprehensive benchmarking suites for evaluating call-graph construction tools across multiple programming languages.\r\n Our findings reveal a contrasting performance of LLMs in static analysis tasks. For call-graph generation, traditional static analysis tools such as PyCG for Python and Jelly for JavaScript consistently outperform LLMs. While advanced models like mistral-large-it-2407-123b and gpt-4o show promise, they still struggle with completeness and soundness in call-graph analysis across both languages. In contrast, LLMs demonstrate a clear advantage in type inference for Python, surpassing traditional tools like HeaderGen and hybrid approaches such as HiTyper. These results suggest that, while LLMs hold promise in type inference, their limitations in call-graph analysis highlight the need for further research. Our study provides a foundation for integrating LLMs into static analysis workflows, offering insights into their strengths and current limitations.","lang":"eng"}],"user_id":"15249","department":[{"_id":"76"}],"_id":"62973","language":[{"iso":"eng"}],"issue":"6","citation":{"mla":"Shivarpatna Venkatesh, Ashwin Prasad, et al. “An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript.” <i>Empirical Software Engineering</i>, vol. 30, no. 6, Springer, 2025, doi:<a href=\"https://doi.org/10.48550/ARXIV.2410.00603\">10.48550/ARXIV.2410.00603</a>.","short":"A.P. Shivarpatna Venkatesh, R. Sunil, S. Sabu, A.M. Mir, S. Reis, E. Bodden, Empirical Software Engineering 30 (2025).","bibtex":"@article{Shivarpatna Venkatesh_Sunil_Sabu_Mir_Reis_Bodden_2025, title={An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript}, volume={30}, DOI={<a href=\"https://doi.org/10.48550/ARXIV.2410.00603\">10.48550/ARXIV.2410.00603</a>}, number={6}, journal={Empirical Software Engineering}, publisher={Springer}, author={Shivarpatna Venkatesh, Ashwin Prasad and Sunil, Rose and Sabu, Samkutty and Mir, Amir M. and Reis, Sofia and Bodden, Eric}, year={2025} }","apa":"Shivarpatna Venkatesh, A. P., Sunil, R., Sabu, S., Mir, A. M., Reis, S., &#38; Bodden, E. (2025). An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript. <i>Empirical Software Engineering</i>, <i>30</i>(6). <a href=\"https://doi.org/10.48550/ARXIV.2410.00603\">https://doi.org/10.48550/ARXIV.2410.00603</a>","ama":"Shivarpatna Venkatesh AP, Sunil R, Sabu S, Mir AM, Reis S, Bodden E. An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript. <i>Empirical Software Engineering</i>. 2025;30(6). doi:<a href=\"https://doi.org/10.48550/ARXIV.2410.00603\">10.48550/ARXIV.2410.00603</a>","chicago":"Shivarpatna Venkatesh, Ashwin Prasad, Rose Sunil, Samkutty Sabu, Amir M. Mir, Sofia Reis, and Eric Bodden. “An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript.” <i>Empirical Software Engineering</i> 30, no. 6 (2025). <a href=\"https://doi.org/10.48550/ARXIV.2410.00603\">https://doi.org/10.48550/ARXIV.2410.00603</a>.","ieee":"A. P. Shivarpatna Venkatesh, R. Sunil, S. Sabu, A. M. Mir, S. Reis, and E. Bodden, “An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript,” <i>Empirical Software Engineering</i>, vol. 30, no. 6, 2025, doi: <a href=\"https://doi.org/10.48550/ARXIV.2410.00603\">10.48550/ARXIV.2410.00603</a>."},"intvolume":"        30","year":"2025","author":[{"full_name":"Shivarpatna Venkatesh, Ashwin Prasad","id":"66637","last_name":"Shivarpatna Venkatesh","first_name":"Ashwin Prasad"},{"first_name":"Rose","last_name":"Sunil","id":"97670","full_name":"Sunil, Rose"},{"full_name":"Sabu, Samkutty","last_name":"Sabu","first_name":"Samkutty"},{"last_name":"Mir","full_name":"Mir, Amir M.","first_name":"Amir M."},{"full_name":"Reis, Sofia","last_name":"Reis","first_name":"Sofia"},{"last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256","first_name":"Eric"}],"date_created":"2025-12-08T13:20:30Z","volume":30,"date_updated":"2025-12-08T13:25:49Z","publisher":"Springer","doi":"10.48550/ARXIV.2410.00603","title":"An Empirical Study of Large Language Models for Type and Call Graph Analysis in Python and JavaScript"},{"publication_identifier":{"isbn":["9798400705021"]},"citation":{"ama":"Shivarpatna Venkatesh AP, Sabu S, Wang J, Mir AM, Li L, Bodden E. TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools. In: <i>Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings</i>. ICSE-Companion 24. Association for Computing Machinery; 2024:49-53. doi:<a href=\"https://doi.org/10.1145/3639478.3640033\">10.1145/3639478.3640033</a>","ieee":"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 <i>Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings</i>, Lisbon, Portugal, 2024, pp. 49–53, doi: <a href=\"https://doi.org/10.1145/3639478.3640033\">10.1145/3639478.3640033</a>.","chicago":"Shivarpatna Venkatesh, Ashwin Prasad, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, and Eric Bodden. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference  Tools.” In <i>Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings</i>, 49–53. ICSE-Companion 24. New York, NY, USA: Association for Computing Machinery, 2024. <a href=\"https://doi.org/10.1145/3639478.3640033\">https://doi.org/10.1145/3639478.3640033</a>.","apa":"Shivarpatna Venkatesh, A. P., Sabu, S., Wang, J., Mir, A. M., Li, L., &#38; Bodden, E. (2024). TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools. <i>Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings</i>, 49–53. <a href=\"https://doi.org/10.1145/3639478.3640033\">https://doi.org/10.1145/3639478.3640033</a>","short":"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.","mla":"Shivarpatna Venkatesh, Ashwin Prasad, et al. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference  Tools.” <i>Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings</i>, Association for Computing Machinery, 2024, pp. 49–53, doi:<a href=\"https://doi.org/10.1145/3639478.3640033\">10.1145/3639478.3640033</a>.","bibtex":"@inproceedings{Shivarpatna Venkatesh_Sabu_Wang_Mir_Li_Bodden_2024, place={New York, NY, USA}, series={ICSE-Companion 24}, title={TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools}, DOI={<a href=\"https://doi.org/10.1145/3639478.3640033\">10.1145/3639478.3640033</a>}, booktitle={Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings}, publisher={Association for Computing Machinery}, author={Shivarpatna Venkatesh, Ashwin Prasad and Sabu, Samkutty and Wang, Jiawei and Mir, Amir M. and Li, Li and Bodden, Eric}, year={2024}, pages={49–53}, collection={ICSE-Companion 24} }"},"page":"49-53","place":"New York, NY, USA","author":[{"last_name":"Shivarpatna Venkatesh","full_name":"Shivarpatna Venkatesh, Ashwin Prasad","id":"66637","first_name":"Ashwin Prasad"},{"last_name":"Sabu","full_name":"Sabu, Samkutty","first_name":"Samkutty"},{"full_name":"Wang, Jiawei","last_name":"Wang","first_name":"Jiawei"},{"first_name":"Amir M.","last_name":"Mir","full_name":"Mir, Amir M."},{"first_name":"Li","full_name":"Li, Li","last_name":"Li"},{"orcid":"0000-0003-3470-3647","last_name":"Bodden","id":"59256","full_name":"Bodden, Eric","first_name":"Eric"}],"date_updated":"2024-08-05T07:49:33Z","doi":"10.1145/3639478.3640033","conference":{"location":"Lisbon, Portugal"},"type":"conference","status":"public","series_title":"ICSE-Companion 24","user_id":"15249","department":[{"_id":"76"}],"_id":"53959","year":"2024","date_created":"2024-05-06T11:49:22Z","publisher":"Association for Computing Machinery","title":"TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools","publication":"Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings","abstract":[{"lang":"eng","text":"In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type inference techniques. This paper introduces TypeEvalPy, a comprehensive micro-benchmarking framework for evaluating type inference tools. TypeEvalPy contains 154 code snippets with 845 type annotations across 18 categories that target various Python features. The framework manages the execution of containerized tools, transforms inferred types into a standardized format, and produces meaningful metrics for assessment. Through our analysis, we compare the performance of six type inference tools, highlighting their strengths and limitations. Our findings provide a foundation for further research and optimization in the domain of Python type inference."}],"external_id":{"arxiv":["2312.16882"]},"language":[{"iso":"eng"}]},{"date_created":"2024-08-05T09:12:59Z","author":[{"full_name":"Shivarpatna Venkatesh, Ashwin Prasad","id":"66637","last_name":"Shivarpatna Venkatesh","first_name":"Ashwin Prasad"},{"first_name":"Samkutty","last_name":"Sabu","full_name":"Sabu, Samkutty"},{"full_name":"Mir, Amir M.","last_name":"Mir","first_name":"Amir M."},{"first_name":"Sofia","full_name":"Reis, Sofia","last_name":"Reis"},{"orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256","first_name":"Eric"}],"date_updated":"2024-08-05T09:14:11Z","publisher":"ACM","doi":"10.1145/3650105.3652288","title":"The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks","publication_status":"published","citation":{"apa":"Shivarpatna Venkatesh, A. P., Sabu, S., Mir, A. M., Reis, S., &#38; Bodden, E. (2024). The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks. <i>Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering</i>. <a href=\"https://doi.org/10.1145/3650105.3652288\">https://doi.org/10.1145/3650105.3652288</a>","short":"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.","mla":"Shivarpatna Venkatesh, Ashwin Prasad, et al. “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks.” <i>Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering</i>, ACM, 2024, doi:<a href=\"https://doi.org/10.1145/3650105.3652288\">10.1145/3650105.3652288</a>.","bibtex":"@inproceedings{Shivarpatna Venkatesh_Sabu_Mir_Reis_Bodden_2024, title={The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks}, DOI={<a href=\"https://doi.org/10.1145/3650105.3652288\">10.1145/3650105.3652288</a>}, booktitle={Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering}, publisher={ACM}, author={Shivarpatna Venkatesh, Ashwin Prasad and Sabu, Samkutty and Mir, Amir M. and Reis, Sofia and Bodden, Eric}, year={2024} }","ama":"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: <i>Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering</i>. ACM; 2024. doi:<a href=\"https://doi.org/10.1145/3650105.3652288\">10.1145/3650105.3652288</a>","ieee":"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: <a href=\"https://doi.org/10.1145/3650105.3652288\">10.1145/3650105.3652288</a>.","chicago":"Shivarpatna Venkatesh, Ashwin Prasad, Samkutty Sabu, Amir M. Mir, Sofia Reis, and Eric Bodden. “The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks.” In <i>Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering</i>. ACM, 2024. <a href=\"https://doi.org/10.1145/3650105.3652288\">https://doi.org/10.1145/3650105.3652288</a>."},"year":"2024","department":[{"_id":"76"}],"user_id":"15249","_id":"55516","language":[{"iso":"eng"}],"publication":"Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering","type":"conference","status":"public"},{"citation":{"short":"A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.","mla":"Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, 2023.","bibtex":"@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }","apa":"Shivarpatna Venkatesh, A. P., Wang, J., Li, L., &#38; Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>.","ama":"Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. ; 2023.","chicago":"Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” In <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, 2023.","ieee":"A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023."},"year":"2023","date_created":"2023-02-06T10:44:08Z","author":[{"first_name":"Ashwin Prasad","full_name":"Shivarpatna Venkatesh, Ashwin Prasad","id":"66637","last_name":"Shivarpatna Venkatesh"},{"first_name":"Jiawei","last_name":"Wang","full_name":"Wang, Jiawei"},{"last_name":"Li","full_name":"Li, Li","first_name":"Li"},{"full_name":"Bodden, Eric","id":"59256","orcid":"0000-0003-3470-3647","last_name":"Bodden","first_name":"Eric"}],"date_updated":"2023-02-06T10:46:00Z","title":"Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis","type":"conference","publication":"IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","status":"public","user_id":"15249","department":[{"_id":"76"}],"_id":"41813","language":[{"iso":"eng"}]},{"citation":{"chicago":"Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023. <a href=\"https://doi.org/10.48550/ARXIV.2301.04419\">https://doi.org/10.48550/ARXIV.2301.04419</a>.","ieee":"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: <a href=\"https://doi.org/10.48550/ARXIV.2301.04419\">10.48550/ARXIV.2301.04419</a>.","ama":"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:<a href=\"https://doi.org/10.48550/ARXIV.2301.04419\">10.48550/ARXIV.2301.04419</a>","short":"A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023.","mla":"Shivarpatna Venkatesh, Ashwin Prasad, et al. <i>Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis</i>. IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), 2023, doi:<a href=\"https://doi.org/10.48550/ARXIV.2301.04419\">10.48550/ARXIV.2301.04419</a>.","bibtex":"@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, DOI={<a href=\"https://doi.org/10.48550/ARXIV.2301.04419\">10.48550/ARXIV.2301.04419</a>}, publisher={IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }","apa":"Shivarpatna Venkatesh, A. P., Wang, J., Li, L., &#38; Bodden, E. (2023). <i>Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis</i>. IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering). <a href=\"https://doi.org/10.48550/ARXIV.2301.04419\">https://doi.org/10.48550/ARXIV.2301.04419</a>"},"year":"2023","has_accepted_license":"1","doi":"10.48550/ARXIV.2301.04419","conference":{"name":"IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering)"},"title":"Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis","author":[{"id":"66637","full_name":"Shivarpatna Venkatesh, Ashwin Prasad","last_name":"Shivarpatna Venkatesh","first_name":"Ashwin Prasad"},{"last_name":"Wang","full_name":"Wang, Jiawei","first_name":"Jiawei"},{"last_name":"Li","full_name":"Li, Li","first_name":"Li"},{"first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256","full_name":"Bodden, Eric"}],"date_created":"2023-01-13T08:03:26Z","date_updated":"2025-04-07T10:18:03Z","publisher":"IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering)","oa":"1","status":"public","file":[{"content_type":"application/pdf","relation":"main_file","date_created":"2023-01-26T10:48:40Z","creator":"ashwin","date_updated":"2023-01-26T10:48:40Z","file_name":"2301.04419.pdf","file_id":"40304","access_level":"open_access","file_size":1862440}],"abstract":[{"lang":"eng","text":"Jupyter notebooks enable developers to interleave code snippets with rich-text and in-line visualizations. Data scientists use Jupyter notebook as the de-facto standard for creating and sharing machine-learning based solutions, primarily written in Python. Recent studies have demonstrated, however, that a large portion of Jupyter notebooks available on public platforms are undocumented and lacks a narrative structure. This reduces the readability of these notebooks. To address this shortcoming, this paper presents HeaderGen, a novel tool-based approach that automatically annotates code cells with categorical markdown headers based on a taxonomy of machine-learning operations, and classifies and displays function calls according to this taxonomy. For this functionality to be realized, HeaderGen enhances an existing call graph analysis in PyCG. To improve precision, HeaderGen extends PyCG's analysis with support for handling external library code and flow-sensitivity. The former is realized by facilitating the resolution of function return-types. Furthermore, HeaderGen uses type information to perform pattern matching on code syntax to annotate code cells.\r\nThe evaluation on 15 real-world Jupyter notebooks from Kaggle shows that HeaderGen's underlying call graph analysis yields high accuracy (96.4% precision and 95.9% recall). This is because HeaderGen can resolve return-types of external libraries where existing type inference tools such as pytype (by Google), pyright (by Microsoft), and Jedi fall short. The header generation has a precision of 82.2% and a recall rate of 96.8% with regard to headers created manually by experts. In a user study, HeaderGen helps participants finish comprehension and navigation tasks faster. All participants clearly perceive HeaderGen as useful to their task."}],"type":"conference","file_date_updated":"2023-01-26T10:48:40Z","language":[{"iso":"eng"}],"keyword":["static analysis","python","code comprehension","annotation","literate programming","jupyter notebook"],"ddc":["000"],"user_id":"15249","_id":"36522"},{"language":[{"iso":"eng"}],"department":[{"_id":"76"}],"user_id":"15249","_id":"22462","status":"public","publication":"International Workshop on AI and Software Testing/Analysis (AISTA)","type":"conference","doi":"10.1145/3464968.3468410","title":"Automated Cell Header Generator for Jupyter Notebooks","author":[{"id":"66637","full_name":"Shivarpatna Venkatesh, Ashwin Prasad","last_name":"Shivarpatna Venkatesh","first_name":"Ashwin Prasad"},{"last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256","first_name":"Eric"}],"date_created":"2021-06-17T10:14:48Z","date_updated":"2025-04-07T10:21:29Z","citation":{"mla":"Shivarpatna Venkatesh, Ashwin Prasad, and Eric Bodden. “Automated Cell Header Generator for Jupyter Notebooks.” <i>International Workshop on AI and Software Testing/Analysis (AISTA)</i>, 2021, doi:<a href=\"https://doi.org/10.1145/3464968.3468410\">10.1145/3464968.3468410</a>.","short":"A.P. Shivarpatna Venkatesh, E. Bodden, in: International Workshop on AI and Software Testing/Analysis (AISTA), 2021.","bibtex":"@inproceedings{Shivarpatna Venkatesh_Bodden_2021, title={Automated Cell Header Generator for Jupyter Notebooks}, DOI={<a href=\"https://doi.org/10.1145/3464968.3468410\">10.1145/3464968.3468410</a>}, booktitle={International Workshop on AI and Software Testing/Analysis (AISTA)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Bodden, Eric}, year={2021} }","apa":"Shivarpatna Venkatesh, A. P., &#38; Bodden, E. (2021). Automated Cell Header Generator for Jupyter Notebooks. <i>International Workshop on AI and Software Testing/Analysis (AISTA)</i>. <a href=\"https://doi.org/10.1145/3464968.3468410\">https://doi.org/10.1145/3464968.3468410</a>","ama":"Shivarpatna Venkatesh AP, Bodden E. Automated Cell Header Generator for Jupyter Notebooks. In: <i>International Workshop on AI and Software Testing/Analysis (AISTA)</i>. ; 2021. doi:<a href=\"https://doi.org/10.1145/3464968.3468410\">10.1145/3464968.3468410</a>","ieee":"A. P. Shivarpatna Venkatesh and E. Bodden, “Automated Cell Header Generator for Jupyter Notebooks,” 2021, doi: <a href=\"https://doi.org/10.1145/3464968.3468410\">10.1145/3464968.3468410</a>.","chicago":"Shivarpatna Venkatesh, Ashwin Prasad, and Eric Bodden. “Automated Cell Header Generator for Jupyter Notebooks.” In <i>International Workshop on AI and Software Testing/Analysis (AISTA)</i>, 2021. <a href=\"https://doi.org/10.1145/3464968.3468410\">https://doi.org/10.1145/3464968.3468410</a>."},"year":"2021"},{"publication_status":"accepted","citation":{"ama":"Razzaghi Kouchaksaraei H, Shivarpatna Venkatesh AP, Churi A, Illian M, Karl H. Dynamic Provisioning of Network Services on Heterogeneous Resources. In: <i>European Conference on Networks and Communications (EUCNC 2020)</i>.","ieee":"H. Razzaghi Kouchaksaraei, A. P. Shivarpatna Venkatesh, A. Churi, M. Illian, and H. Karl, “Dynamic Provisioning of Network Services on Heterogeneous Resources,” in <i>European Conference on Networks and Communications (EUCNC 2020)</i>.","chicago":"Razzaghi Kouchaksaraei, Hadi, Ashwin Prasad Shivarpatna Venkatesh, Amey Churi, Marvin Illian, and Holger Karl. “Dynamic Provisioning of Network Services on Heterogeneous Resources.” In <i>European Conference on Networks and Communications (EUCNC 2020)</i>, n.d.","apa":"Razzaghi Kouchaksaraei, H., Shivarpatna Venkatesh, A. P., Churi, A., Illian, M., &#38; Karl, H. (n.d.). Dynamic Provisioning of Network Services on Heterogeneous Resources. In <i>European Conference on Networks and Communications (EUCNC 2020)</i>.","bibtex":"@inproceedings{Razzaghi Kouchaksaraei_Shivarpatna Venkatesh_Churi_Illian_Karl, title={Dynamic Provisioning of Network Services on Heterogeneous Resources}, booktitle={European Conference on Networks and Communications (EUCNC 2020)}, author={Razzaghi Kouchaksaraei, Hadi and Shivarpatna Venkatesh, Ashwin Prasad and Churi, Amey and Illian, Marvin and Karl, Holger} }","mla":"Razzaghi Kouchaksaraei, Hadi, et al. “Dynamic Provisioning of Network Services on Heterogeneous Resources.” <i>European Conference on Networks and Communications (EUCNC 2020)</i>.","short":"H. Razzaghi Kouchaksaraei, A.P. Shivarpatna Venkatesh, A. Churi, M. Illian, H. Karl, in: European Conference on Networks and Communications (EUCNC 2020), n.d."},"year":"2020","date_created":"2020-04-20T09:36:53Z","author":[{"first_name":"Hadi","last_name":"Razzaghi Kouchaksaraei","full_name":"Razzaghi Kouchaksaraei, Hadi","id":"60845"},{"id":"66637","full_name":"Shivarpatna Venkatesh, Ashwin Prasad","last_name":"Shivarpatna Venkatesh","first_name":"Ashwin Prasad"},{"first_name":"Amey","last_name":"Churi","full_name":"Churi, Amey"},{"first_name":"Marvin","full_name":"Illian, Marvin","id":"44169","last_name":"Illian"},{"first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger","id":"126"}],"date_updated":"2022-01-06T06:52:55Z","conference":{"end_date":"2020-06-18","start_date":"2020-06-15","name":"European Conference on Networks and Communications (EUCNC 2020)"},"title":"Dynamic Provisioning of Network Services on Heterogeneous Resources","type":"conference","publication":"European Conference on Networks and Communications (EUCNC 2020)","status":"public","user_id":"60845","department":[{"_id":"34"}],"project":[{"grant_number":"762057","_id":"23","name":"5G Programmable Infrastructure Converging disaggregated neTwork and compUte Resources"},{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - Subproject C4","_id":"16"},{"name":"SFB 901","_id":"1"}],"_id":"16726","language":[{"iso":"eng"}]},{"year":"2019","citation":{"ieee":"A. P. Shivarpatna Venkatesh, A. B. Handadi, and M. Mory, “Security Implications Of Compiler Optimizations On Cryptography -- A  Review,” <i>arXiv:1907.02530</i>. 2019.","chicago":"Shivarpatna Venkatesh, Ashwin Prasad, A. Bhat Handadi, and Martin Mory. “Security Implications Of Compiler Optimizations On Cryptography -- A  Review.” <i>ArXiv:1907.02530</i>, 2019.","ama":"Shivarpatna Venkatesh AP, Handadi AB, Mory M. Security Implications Of Compiler Optimizations On Cryptography -- A  Review. <i>arXiv:190702530</i>. 2019.","apa":"Shivarpatna Venkatesh, A. P., Handadi, A. B., &#38; Mory, M. (2019). Security Implications Of Compiler Optimizations On Cryptography -- A  Review. <i>ArXiv:1907.02530</i>.","mla":"Shivarpatna Venkatesh, Ashwin Prasad, et al. “Security Implications Of Compiler Optimizations On Cryptography -- A  Review.” <i>ArXiv:1907.02530</i>, 2019.","short":"A.P. Shivarpatna Venkatesh, A.B. Handadi, M. Mory, ArXiv:1907.02530 (2019).","bibtex":"@article{Shivarpatna Venkatesh_Handadi_Mory_2019, title={Security Implications Of Compiler Optimizations On Cryptography -- A  Review}, journal={arXiv:1907.02530}, author={Shivarpatna Venkatesh, Ashwin Prasad and Handadi, A. Bhat and Mory, Martin}, year={2019} }"},"has_accepted_license":"1","title":"Security Implications Of Compiler Optimizations On Cryptography -- A  Review","date_updated":"2022-01-06T06:54:26Z","date_created":"2020-11-11T17:46:16Z","author":[{"first_name":"Ashwin Prasad","last_name":"Shivarpatna Venkatesh","full_name":"Shivarpatna Venkatesh, Ashwin Prasad","id":"66637"},{"full_name":"Handadi, A. Bhat","last_name":"Handadi","first_name":"A. Bhat"},{"id":"65667","full_name":"Mory, Martin","orcid":"0000-0001-5609-0031","last_name":"Mory","first_name":"Martin"}],"abstract":[{"lang":"eng","text":"When implementing secure software, developers must ensure certain\r\nrequirements, such as the erasure of secret data after its use and execution in\r\nreal time. Such requirements are not explicitly captured by the C language and\r\ncould potentially be violated by compiler optimizations. As a result,\r\ndevelopers typically use indirect methods to hide their code's semantics from\r\nthe compiler and avoid unwanted optimizations. However, such workarounds are\r\nnot permanent solutions, as increasingly efficient compiler optimization causes\r\ncode that was considered secure in the past now vulnerable. This paper is a\r\nliterature review of (1) the security complications caused by compiler\r\noptimizations, (2) approaches used by developers to mitigate optimization\r\nproblems, and (3) recent academic efforts towards enabling security engineers\r\nto communicate implicit security requirements to the compiler. In addition, we\r\npresent a short study of six cryptographic libraries and how they approach the\r\nissue of ensuring security requirements. With this paper, we highlight the need\r\nfor software developers and compiler designers to work together in order to\r\ndesign efficient systems for writing secure software."}],"status":"public","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2021-02-17T11:39:14Z","creator":"ashwin","date_updated":"2021-02-17T11:39:14Z","file_id":"21255","file_name":"1907.02530.pdf","access_level":"closed","file_size":663876}],"publication":"arXiv:1907.02530","type":"preprint","ddc":["000"],"file_date_updated":"2021-02-17T11:39:14Z","language":[{"iso":"eng"}],"_id":"20341","user_id":"66637"}]