![](https://www.pdfsearch.io/img/8cad14edd49b35d67f6e3eb1a8696091.jpg) Date: 2017-06-05 13:23:42
| | Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina TorlakAdd to Reading ListSource URL: memsynth.uwplse.orgDownload Document from Source Website File Size: 321,03 KBShare Document on Facebook
|