FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Permission Inference for Array Programs

Jérôme Dohrau, Alexander J Summers, Caterina Urban, Severin Münger and Peter Müller

MASP-Reduce: a proposal for distributed computation of stable models

Federico Igne, Agostino Dovier and Enrico Pontelli

RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL

Yatin Manerkar, Daniel Lustig, Margaret Martonosi and Michael Pellauer
Total: 3 presentations.