Pregled bibliografske jedinice broj: 541782
Automatic safety proofs for asynchronous memory operations
Automatic safety proofs for asynchronous memory operations // Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011) / Cascaval, Colin ; Yew, Pen-Chung (ur.).
New York (NY): The Association for Computing Machinery (ACM), 2011. str. 313-314 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 541782 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Automatic safety proofs for asynchronous memory operations
Autori
Botinčan, Matko ; Dodds, Mike ; Donaldson, Alastair F. ; Parkinson, Matthew J.
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
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), 2011, 313-314
ISBN
978-1-4503-0119-0
Skup
The 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011)
Mjesto i datum
San Antonio (TX), Sjedinjene Američke Države, 12.02.2011. - 16.02.2011
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
separation logic; memory safety; concurrency
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
037-0362980-2774 - Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima (Manger, Robert, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Matko Botinčan
(autor)
