VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Alur, Rajeev	The 1st Syntax-Guided Synthesis Competition (SyGuS)
B
Bloem, Roderick	Parameterized Synthesis Case Study: AMBA AHB How to Handle Assumptions in Synthesis
Bohy, Aaron	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
Brenguier, Romain	AbsSynthe: abstract synthesis from succinct safety specifications
Bruyère, Véronique	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
E
Ehlers, Rüdiger	How to Handle Assumptions in Synthesis Low-effort Specification Debugging and Analysis
F
Finkbeiner, Bernd	Petri Games: Synthesis of Distributed Systems with Causal Memory (Invited Talk)
G
Gascon, Adria	Synthesis of a simple self stabilizing system
J
Jacobs, Swen	Parameterized Synthesis Case Study: AMBA AHB How to Handle Assumptions in Synthesis The 1st Synthesis Competition for Reactive Systems (SyntComp)
Jha, Susmit	Are There Good Mistakes? A Theoretical Analysis of CEGIS
K
Khalimov, Ayrat	Parameterized Synthesis Case Study: AMBA AHB
Koenighofer, Robert	How to Handle Assumptions in Synthesis
Kuncak, Viktor	Automating Deductive Synthesis with Leon (Invited Talk)
P
Perez, Guillermo	AbsSynthe: abstract synthesis from succinct safety specifications
R
Raman, Vasumathi	Low-effort Specification Debugging and Analysis
Raskin, Jean-Francois	Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes AbsSynthe: abstract synthesis from succinct safety specifications
Ryzhyk, Leonid	Automatic Device Driver Synthesis Project: a Work-in-Progress Report (Invited Talk)
S
Sankur, Ocan	AbsSynthe: abstract synthesis from succinct safety specifications
Seshia, Sanjit A.	Are There Good Mistakes? A Theoretical Analysis of CEGIS
T
Tiwari, Ashish	Synthesis of a simple self stabilizing system Synthesis using EF-SMT Solvers (Invited Talk)
W
Wiklicky, Herbert	Program Synthesis and Linear Operator Semantics

Disclaimer | Powered by EasyChair Smart Program