Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach (HATRA 2023 - 4th International Workshop on Human Aspects of Types and Reasoning Assistants)

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Tyler Holloway, Nada Amin, Elena Glassman

Track

HATRA 2023

Time Zone

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

Use conference time zone: (GMT+01:00) LisbonSelect 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

Sun 22 Oct 2023 11:30 - 12:00 at Room VI - Formalisms and Synthesis Chair(s): Michael Coblenz

Abstract

Program synthesis is a research area focused on automatically generating computer programs that meet specific specifications or requirements. Despite its potential applications in various domains, including biological discovery and program repair, current program synthesis systems face a limitation: they primarily rely on input from a single user, neglecting the collaborative and distributed nature of software engineering. In this paper, we introduce a design experiment aimed at exploring the collaborative potential and effectiveness of multi-user program synthesis. This experiment is part of our ongoing research, and we plan to conduct it in the future.

Tyler Holloway

Harvard University

Nada Amin

Harvard University

United States

Elena Glassman

Harvard University

United States

Time Zone

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

Use conference time zone: (GMT+01:00) LisbonSelect 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

Sun 22 Oct
Displayed time zone: Lisbon change

11:00 - 12:30	Formalisms and SynthesisHATRA at Room VI Chair(s): Michael Coblenz University of California, San Diego

11:00 30m Talk		Diagrammatic notations for interactive theorem proving HATRA Shardul Chiplunkar EPFL, Clément Pit-Claudel EPFL Link to publication
11:30 30m Talk		Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard ApproachRemote HATRA Tyler Holloway Harvard University, Nada Amin Harvard University, Elena Glassman Harvard University
12:00 30m Talk		Latte: Lightweight Aliasing Tracking for Java HATRA Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University Link to publication