31![Synthesizing Memory Models from Framework Sketches
and Litmus Tests James Bornholt
Emina Torlak Synthesizing Memory Models from Framework Sketches
and Litmus Tests James Bornholt
Emina Torlak](https://www.pdfsearch.io/img/dbe3dc2575ea792727ac4461ff29a140.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-08-25 00:49:19
|
---|
32![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–162) TILTING COHEN–MACAULAY REPRESENTATIONS Osamu Iyama Dedicated to the memory of Ragnar-Olaf Buchweitz Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–162) TILTING COHEN–MACAULAY REPRESENTATIONS Osamu Iyama Dedicated to the memory of Ragnar-Olaf Buchweitz](https://www.pdfsearch.io/img/510fc4f561bf2652953ea36f8bf4121b.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:42
|
---|
33![Contributions: • Online archive: fearcontrol.info + randomartists.org/rupture.shtml • AUTUMNIn memory of Keith Robinson ...founder member of Desert Storm Soundsystem Contributions: • Online archive: fearcontrol.info + randomartists.org/rupture.shtml • AUTUMNIn memory of Keith Robinson ...founder member of Desert Storm Soundsystem](https://www.pdfsearch.io/img/9019bf23b2fb75643c4fbe23aee1cc1d.jpg) | Add to Reading ListSource URL: www.randomartists.orgLanguage: English - Date: 2016-11-15 12:39:06
|
---|
34![Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich](https://www.pdfsearch.io/img/4553376291bef372cca63de4631f2d47.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
35![Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty](https://www.pdfsearch.io/img/076b567647b3e43606b50f44f9815ebb.jpg) | Add to Reading ListSource URL: julien.signoles.free.frLanguage: English - Date: 2017-09-15 19:04:17
|
---|
36![A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)](https://www.pdfsearch.io/img/697fa4baa7c68ce7f87bec5b8aef0a63.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
37![Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav](https://www.pdfsearch.io/img/4ea909cf8fd59e18fca291c39b2dff17.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
38![Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich](https://www.pdfsearch.io/img/85d0821ff774c2011772619bf067c119.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
39![A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017](https://www.pdfsearch.io/img/11ed30702278928018b16fe6054a95ed.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
40![Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.](https://www.pdfsearch.io/img/c6f2daaadb9270e178855998d3b01627.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|