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

• 2025-Mar-06: Paper Accepted
  Congratulations to Amit Tiwari and Prof. V. Krishna Nandivada for their paper acceptance: Unleashing Parallelism with Elastic-Barriers. In Transactions on Architecture and Code Optimization (TACO) 2025
  
  
• 2025-Mar-02: Fellowship Won
  Congratulations to Vimala Soundarapandian (Guides: K.C.Sivaramakrishnan, Kartik Nagar) for being selected for the Women Leading IITM Fellowship.
  
  
• 2025-Feb-25: Paper Accepted
  Congratulations to Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan and KC Sivaramakrishnan for their paper acceptance: A Mechanically Verified Garbage Collector for OCaml. Journal of Automated Reasoning, 2025
  
  
• More...