@inproceedings{shacham08,
  added-at = {2013-08-31T20:54:19.000+0200},
  author = {Shacham, Ofer and Wachs, Megan and Solomatnikov, Alex and Firoozshahian, Amin and Richardson, Stephen and Horowitz, Mark},
  biburl = {https://www.bibsonomy.org/bibtex/2bf82c95a35582cf91f9a270bdd690dcd/freitass},
  booktitle = {41st ACM/IEEE International Symposium on Microarchitecture (MICRO)},
  interhash = {cb5e3872c47ad92636e9e01f4e7b81d5},
  intrahash = {bf82c95a35582cf91f9a270bdd690dcd},
  issn = {1072-4451},
  keywords = {imported},
  pages = {294--305},
  timestamp = {2013-08-31T20:54:19.000+0200},
  title = {Verification of chip multiprocessor memory systems using a relaxed scoreboard},
  year = 2008
}

{"_id":"iqocQyrPHemGDGcJm","bibbaseid":"shacham-wachs-solomatnikov-firoozshahian-richardson-horowitz-verificationofchipmultiprocessormemorysystemsusingarelaxedscoreboard-2008","author_short":["Shacham, O.","Wachs, M.","Solomatnikov, A.","Firoozshahian, A.","Richardson, S.","Horowitz, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2013-08-31T20:54:19.000+0200","author":[{"propositions":[],"lastnames":["Shacham"],"firstnames":["Ofer"],"suffixes":[]},{"propositions":[],"lastnames":["Wachs"],"firstnames":["Megan"],"suffixes":[]},{"propositions":[],"lastnames":["Solomatnikov"],"firstnames":["Alex"],"suffixes":[]},{"propositions":[],"lastnames":["Firoozshahian"],"firstnames":["Amin"],"suffixes":[]},{"propositions":[],"lastnames":["Richardson"],"firstnames":["Stephen"],"suffixes":[]},{"propositions":[],"lastnames":["Horowitz"],"firstnames":["Mark"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2bf82c95a35582cf91f9a270bdd690dcd/freitass","booktitle":"41st ACM/IEEE International Symposium on Microarchitecture (MICRO)","interhash":"cb5e3872c47ad92636e9e01f4e7b81d5","intrahash":"bf82c95a35582cf91f9a270bdd690dcd","issn":"1072-4451","keywords":"imported","pages":"294–305","timestamp":"2013-08-31T20:54:19.000+0200","title":"Verification of chip multiprocessor memory systems using a relaxed scoreboard","year":"2008","bibtex":"@inproceedings{shacham08,\n added-at = {2013-08-31T20:54:19.000+0200},\n author = {Shacham, Ofer and Wachs, Megan and Solomatnikov, Alex and Firoozshahian, Amin and Richardson, Stephen and Horowitz, Mark},\n biburl = {https://www.bibsonomy.org/bibtex/2bf82c95a35582cf91f9a270bdd690dcd/freitass},\n booktitle = {41st ACM/IEEE International Symposium on Microarchitecture (MICRO)},\n interhash = {cb5e3872c47ad92636e9e01f4e7b81d5},\n intrahash = {bf82c95a35582cf91f9a270bdd690dcd},\n issn = {1072-4451},\n keywords = {imported},\n pages = {294--305},\n timestamp = {2013-08-31T20:54:19.000+0200},\n title = {Verification of chip multiprocessor memory systems using a relaxed scoreboard},\n year = 2008\n}\n\n","author_short":["Shacham, O.","Wachs, M.","Solomatnikov, A.","Firoozshahian, A.","Richardson, S.","Horowitz, M."],"key":"shacham08","id":"shacham08","bibbaseid":"shacham-wachs-solomatnikov-firoozshahian-richardson-horowitz-verificationofchipmultiprocessormemorysystemsusingarelaxedscoreboard-2008","role":"author","urls":{},"keyword":["imported"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Wachs?items=1000","dataSources":["KaQrHMBTMZHpqr8fv"],"keywords":["imported"],"search_terms":["verification","chip","multiprocessor","memory","systems","using","relaxed","scoreboard","shacham","wachs","solomatnikov","firoozshahian","richardson","horowitz"],"title":"Verification of chip multiprocessor memory systems using a relaxed scoreboard","year":2008}