EasyChair Smart SlideUser guide
Conference: PLR 2018 (First Workshop on Parallel Logical Reasoning)

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

Federico Igne, Agostino Dovier and Enrico Pontelli

Permission Inference for Array Programs

Permission Inference for Array Programs

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

RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL

RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL

Yatin Manerkar, Daniel Lustig, Margaret Martonosi and Michael Pellauer

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair