|
Aditya Senthilnathan I'm a third-year PhD student in Computer Science at Cornell University, where I work with Prof. Nate Foster. I'm broadly interested in research in Programming Languages and Systems. Before Cornell, I was a pre-doctoral research fellow at Microsoft Research where I worked with Akash Lal and Pantazis Deligiannis on novel testing methods for industrial-scale concurrent software. Previously, I did my Bachelors and Masters in Computer Science at IIT Delhi, where I worked with Prof. Sorav Bansal on translation validation for LLVM compiler optimizations. In the summer of 2021, I interned at Columbia University with Prof. Junfeng Yang where I worked on program analysis for tracking stale package dependencies. |
|
Publications |
|
Leveraging LLMs for Program Verification
Adharsh Kamath, Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma FMCAD 2024 paper |
|
Industrial-Strength Controlled Concurrency Testing for C#
Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal TACAS 2023, EASST Best Software Science Paper paper / code |
|
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis
and Hardware Tracing
Yaniv David, Xudong Sun, Raphael J Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu OSDI 2022 paper / project page |
Miscellanea |
Academic Service |
Artifact Evaluation Committee Member, TACAS 2026
External Reviewer, OOPSLA 2025 Student Volunteer, ICFP 2021 Student Volunteer, PLDI 2021 |
Teaching |
Graduate Teaching Assistant, CS 3110 (Data Structures and Functional Prog.), Fall 2024, Cornell
Graduate Teaching Assistant, CS 4450 (Intro to Computer Networks), Spring 2024, Cornell Graduate Teaching Assistant, CS 3410 (Computer System Organization and Prog.), Fall 2023, Cornell Teaching Assistant, COL331 (Operating Systems), Spring 2022, IIT Delhi Teaching Assistant, COL333 (Intro to AI), Fall 2021, IIT Delhi |
|
Last Updated: January 2026 / Adapted from Jon Barron's website |