SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023
Sun 22 Oct 2023 14:30 - 15:00 at Room I - Synthesis and applications Chair(s): Daniel Schoepe

Template languages transform tree-structured data into text. We study the reverse problem, transforming the template into a parser that returns all the tree-structured data that can produce a given text. Programs written in template languages are generally not injective (they have multiple preimages), not affine (some input variables can appear at several locations in the output), and erasing (they provide only a partial view of the source), which makes the problem challenging. We propose to solve this problem using concepts from abstract interpretation, like the denotational style of abstract semantics, soundness, exactness, or reduction, to reason about the precision and the recovery of all the preimages. This work shows that Abstract Interpretation is a very useful theory when reasoning about the reversal of non-injective programs.

Sun 22 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
Synthesis and applicationsSAS 2023 at Room I
Chair(s): Daniel Schoepe Amazon
14:00
30m
Talk
Generalized Program Sketching by Abstract Interpretation and Logical Abduction
SAS 2023
Aleksandar S. Dimovski Mother Teresa University, Skopje
Pre-print File Attached
14:30
30m
Talk
Reverse Template Processing using Abstract Interpretation
SAS 2023
Matthieu Lemerre Université Paris-Saclay - CEA LIST
Pre-print
15:00
30m
Talk
BREWasm: A General Static Binary Rewriting Framework for WebAssemblyRemote
SAS 2023
Shangtong Cao Beijing University of Posts and Telecommunications, Ningyu He Peking University, Yao Guo Peking University, Haoyu Wang Huazhong University of Science and Technology
Pre-print