SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Wed 7 Dec 2022 14:34 - 14:58 at Seminar Room G007 - Session 7. Grammars, Parsing and Theory Chair(s): Marjan Mernik

We present \emph{property probes}, a mechanism for helping a developer interactively explore partial program analysis results in terms of the source program, and as the program is edited.
A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code.
We have developed a client-server based tool supporting property probes, and argue that it is very helpful in debugging and understanding program analyses.
We have evaluated our tool on several languages and analyses, including a full Java compiler and a tool for intraprocedural dataflow analysis.
Our performance results show that the probe overhead is negligible even when analyzing large projects.

Presentation Slides (Property Probes - SLE 2022.pdf)2.20MiB

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Session 7. Grammars, Parsing and TheorySLE at Seminar Room G007
Chair(s): Marjan Mernik University of Maribor
13:30
40m
Talk
The Semantics of PluralsVirtualSLE Body of Knowledge
SLE
Friedrich Steimann Fernuniversität in Hagen, Marius Freitag Fernuniversität in Hagen
DOI
14:10
24m
Talk
Gradual Grammars: Syntax in Levels and LocalesVirtualResearch Paper
SLE
Tijs van der Storm CWI; University of Groningen, Felienne Hermans Vrije Universiteit Amsterdam
DOI Pre-print Media Attached
14:34
24m
Talk
Property Probes: Source Code Based Exploration of Program Analysis ResultsIncludes DemoResearch PaperIn Person
SLE
Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University, Adrian Pop Linköping University
DOI Pre-print Media Attached File Attached
Hide past events