Programming Languages,
Architecture and
Compilers
Education Laboratory
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.
2024-Aug-31: Paper Accepted Congratulations to Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa for their paper acceptance: Reducing Write Barrier Overheads for Orthogonal Persistence. To appear in SLE 2024.
2024-Aug-19: Paper Accepted Congratulations to Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier and V. Krishna Nandivada for their paper acceptance: The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently. To appear in OOPSLA 2024.
2024-Aug-19: Paper Accepted Congratulations to Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhary, Suresh Jagannathan for their paper acceptance: Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models. To appear in OOPSLA 2024.