Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B D F H J K N P R S T V

A
Alur, Rajeev	Complexity of Relational Query Synthesis A Framework for Transforming Specifications in Reinforcement Learning
B
Bansal, Suguman	A Framework for Transforming Specifications in Reinforcement Learning
Barbone, Mark	Regex+: Synthesizing Regular Expressions from Positive Examples
Bastani, Osbert	A Framework for Transforming Specifications in Reinforcement Learning
D
Drachsler Cohen, Dana	Future Work and Open Challenges Panel – Authors+Chairs
F
Finkbeiner, Bernd	LTL Synthesis with Transformer Neural Networks
H
Hahn, Christopher	LTL Synthesis with Transformer Neural Networks
Hozzová, Petra	Towards Synthesis in Superposition
J
Jothimurugan, Kishor	A Framework for Transforming Specifications in Reinforcement Learning
K
Kalita, Pankaj Kumar	Interactive Debugging of Concurrent Programs under Relaxed Memory Models
Katoen, Joost-Pieter	Inductive and Parameter Synthesis to Find POMDP Controllers
Kovács, Laura	Towards Synthesis in Superposition
N
Naik, Mayur	Complexity of Relational Query Synthesis
Nedunuri, Srinivas	Inferring Environment Assumptions in Model Refinement
P
Pandey, Awanish	Interactive Debugging of Concurrent Programs under Relaxed Memory Models
Perez, Guillermo	SYNTCOMP Results
Pertseva, Elizaveta	Regex+: Synthesizing Regular Expressions from Positive Examples
Polgreen, Elizabeth	Beyond Counterexamples: Satisfiability and Synthesis Modulo Oracles
Polikarpova, Nadia	Regex+: Synthesizing Regular Expressions from Positive Examples
R
Rabe, Markus N.	LTL Synthesis with Transformer Neural Networks
Reynolds, Andrew	SyGuS-IF + SemGuS Results
Rodriguez, Andoni	Reactive Synthesis of LTL specifications with Rich Theories
Roy, Subhajit	Interactive Debugging of Concurrent Programs under Relaxed Memory Models
Rudek, Joey	Regex+: Synthesizing Regular Expressions from Positive Examples
S
Schmitt, Frederik	LTL Synthesis with Transformer Neural Networks
Smith, Douglas	Inferring Environment Assumptions in Model Refinement
Sánchez, César	Reactive Synthesis of LTL specifications with Rich Theories
T
Thakkar, Aalok	Complexity of Relational Query Synthesis
V
Verma, Aakanksha	Interactive Debugging of Concurrent Programs under Relaxed Memory Models
Voronkov, Andrei	Towards Synthesis in Superposition