Memory

Results: 23062



#Item
31Synthesizing 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

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-25 00:49:19
32Proc. 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

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:42
33Contributions: • 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

Add to Reading List

Source URL: www.randomartists.org

Language: English - Date: 2016-11-15 12:39:06
34Synthesis 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

Add to Reading List

Source URL: practicalsynthesis.github.io

Language: English - Date: 2018-01-15 09:26:26
35Runtime 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

Add to Reading List

Source URL: julien.signoles.free.fr

Language: English - Date: 2017-09-15 19:04:17
36A 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)

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
37Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav

Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav

Add to Reading List

Source URL: practicalsynthesis.github.io

Language: English - Date: 2018-01-15 09:26:26
38Effective 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

Add to Reading List

Source URL: practicalsynthesis.github.io

Language: English - Date: 2018-01-15 09:26:26
39A 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

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
40Towards 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.

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36