SpecTacles: Supporting Control Flow Comprehension of Software Developers in TLA+ (VL/HCC 2024 - Research Papers)

Who

Daniel Stachnik, Tom Beckmann, Patrick Rein, Robert Hirschfeld

Track

VL/HCC 2024 Research Papers

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 4 Sep 2024 14:00 - 14:20 at LT1 - Session 5: New Frontiers in Visual Languages Chair(s): Sandeep Kuttal

Daniel Stachnik

Hasso Plattner Institute

Germany

Tom Beckmann

Hasso Plattner Institute

Germany

Patrick Rein

University of Potsdam; Hasso Plattner Institute

Germany

Robert Hirschfeld

Hasso Plattner Institute; University of Potsdam

Germany

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 4 Sep
Displayed time zone: London change

14:00 - 15:30	Session 5: New Frontiers in Visual LanguagesResearch Papers at LT1 Chair(s): Sandeep Kuttal North Carolina State University

14:00 20m Talk		SpecTacles: Supporting Control Flow Comprehension of Software Developers in TLA+ Research Papers Daniel Stachnik Hasso Plattner Institute, Tom Beckmann Hasso Plattner Institute, Patrick Rein University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
14:20 20m Talk		Reconstructing Web Interfaces for Code Comparison Research Papers Justin Middleton North Carolina State University, Neha Patil North Carolina State University, Kathryn Stolee North Carolina State University
14:40 20m Talk		P-Inti: Interactive Visual Representation of Programming Concepts for Learning and Instruction Research Papers Shishir Halaharvi VIXI Lab, University of Victoria, Gonzalo Gabriel Méndez Universitat Politècnica de València, Hamid Mansoor VIXI Lab, University of Victoria, Quinton Yong Department of Computer Science, University of Victoria, Alessandra Maciel Paz Milani Department of Computer Science, University of Victoria, Margaret-Anne Storey University of Victoria, Miguel A. Nacenta University of Victoria
15:00 15m Short-paper		ALLI/O: An Action-based Visual Programming Platform for Embedded System Research Papers Nuntipat Narkthong Northeastern University, Chattriya Jariyavajee King Mongkut's University of Technology Thonburi, Xiaolin Xu Northeastern University
15:15 15m Short-paper		FlexDoc: Flexible Document Adaptation through Optimizing both Content and Layout Research Papers Yue Jiang Aalto University, Christof Lutteroth University of Bath, Rajiv Jain Adobe Research, Christopher Tensmeyer Adobe Research, Varun Manjunatha Adobe Research, Wolfgang Stuerzlinger Simon Fraser University, Vlad Morariu Adobe Research