Announcement_10
I’m so excited to announce that our paper titled “State Space Estimation for DPOR-Based Model Checkers” has been accepted at the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026).
I’m so excited to announce that our paper titled “State Space Estimation for DPOR-Based Model Checkers” has been accepted at the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026).