Discussions with Experts (room 2) - ECOOP and ISSTA 2021

Write a Blog >>

Sun 11 - Sat 17 July 2021 Online

Venueonline

Room nameDiscussions with Experts (room 2)

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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

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 SystemsDiscussions 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 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 ExecutionDiscussions 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. How do we handle loops in symbolic execution? Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap? How do we effectively combine symbolic execution with alternative techniques such as fuzzing and abstract interpretation? …

03:20 40m Panel		Symbolic Execution Discussions with Experts Willem Visser Stellenbosch University, South Africa, Jun Sun Singapore Management University

11:20 - 12:00	Testing/Analysis and ML/DL 2 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 Discussions with Experts Tao Xie Peking University, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	20:00						30
Discussions with Experts (room 2)					Discussions with Experts Specification and Implementation of Type Systems

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30
Discussions with Experts (room 2)					Discussions with Experts Symbolic Execution																																																																								Discussions with Experts Testing/Analysis and ML/DL 2

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	20:00			15			30			45
Discussions with Experts (room 2)					ECOOP and ISSTA Discussions with Experts Specification and Implementation of Type Systems 20:20 - 21:00

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
Discussions with Experts (room 2)					ECOOP and ISSTA Discussions with Experts Symbolic Execution 03:20 - 04:00																																																																								ECOOP and ISSTA Discussions with Experts Testing/Analysis and ML/DL 2 11:20 - 12:00

Room information: Discussions with Experts (room 2)

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Discussions with Experts

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Discussions with Experts

Discussions with Experts

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Co-hosted Conferences

Workshops

Room information: Discussions with Experts (room 2)

Program Display Configuration

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Discussions with Experts

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Discussions with Experts

Discussions with Experts

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JulDisplayed 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

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

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