Welcome to PACE Lab

A warm and hearty welcome to fellow researchers, students and enthusiasts. We work in three inter-related areas: Programming Languages, Architecture and Compilers.

Our motto: Work hard, Party harder!

News

• 2026-Jul: Paper Accepted
  Congratulations to Ramya Kasaraneni and Prof. V. Krishna Nandivada for their paper acceptance: Two in One: A Case for Combined Points-to and MHP Analysis. To appear in ACM Transactions on Software Engineering and Methodology (TOSEM) 2026.
  
  
• 2026-Jul-06: PhD Completed
  Congratulations to Vimala Soundarapandian (Guides: Kartik Nagar, K.C.Sivaramakrishnan) upon successful defense of the thesis titled "Pragmatic Verification of Replicated Data Types".
  
  
• 2026-May-05: Prize Won
  Congratulations to Durwasa Chakraborty and Vimala Soundarapandian (Guides: Kartik Nagar, K.C.Sivaramakrishnan) for winning the 2nd prize at the LeanLang for Verified Autonomy Hackathon at IISc Bangalore.
  
  
• More...