Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Fri 25 Oct 2019 16:00 - 16:30 at Room 1 - Session 3

Program state visualizations (PSVs) help programmers understand hidden program state like objects, references, and closures. Unfortunately, existing PSV tools do not support custom language semantics, which educators often use to introduce programming languages gradually. They also fail to visualize key pieces of program state, which can lead to incorrect and confusing visualizations.

Theia, a generic PSV framework, uses formal abstract machine definitions to produce complete, continuous, and consistent (CCC) PSVs.

To produce CCC visualizations with Theia, an educator only needs to specify an abstract machine and optionally customize the resulting web page, allowing her to visualize custom language semantics without developing a language-specific tool. We explain how Theia’s design produces CCC PSVs by construction with a series of case studies based on a functional and an imperative language.

Theia’s design is guided by the existing, but underappreciated, insight that formalized notional machines are abstract machines. We describe research questions and opportunities in Programming Languages (PL) and Computer Science Education Research (CER) that result from this observation.

Fri 25 Oct

splash-2019-SPLASH-E
16:00 - 17:30: SPLASH-E - Session 3 at Room 1
splash-2019-SPLASH-E16:00 - 16:30
Full-paper
Josh PollockUniversity of Washington, Jared RoeschUniversity of Washington, USA, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington
splash-2019-SPLASH-E16:30 - 17:00
Full-paper
Jan SliackyFaculty of Informatics, Czech Technical University, Petr MajCzech Technical University
splash-2019-SPLASH-E17:00 - 17:30
Talk
Elisa BaniassadUniversity of British Columbia