Automatic safety proofs for asynchronous memory operations (CROSBI ID 579172)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Botinčan, Matko ; Dodds, Mike ; Donaldson, Alastair F. ; Parkinson, Matthew J.
engleski
Automatic safety proofs for asynchronous memory operations
We present a work-in-progress proof system and tool, based on separation logic, for analysing memory safety of multicore programs that use asynchronous memory operations.
separation logic; memory safety; concurrency
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
313-314.
2011.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011)
Cascaval, Colin ; Yew, Pen-Chung
New York (NY): The Association for Computing Machinery (ACM)
978-1-4503-0119-0
Podaci o skupu
The 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011)
predavanje
12.02.2011-16.02.2011
San Antonio (TX), Sjedinjene Američke Države