We are excited to announce that on 15th of October, Polyvios Pratikakis from FORTH presented their paper, MaTSa, at VMIL 2025. VMIL was co-located with SPLASH this year.
MaTSa is a dynamic race detection tool that is built in the JVM. MaTSa leverages JIT compilation by instrumenting the C1 & C2 compilers, which allows it to be faster than other state-of-the-art projects. In addition, MaTSa was designed with respect to the nuances of the Java programming language, making it very accurate.
Preprint: https://zenodo.org/records/17048783
