Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Venueonline
Room nameDiscussions with Experts (room 2)
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

20:20 - 21:00
Specification and Implementation of Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology
20:20
40m
Panel
Specification and Implementation of Type Systems
ECOOP and ISSTA Discussions with Experts
Eelco Visser Delft University of Technology, Sebastian Erdweg JGU Mainz

Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

03:20 - 04:00
Symbolic ExecutionECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Jun Sun Singapore Management University, Willem Visser Stellenbosch University, South Africa

Need research ideas? Join us to discuss the following questions.

  1. How do we handle loops in symbolic execution?

  2. Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap?

  3. How do we effectively combine symbolic execution with alternative techniques such as fuzzing and abstract interpretation?

03:20
40m
Panel
Symbolic Execution
ECOOP and ISSTA Discussions with Experts
Willem Visser Stellenbosch University, South Africa, Jun Sun Singapore Management University
11:20 - 12:00
Testing/Analysis and ML/DL 2 ECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Tao Xie Peking University
11:20
40m
Panel
Testing/Analysis and ML/DL 2
ECOOP and ISSTA Discussions with Experts
Tao Xie Peking University, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology

Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:00153045
Discussions with Experts (room 2)