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

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, University of Potsdam, 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