%0 Conference Paper %1 conf/pldi/SammlerHL0PD0S22 %A Sammler, Michael %A Hammond, Angus %A Lepigre, Rodolphe %A Campbell, Brian %A Pichon-Pharabod, Jean %A Dreyer, Derek %A Garg, Deepak %A Sewell, Peter %B PLDI %D 2022 %E Jhala, Ranjit %E Dillig, Isil %I ACM %K dblp %P 825-840 %T Islaris: verification of machine code against authoritative ISA semantics. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#SammlerHL0PD0S22 %@ 978-1-4503-9265-5

@inproceedings{conf/pldi/SammlerHL0PD0S22, added-at = {2022-06-03T00:00:00.000+0200}, author = {Sammler, Michael and Hammond, Angus and Lepigre, Rodolphe and Campbell, Brian and Pichon-Pharabod, Jean and Dreyer, Derek and Garg, Deepak and Sewell, Peter}, biburl = {https://www.bibsonomy.org/bibtex/29a2243f317ac93a6103416c09f15a160/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2022}, editor = {Jhala, Ranjit and Dillig, Isil}, ee = {https://doi.org/10.1145/3519939.3523434}, interhash = {622ca05dce8b52c519c65e6ae6ece9d6}, intrahash = {9a2243f317ac93a6103416c09f15a160}, isbn = {978-1-4503-9265-5}, keywords = {dblp}, pages = {825-840}, publisher = {ACM}, timestamp = {2024-04-09T19:00:12.000+0200}, title = {Islaris: verification of machine code against authoritative ISA semantics.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2022.html#SammlerHL0PD0S22}, year = 2022 }