Synthesizing Memory Models from Framework Sketches
 and Litmus Tests James Bornholt
 Emina Torlak

Source URL: unsat.cs.washington.edu

• Computing
• Compiler construction
• Software engineering
• Computer memory
• Concurrency
• Programming language design
• Compiler
• Programming language implementation
• Consistency model
• Memory model
• Kernel

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: unsat.cs.washington.edu

• Mathematical logic
• Model theory
• Metalogic
• Mathematics
• First-order logic
• Relational algebra
• FO
• Structure
• Relational
• Interpretation
• Computation tree logic

The Blockchain Litmus Test T.D. Smith Adventium Labs Minneapolis, MN

Source URL: dcicblog.umd.edu

The Blockchain Litmus Test T.D. Smith tyler.smith@adven:umlabs.com

Source URL: dcicblog.umd.edu

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: memsynth.uwplse.org

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: homes.cs.washington.edu

Synthesizing Memory Models from Framework Sketches
 and Litmus Tests James Bornholt
 Emina Torlak

Source URL: homes.cs.washington.edu

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: homes.cs.washington.edu

Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?∗ Sela Mador-Haim Rajeev Alur

Source URL: www.cis.upenn.edu

Litmus: Running Tests Against Hardware Jade Alglave1,3 Luc Maranget1 Susmit Sarkar2

Source URL: www0.cs.ucl.ac.uk