lab logo Programming Languages, Architecture and Compilers Education Laboratory iit logo


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!


  • 2020-May-13: Paper Accepted
    Congratulations to Kartik Nagar, Prasita Mukherjee and Suresh Jagannathan for their paper acceptance: Semantics, Specification and Bounded Verification of Concurrent Libraries in Replicated Systems. To appear in the International Conference on Computer Aided Verification (CAV), 2020.
  • 2020-Mar-28: Paper Accepted
    Congratulations to Diptanshu Kakwani and Rupesh Nasre for their paper acceptance: Orion: Time Estimated Causally Consistent Key-Value Store. To appear in Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2020.
  • 2020-Mar-20: Promotion
    Congratulations to V. Krishna Nandivada for being promoted to Professor. We wish you surpass the expectations that your career puts forth.

Follow our PACE on acebook



    None scheduled.