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-17: Paper Accepted
  Congratulations to Divya Rathore and Kartik Nagar for their paper acceptance: Detecting and Validating Read-Only Reentrancy-Induced Price Manipulation via Learned Contract Semantics. In FSE 2026.
  
  
• 2026-Jul: Paper Accepted
  Congratulations to Ramya Kasaraneni and 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".
  
  
• More...