Formalizing the concurrency semantics of an LLVM fragment

Article Details
Title:	Formalizing the concurrency semantics of an LLVM fragment
Article URLs:	http://dl.acm.org/citation.cfm?id=3049844
Alternative Article URLs:
Authors:	Soham Chakraborty	Max Planck Institute for Software Systems
Authors:	Viktor Vafeiadis	Max Planck Institute for Software Systems
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://plv.mpi-sws.org/llvmcs/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/cgo/ChakrabortyV17
Author Comments:

IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2017