Day 3 Opening | Games & Social (‹Programming› 2022 - Organizational) - ‹Programming› 2022

Mon 11 - Thu 14 April 2022

Who

Eva Krebs, Robert Hirschfeld

Track

‹Programming› 2022

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

When

Wed 13 Apr 2022 06:00 - 06:25 at Virtual Space - ‹Programming› Online Wednesday Chair(s): Emma Söderberg

Eva Krebs

Hasso Plattner Institute (HPI), University of Potsdam, Germany

Germany

Robert Hirschfeld

HPI, University of Potsdam

Germany

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

Session Program

Wed 13 Apr
Displayed time zone: Lisbon change

	06:00 - 09:00	‹Programming› Online WednesdayResearch Papers / at Virtual Space Chair(s): Emma Söderberg Lund University

	06:00 25m Other		Day 3 Opening \| Games & Social Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Robert Hirschfeld HPI, University of Potsdam
	06:25 25m Research paper		Figuring and Drawing: a visual approach to principled programmingVol. 6 Research Papers Elpida Keravnou-Papailiou University of Cyprus
	06:50 25m Research paper		Automated, Targeted Testing of Property-Based Testing PredicatesVol. 6 Research Papers Tim Nelson Brown University, Elijah Rivera , Sam Soucie Indiana University, Thomas Del Vecchio Brown University, John Wrenn Brown University, Shriram Krishnamurthi Brown University, United States Link to publication
	07:15 25m Research paper		Deriving Static Security Testing from Runtime Security Protection for Web ApplicationsVol. 6 Research Papers Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication