Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 10 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at Bren 1410
issta-2017-agenda149966640000008:00 - 12:00
Registration
issta-2017-agenda
08:45 - 09:00: Agenda - ISSTA 2017 Opening at Bren 1414
issta-2017-agenda149966910000008:45 - 09:00
Day opening
issta-2017-keynotes
09:00 - 10:00: Keynotes - Monday Keynote at Bren 1414
Chair(s): Koushik Sen
issta-2017-keynotes149967000000009:00 - 10:00
Talk
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at Bren Courtyard
issta-2017-catering149967360000010:00 - 10:30
Coffee break
issta-2017-catering
12:00 - 13:45: Catering - Monday Lunch at DLG Commons
issta-2017-catering149968080000012:00 - 13:45
Lunch
issta-2017-demos
14:35 - 15:05: Demonstrations - Lightning Talks at Bren 1414
Chair(s): Neha Rungta, Yuriy Brun
issta-2017-demos149969010000014:35 - 14:37
Demonstration
DOI
issta-2017-demos149969022800014:37 - 14:39
Demonstration
DOI
issta-2017-demos149969035700014:39 - 14:41
Demonstration
DOI
issta-2017-demos149969048500014:41 - 14:43
Demonstration
DOI
issta-2017-demos149969061400014:43 - 14:45
Demonstration
DOI
issta-2017-demos149969074200014:45 - 14:47
Demonstration
DOI
issta-2017-demos149969087100014:47 - 14:49
Demonstration
DOI
issta-2017-demos149969099900014:49 - 14:52
Demonstration
DOI
issta-2017-demos149969112800014:52 - 14:54
Demonstration
DOI
issta-2017-demos149969125700014:54 - 14:56
Demonstration
DOI
issta-2017-demos149969138500014:56 - 14:58
Demonstration
DOI
issta-2017-demos149969151400014:58 - 15:00
Demonstration
DOI
issta-2017-demos149969164200015:00 - 15:02
Demonstration
DOI
issta-2017-demos149969177100015:02 - 15:04
Demonstration
DOI
issta-2017-catering
15:05 - 16:00: Catering - Coffee Break + Poster Sessions at Bren Courtyard
issta-2017-catering149969190000015:05 - 16:00
Coffee break
issta-2017-catering
18:30 - 20:30: Catering - Reception for ISSTA at Mosher Alumni House
issta-2017-catering149970420000018:30 - 20:30
Social Event

Tue 11 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at Bren 1410
issta-2017-agenda149975280000008:00 - 12:00
Registration
issta-2017-keynotes
09:00 - 10:00: Keynotes - Tuesday Keynote at Bren 1414
Chair(s): Tevfik Bultan
issta-2017-keynotes149975640000009:00 - 10:00
Talk
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at Bren Courtyard
issta-2017-catering149976000000010:00 - 10:30
Coffee break
issta-2017-agenda
11:45 - 13:20: Agenda - ISSTA Steering Committee Meeting at Club & Guest House
issta-2017-agenda149976630000011:45 - 13:20
Meeting
issta-2017-catering
11:45 - 13:20: Catering - Tuesday Lunch at DLG Commons
issta-2017-catering149976630000011:45 - 13:20
Lunch
issta-2017-catering
15:00 - 16:00: Catering - Coffee Break + Poster Sessions at Bren Courtyard
issta-2017-catering149977800000015:00 - 16:00
Coffee break
issta-2017-catering
17:45 - 20:00: Catering - Goleta Beach BBQ at Goleta Beach
issta-2017-catering149978790000017:45 - 20:00
Social Event

Wed 12 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at Bren 1410
issta-2017-agenda149983920000008:00 - 12:00
Registration
issta-2017-agenda
09:00 - 09:30: Agenda - ISSTA 2017 Impact Paper Award at Bren 1414
Chair(s): Andreas Zeller
issta-2017-agenda149984280000009:00 - 09:30
Talk
Link to publication DOI
spin-2017-RERS
09:00 - 10:00: RERS - Session 1 at Bren 1424
spin-2017-RERS149984280000009:00 - 10:00
Day opening
issta-2017-research
09:30 - 09:55: Technical Papers - Experience Report at Bren 1414
Chair(s): Andreas Zeller
issta-2017-research149984460000009:30 - 09:55
Talk
DOI
issta-2017-agenda
09:55 - 10:00: Agenda - ISSTA 2018 Preview at Bren 1414
issta-2017-agenda149984610000009:55 - 10:00
Other
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at Bren Courtyard
issta-2017-catering149984640000010:00 - 10:30
Coffee break
spin-2017-RERS
10:30 - 12:00: RERS - Session 2 at Bren 1424
spin-2017-RERS149984820000010:30 - 12:00
Talk
issta-2017-catering
11:45 - 13:20: Catering - Wednesday Lunch at DLG Commons
issta-2017-catering149985270000011:45 - 13:20
Lunch
issta-2017-research
13:20 - 15:00: Technical Papers - Fault Localization and Mutation Testing at Bren 1414
Chair(s): Alex Orso
issta-2017-research149985840000013:20 - 13:45
Talk
DOI
issta-2017-research149985990000013:45 - 14:10
Talk
DOI
issta-2017-research149986140000014:10 - 14:35
Talk
DOI Pre-print
issta-2017-research149986290000014:35 - 15:00
Talk
DOI Pre-print
spin-2017-RERS
13:30 - 15:00: RERS - Session 3 at Bren 1424
spin-2017-RERS149985900000013:30 - 14:15
Talk
spin-2017-RERS149986170000014:15 - 15:00
Talk
spin-2017-RERS
15:30 - 16:30: RERS - Session 4 at Bren 1424
spin-2017-RERS149986620000015:30 - 16:30
Talk
spin-2017-RERS
16:30 - 17:30: RERS - Session 5 at Bren 1424
spin-2017-RERS149986980000016:30 - 17:30
Day closing

Thu 13 Jul

issta-2017-agenda
08:00 - 12:00: Agenda - Registration at ESB Courtyard
issta-2017-agenda149992560000008:00 - 12:00
Registration
spin-2017-Keynote
08:30 - 09:30: SPIN Keynote - Session 1 at ESB 1001
Chair(s): Klaus Havelund, Hakan Erdogmus
spin-2017-Keynote149992740000008:30 - 09:30
Talk
issta-2017-doctoral-symposium
09:00 - 10:00: Doctoral Symposium - Keynote at ESB 2003
Chair(s): Ben Liblit
issta-2017-doctoral-symposium149992920000009:00 - 10:00
Talk
Media Attached
issta-2017-tecps
09:00 - 10:00: TECPS - Keynote at ESB 2001
Chair(s): Tingting Yu
issta-2017-tecps149992920000009:00 - 10:00
Talk
spin-2017-full-papers
09:30 - 10:00: SPIN Full Paper - Session 2: Symbolic Verification at ESB 1001
Chair(s): Klaus Havelund
spin-2017-full-papers149993100000009:30 - 10:00
Talk
issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering149993280000010:00 - 10:30
Coffee break
spin-2017-catering
10:00 - 10:30: Catering - Thursday AM Break at ESB Courtyard
spin-2017-catering149993280000010:00 - 10:30
Coffee break
issta-2017-doctoral-symposium
10:30 - 12:00: Doctoral Symposium - Analysis at ESB 2003
Chair(s): Mary Lou Soffa
issta-2017-doctoral-symposium149993460000010:30 - 11:00
Talk
issta-2017-doctoral-symposium149993640000011:00 - 11:30
Talk
issta-2017-doctoral-symposium149993820000011:30 - 12:00
Talk
issta-2017-catering
12:00 - 13:30: Catering - Thursday Lunch at DLG Commons
issta-2017-catering149994000000012:00 - 13:30
Lunch
issta-2017-doctoral-symposium
13:30 - 15:00: Doctoral Symposium - Modeling and Learning at ESB 2003
Chair(s): Alex Orso
issta-2017-doctoral-symposium149994540000013:30 - 14:00
Talk
issta-2017-doctoral-symposium149994720000014:00 - 14:30
Talk
issta-2017-doctoral-symposium149994900000014:30 - 15:00
Talk
issta-2017-tecps
13:30 - 15:00: TECPS - Session 2 at ESB 2001
Chair(s): Kristen Walcott-Justice
issta-2017-tecps149994540000013:30 - 14:00
Talk
issta-2017-tecps149994720000014:00 - 14:30
Talk
issta-2017-tecps149994900000014:30 - 15:00
Talk
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 4 at ESB 1001
Chair(s): Klaus Havelund
spin-2017-Keynote149994540000013:30 - 14:30
Talk
spin-2017-full-papers
14:30 - 15:00: SPIN Full Paper - Session 5: Code Verification at ESB 1001
Chair(s): Alberto Salmeron
spin-2017-full-papers149994900000014:30 - 15:00
Talk
issta-2017-catering
15:00 - 15:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering149995080000015:00 - 15:30
Coffee break
spin-2017-catering
15:00 - 15:30: Catering - Thursday PM Break at ESB Courtyard
spin-2017-catering149995080000015:00 - 15:30
Coffee break
issta-2017-doctoral-symposium
15:30 - 17:00: Doctoral Symposium - Testing at ESB 2003
Chair(s): Alex Groce
issta-2017-doctoral-symposium149995260000015:30 - 16:00
Talk
issta-2017-doctoral-symposium149995440000016:00 - 16:30
Talk
issta-2017-doctoral-symposium149995620000016:30 - 17:00
Talk
issta-2017-catering
18:30 - 20:30: Catering - Reception for SPIN and Workshops at Mosher Alumni House
issta-2017-catering149996340000018:30 - 20:30
Social Event
spin-2017-catering
18:30 - 20:30: Catering - SPIN Reception at Mosher Alumni House
spin-2017-catering149996340000018:30 - 20:30
Dinner

Fri 14 Jul

issta-2017-catering
10:00 - 10:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering150001920000010:00 - 10:30
Coffee break
spin-2017-catering
10:00 - 10:30: Catering - Friday AM Break at ESB Courtyard
spin-2017-catering150001920000010:00 - 10:30
Coffee break
issta-2017-catering
12:00 - 13:30: Catering - Friday Lunch at DLG Commons
issta-2017-catering150002640000012:00 - 13:30
Lunch
spin-2017-Keynote
13:30 - 14:30: SPIN Keynote - Session 10 at ESB 1001
Chair(s): Yliès Falcone
spin-2017-Keynote150003180000013:30 - 14:30
Talk
spin-2017-full-papers
14:30 - 15:00: SPIN Full Paper - Session 11: Program Sketching at ESB 1001
Chair(s): Madalina Erascu
spin-2017-full-papers150003540000014:30 - 15:00
Talk
issta-2017-catering
15:00 - 15:30: Catering - Coffee Break at ESB Courtyard
issta-2017-catering150003720000015:00 - 15:30
Coffee break
spin-2017-catering
15:00 - 15:30: Catering - Friday PM Break at ESB Courtyard
spin-2017-catering150003720000015:00 - 15:30
Coffee break
spin-2017-SPIN
17:10 - 17:30: SPIN Agenda - Session 14 at ESB 1001
Chair(s): Klaus Havelund, Hakan Erdogmus, Pedro Merino Gomez
spin-2017-SPIN150004500000017:10 - 17:30
Day closing

Mon 10 Jul 2017

Tue 11 Jul 2017

Wed 12 Jul 2017

Mon 10 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Bren 1410
Bren 1414
Bren 1424
Bren Courtyard
DLG Commons
Mosher Alumni House

Tue 11 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Bren 1410
Bren 1414
Bren 1424
Bren Courtyard
Club & Guest House
DLG Commons
Goleta Beach

Wed 12 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bren 1410
Bren 1414
Bren 1424
Bren Courtyard
DLG Commons

Thu 13 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
DLG Commons
ESB 1001
ESB 2001
ESB 2003
ESB Courtyard
Mosher Alumni House

Fri 14 Jul 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
DLG Commons
ESB 1001
ESB Courtyard
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)