Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 541782

Automatic safety proofs for asynchronous memory operations


Botinčan, Matko; Dodds, Mike; Donaldson, Alastair F.; Parkinson, Matthew J.
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: 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 : 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, Texas, SAD, 12-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 ) ( POIROT)

Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb

Profili:

Avatar Url Matko Botinčan (autor)


Citiraj ovu publikaciju:

Botinčan, Matko; Dodds, Mike; Donaldson, Alastair F.; Parkinson, Matthew J.
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: ACM, 2011. str. 313-314 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Botinčan, M., Dodds, M., Donaldson, A. & Parkinson, M. (2011) Automatic safety proofs for asynchronous memory operations. U: Cascaval, C. & Yew, P. (ur.)Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011).
@article{article, author = {Botin\v{c}an, Matko and Dodds, Mike and Donaldson, Alastair F. and Parkinson, Matthew J.}, year = {2011}, pages = {313-314}, keywords = {separation logic, memory safety, concurrency}, isbn = {978-1-4503-0119-0}, title = {Automatic safety proofs for asynchronous memory operations}, keyword = {separation logic, memory safety, concurrency}, publisher = {ACM}, publisherplace = {San Antonio, Texas, SAD} }
@article{article, author = {Botin\v{c}an, Matko and Dodds, Mike and Donaldson, Alastair F. and Parkinson, Matthew J.}, year = {2011}, pages = {313-314}, keywords = {separation logic, memory safety, concurrency}, isbn = {978-1-4503-0119-0}, title = {Automatic safety proofs for asynchronous memory operations}, keyword = {separation logic, memory safety, concurrency}, publisher = {ACM}, publisherplace = {San Antonio, Texas, SAD} }




Contrast
Increase Font
Decrease Font
Dyslexic Font