FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Arcucci, Rossella	An Efficient Zielonka's Algorithm for Parallel Parity Games
D
Dohrau, Jérôme	Permission Inference for Array Programs
Dovier, Agostino	MASP-Reduce: a proposal for distributed computation of stable models
E
Ehlers, Thorsten	Tuning Parallel SAT Solvers
I
Igne, Federico	MASP-Reduce: a proposal for distributed computation of stable models
L
Lustig, Daniel	RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL
M
Manerkar, Yatin	RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL
Marotta, Umberto	An Efficient Zielonka's Algorithm for Parallel Parity Games
Martonosi, Margaret	RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL
Murano, Aniello	An Efficient Zielonka's Algorithm for Parallel Parity Games
Müller, Peter	Permission Inference for Array Programs
Münger, Severin	Permission Inference for Array Programs
N
Nowotka, Dirk	Tuning Parallel SAT Solvers
O
Osama, Muhammad	GPU Accelerated SAT solving
P
Pellauer, Michael	RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL
Pontelli, Enrico	MASP-Reduce: a proposal for distributed computation of stable models
S
Safranek, David	Parallel Algorithms for Parameter Synthesis from Temporal Logic Specifications
Sorrentino, Loredana	An Efficient Zielonka's Algorithm for Parallel Parity Games
Summers, Alexander	Permission Inference for Array Programs
U
Urban, Caterina	Permission Inference for Array Programs
V
van Dijk, Tom	Using work-stealing to parallelize symbolic algorithms and parity game solvers
W
Wijs, Anton	GPU Accelerated SAT solving

Disclaimer | Powered by EasyChair Smart Program