2 papers
cs.DC2024
HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection
Jaidev Shastri, Xiaoguang Wang, Basavesh Ammanaghatta Shivakumar +2
Data race, a category of insidious software concurrency bugs, is often challenging and resource-intensive to detect and debug. Existing dynamic race detection tools incur significa…
cs.LO2014
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications
Freek Verbeek, Julien Schmaltz
This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2'14, a two-day workshop held in Vienna, Austria, on…