MaTSa: Race Detection in Java

Publication
Proceedings of the 17th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages (VMIL ‘25)