Zoom 2 - ISSTA 2020

Room nameZoom 2

Floor0

Room Information

Participants who have registered for ISSTA 2020 will receive an invitation to ISSTA 2020 Slack. Please join the Slack workspace and find the link to join this zoom call in slack. If you have not registered for ISSTA 2020 but would like to watch these talks, click on “Public Live Stream/Recording” link listed on each session to view it on YouTube (each session has a different stream/recording).

Program

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

07:40 - 08:40	Summer SchoolSummer School at Zoom 2 Chair(s): Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

07:40 60m Talk		Talk by Nadia Alshahwan (Facebook) Summer School

09:00 - 10:00	Summer SchoolSummer School at Zoom 2 Chair(s): Marcel Böhme Monash University, Jaco Geldenhuys University of Stellenbosch, South Africa Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00 60m Talk		Talk by Claire Le Goues (CMU) Summer School

11:40 - 12:40	Summer SchoolSummer School at Zoom 2 Chair(s): Sarfraz Khurshid University of Texas at Austin, USA Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

11:40 60m Talk		Talk by Alex Orso (Georgia Tech) Summer School

13:00 - 14:00	Summer SchoolSummer School at Zoom 2 Chair(s): Milos Gligoric The University of Texas at Austin Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:00 60m Talk		Talk by Somesh Jha (Wisconsin) Summer School

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

09:00 - 12:00	WoSCAWoSCA at Zoom 2

09:00 30m Talk		Neville Grech -- Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities WoSCA Neville Grech University of Athens, Greece
09:30 30m Talk		Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in Solidity WoSCA Ákos Hajdu Budapest University of Technology and Economics
10:00 30m Talk		Arthur Scott Wesley -- Verification of Parameterized Smart Contracts WoSCA
10:30 15m Break		Break WoSCA
10:45 30m Talk		Gustavo Grieco -- Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts WoSCA Gustavo Grieco Trail of Bits
11:15 30m Talk		Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers WoSCA Shuvendu K. Lahiri Microsoft Research, Diego Garbervetsky University of Buenos Aires and CONICET, Argentina
11:45 15m Meeting		Rump WoSCA

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change


Room	7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30
Zoom 2									Summer School Summer School																Summer School Summer School																																Summer School Summer School																Summer School Summer School

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00						30						10:00						30						11:00						30
Zoom 2	WoSCA WoSCA

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change


Room	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			12:00			15			30			45			13:00			15			30			45
Zoom 2									ISSTA Summer School Talk by Nadia Alshahwan (Facebook) 07:40 - 08:40																ISSTA Summer School Talk by Claire Le Goues (CMU) 09:00 - 10:00																																ISSTA Summer School Talk by Alex Orso (Georgia Tech) 11:40 - 12:40																ISSTA Summer School Talk by Somesh Jha (Wisconsin) 13:00 - 14:00

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
Zoom 2	ISSTA WoSCA Neville Grech -- Ethainter: A Smart Contract Security Analyzer for Comp ... 09:00 - 09:30						ISSTA WoSCA Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in ... 09:30 - 10:00						ISSTA WoSCA Arthur Scott Wesley -- Verification of Parameterized Smart Contracts 10:00 - 10:30						ISSTA WoSCA Break 10:30 - 10:45			ISSTA WoSCA Gustavo Grieco -- Echidna: Effective, Usable, and Fast Fuzzing for Smar ... 10:45 - 11:15						ISSTA WoSCA Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Ver ... 11:15 - 11:45						ISSTA WoSCA Rump 11:45 - 12:00

Room information: Zoom 2

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Summer School

Summer School

Summer School

Summer School

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

WoSCA

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

Tracks

Room information: Zoom 2

Program Display Configuration

Sat 18 JulDisplayed time zone: Tijuana, Baja California change

Sun 19 JulDisplayed time zone: Tijuana, Baja California change

Sat 18 JulDisplayed time zone: Tijuana, Baja California change

Summer School

Summer School

Summer School

Summer School

Sun 19 JulDisplayed time zone: Tijuana, Baja California change

WoSCA

Sat 18 JulDisplayed time zone: Tijuana, Baja California change

Sun 19 JulDisplayed time zone: Tijuana, Baja California change

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change