%0 Conference Paper %1 conf/micro/ManerkarLMG18 %A Manerkar, Yatin A. %A Lustig, Daniel %A Martonosi, Margaret %A Gupta, Aarti %B MICRO %D 2018 %I IEEE Computer Society %K dblp %P 788-801 %T PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications. %U http://dblp.uni-trier.de/db/conf/micro/micro2018.html#ManerkarLMG18 %@ 978-1-5386-6240-3

@inproceedings{conf/micro/ManerkarLMG18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Manerkar, Yatin A. and Lustig, Daniel and Martonosi, Margaret and Gupta, Aarti}, biburl = {https://www.bibsonomy.org/bibtex/2822bf45c09fb1f4faacfd6366a10d918/dblp}, booktitle = {MICRO}, crossref = {conf/micro/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/MICRO.2018.00069}, interhash = {71363e728c38ec2b2fb7267fcec3195a}, intrahash = {822bf45c09fb1f4faacfd6366a10d918}, isbn = {978-1-5386-6240-3}, keywords = {dblp}, pages = {788-801}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:38:02.000+0200}, title = {PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications.}, url = {http://dblp.uni-trier.de/db/conf/micro/micro2018.html#ManerkarLMG18}, year = 2018 }