Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Wed 23 Sep 2020 09:10 - 09:30 at Kangaroo - Synthesis Chair(s): Domenico Bianculli

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. GR(1) is an expressive assume-guarantee fragment of LTL that enables efficient synthesis and has been recently used in different contexts and application domains.

In this work we present just-in-time synthesis (JITS) for GR(1). Rather than constructing a controller at synthesis time, we compute next states during system execution, and only when they are required. We prove that JITS does not compromise the correctness of the synthesized system execution. We further show that the basic algorithm can be extended to enable several variants.

We have implemented JITS in the Spectra synthesizer. Our evaluation, comparing JITS to existing tools over known benchmark specifications, shows that JITS reduces (1) total synthesis time, (2) the size of the synthesis output, and (3) the loading time for system execution, all while having little to no effect on system execution performance.

Wed 23 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

09:10 - 10:10
SynthesisResearch Papers at Kangaroo
Chair(s): Domenico Bianculli University of Luxembourg
Just-In-Time Reactive Synthesis
Research Papers
Shahar Maoz Tel Aviv University, Israel, Ilia Shevrin Tel Aviv University
JISET: JavaScript IR-based Semantics Extraction Toolchain
Research Papers
Jihyeok Park KAIST, South Korea, Jihee Park KAIST, Seungmin An KAIST, Sukyoung Ryu KAIST
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Research Papers
Yeting Li Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zhiwu Xu Shenzhen University, Jialun Cao Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Haiming Chen Institute of Software, Chinese Academy of Sciences, Tingjian Ge University of Massachusetts, Lowell, Shing-Chi Cheung Hong Kong University of Science and Technology, China, Haoren Zhao Shaanxi Normal University, Xi'an, China