PLR PROGRAM
Wednesday, July 18th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 125I: Parallel graph algorithms
On parallel algorithms working with graphs.
Chair:
Location: Maths Seminar C5
| 09:00 | Parallel Algorithms for Parameter Synthesis from Temporal Logic Specifications (abstract) |
| 09:45 | MASP-Reduce: a proposal for distributed computation of stable models (abstract)  |
10:30-11:00Coffee Break
11:00-12:30 Session 127I: Verifying parallel programs
Techniques to verify parallel programs.
Chair:
Location: Maths Seminar C5
| 11:00 | Permission Inference for Array Programs (abstract) |
| 11:45 | RTLCheck: Automatically Verifying the Memory Consistency of Processor RTL (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 128I: Parallel SAT solving
Parallel approaches to perform SAT solving.
Chair:
Location: Maths Seminar C5
| 14:00 | Tuning Parallel SAT Solvers (abstract) |
| 14:45 | GPU Accelerated SAT solving (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 130H: Parallel parity game solving
On parallel algorithms to solve parity games.
Chair:
Location: Maths Seminar C5
| 16:00 | Using work-stealing to parallelize symbolic algorithms and parity game solvers (abstract) |
| 16:45 | An Efficient Zielonka's Algorithm for Parallel Parity Games (abstract) |
19:15-21:30 Workshops dinner at Magdalen College
Workshops dinner at Magdalen College. Drinks reception from 7.15pm, to be seated by 7:45 (pre-booking via FLoC registration system required; guests welcome).
Location: Magdalen College