{"date_created":"2019-06-03T07:59:36Z","editor":[{"first_name":"Jeffrey","last_name":"K. Hollingsworth","full_name":"K. Hollingsworth, Jeffrey"},{"first_name":"Idit","full_name":"Keidar, Idit","last_name":"Keidar"}],"citation":{"chicago":"Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying C11 Programs Operationally.” In <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. <a href=\"https://doi.org/10.1145/3293883.3295702\">https://doi.org/10.1145/3293883.3295702</a>.","short":"S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.","bibtex":"@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11 programs operationally}, DOI={<a href=\"https://doi.org/10.1145/3293883.3295702\">10.1145/3293883.3295702</a>}, booktitle={Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, publisher={{ACM}}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, editor={K. Hollingsworth, Jeffrey and Keidar, IditEditors}, year={2019}, pages={355–365} }","apa":"Doherty, S., Dongol, B., Wehrheim, H., &#38; Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth &#38; I. Keidar (Eds.), <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i> (pp. 355–365). {ACM}. <a href=\"https://doi.org/10.1145/3293883.3295702\">https://doi.org/10.1145/3293883.3295702</a>","ama":"Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying C11 programs operationally. In: K. Hollingsworth J, Keidar I, eds. <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>. {ACM}; 2019:355-365. doi:<a href=\"https://doi.org/10.1145/3293883.3295702\">10.1145/3293883.3295702</a>","mla":"Doherty, Simon, et al. “Verifying C11 Programs Operationally.” <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:<a href=\"https://doi.org/10.1145/3293883.3295702\">10.1145/3293883.3295702</a>.","ieee":"S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in <i>Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019</i>, 2019, pp. 355–365."},"user_id":"29719","department":[{"_id":"77"}],"title":"Verifying C11 programs operationally","_id":"10092","author":[{"first_name":"Simon","last_name":"Doherty","full_name":"Doherty, Simon"},{"full_name":"Dongol, Brijesh","last_name":"Dongol","first_name":"Brijesh"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"},{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"}],"publisher":"{ACM}","year":"2019","project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"status":"public","publication":"Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019","date_updated":"2022-01-06T06:50:28Z","type":"conference","page":"355-365","doi":"10.1145/3293883.3295702","language":[{"iso":"eng"}]}