SAIL celebrates a successful PhD defense!

🥳 We are delighted to congratulate SAIL member Ashwin Prasad Shivarpatna Venkatesh on the successful defense of his doctoral thesis: “Advances in Python Call-Graph Construction and Type Inference: A Benchmark-Driven Approach”, supervised by Prof. Dr. Eric Bodden.

🔎 Ashwin’s dissertation addresses a central challenge in modern software analysis: how to handle the complexity and dynamism of Python, a language that has become indispensable in data science and machine learning, yet remains notoriously difficult to analyze with traditional static methods. His work develops improved call-graph analysis techniques for Jupyter Notebooks, introduces HeaderGen, a tool that automatically generates semantic structures for undocumented notebooks, and presents TypeEvalPy, a benchmarking framework for Python type inference. A large-scale evaluation of 24 LLMs further sheds light on where AI-driven approaches complement and where they fall short of classical static analysis.

🤝 Ashwin has been a valued member of the SAIL network since 2023, and we are grateful for the contributions his research has made to the network. We wish him all the best for the future! 🚀