%0 Conference Paper %1 conf/pldi/Dasgupta0KAR19 %A Dasgupta, Sandeep %A Park, Daejun %A Kasampalis, Theodoros %A Adve, Vikram S. %A Rosu, Grigore %B PLDI %D 2019 %E McKinley, Kathryn S. %E Fisher, Kathleen %I ACM %K dblp %P 1133-1148 %T A complete formal semantics of x86-64 user-level instruction set architecture. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#Dasgupta0KAR19 %@ 978-1-4503-6712-7

@inproceedings{conf/pldi/Dasgupta0KAR19, added-at = {2019-06-09T00:00:00.000+0200}, author = {Dasgupta, Sandeep and Park, Daejun and Kasampalis, Theodoros and Adve, Vikram S. and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/2dc20586b084bc576fc61d2346d5a92c9/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2019}, editor = {McKinley, Kathryn S. and Fisher, Kathleen}, ee = {https://doi.org/10.1145/3314221.3314601}, interhash = {71f23bb778b98ca407744d124b49c6ae}, intrahash = {dc20586b084bc576fc61d2346d5a92c9}, isbn = {978-1-4503-6712-7}, keywords = {dblp}, pages = {1133-1148}, publisher = {ACM}, timestamp = {2019-06-11T11:37:50.000+0200}, title = {A complete formal semantics of x86-64 user-level instruction set architecture.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#Dasgupta0KAR19}, year = 2019 }