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