2 papers
cs.SE2026
The Future of Safety for SaMD
Rhea Malhotra, Tanya Sharma, Krisha Patel +7
An artificial organ carries failure consequences on the scale of an aircraft or a reactor, but the software driving it is rarely held to the same standard. Teams building them rely…
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…