Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs

Article Details
Title:	Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
Article URLs:	https://doi.org/10.1007/978-3-319-66706-5_13
Alternative Article URLs:
Authors:	Suvam Mukherjee	Indian Institute of Science
	Oded Padon	Tel Aviv University
	Sharon Shoham	Tel Aviv University
	Deepak D'Souza	Indian Institute of Science
	Noam Rinetzky	Tel Aviv University
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://bitbucket.org/suvam/ratcop
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sas/MukherjeePSDR17
Author Comments:

International Static Analysis Symposium, SAS 2017