13 April 2017
PLDI 2017
Our paper Synthesizing Memory Models from Framework Sketches and Litmus Tests will appear at PLDI 2017! More info on the MemSynth homepage.
Our paper Synthesizing Memory Models from Framework Sketches and Litmus Tests will appear at PLDI 2017! More info on the MemSynth homepage.