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!






News

  • 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.
More...



Follow our PACE on acebook

PACEminars

 

    None scheduled.