Write a Blog >>
ECOOP and ISSTA
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 15 Jul

ecoop-issta-2018-summer-school
17:00 - 20:00: Summer School - Welcome: Peyton Jones at Summer School Room
Chair(s): Jan Vitek
ecoop-issta-2018-summer-school153166680000017:00 - 20:00
Talk

Mon 16 Jul

issta-2018-Keynotes
09:00 - 09:30: ISSTA Keynotes - Welcome at ISSTA Keynote Room
Chair(s): Frank Tip
curryon-2018-papers
09:15 - 10:20: Curry On Keynotes - Keynote at CurryOn Keynote Room
curryon-2018-papers153172530000009:15 - 09:30
Talk
curryon-2018-papers153172620000009:30 - 10:20
Talk
issta-2018-Keynotes
09:30 - 10:30: ISSTA Keynotes - Keynote: Torlak at ISSTA Keynote Room
Chair(s): Frank Tip
issta-2018-Keynotes153172620000009:30 - 10:30
Talk
issta-2018-catering
10:30 - 11:00: Catering - Catering at Coffee Break Room
issta-2018-catering153172980000010:30 - 11:00
issta-2018-Technical-Papers
11:00 - 12:30: ISSTA Technical Papers - Secure and Sound at ISSTA Room
Chair(s): Cristian Cadar
issta-2018-Technical-Papers153173160000011:00 - 11:20
Talk
issta-2018-Technical-Papers153173280000011:20 - 11:40
Talk
issta-2018-Technical-Papers153173400000011:40 - 12:00
Talk
issta-2018-Technical-Papers153173520000012:00 - 12:20
Talk
issta-2018-Technical-Papers153173640000012:20 - 12:30
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 1 at Curry On Room 1
curryon-2018-CurryOn-Talks153173160000011:00 - 11:45
Talk
curryon-2018-CurryOn-Talks153173430000011:45 - 12:30
Talk
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 2 at Curry On Room 2
curryon-2018-CurryOn-Talks153173160000011:00 - 11:45
Talk
curryon-2018-CurryOn-Talks153173430000011:45 - 12:30
Talk
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 3 at Curry On Room 3
curryon-2018-CurryOn-Talks153173160000011:00 - 11:45
Talk
curryon-2018-CurryOn-Talks153173430000011:45 - 12:30
Talk
issta-2018-catering
12:30 - 14:00: Catering - Catering at Lunch Room
issta-2018-catering153173700000012:30 - 14:00
curryon-2018-CurryOn-Talks
14:00 - 15:30: Curry On Talks - Track 1 at Curry On Room 1
curryon-2018-CurryOn-Talks153174240000014:00 - 14:45
Talk
curryon-2018-CurryOn-Talks153174510000014:45 - 15:30
Talk
curryon-2018-CurryOn-Talks
14:00 - 15:30: Curry On Talks - Track 2 at Curry On Room 2
curryon-2018-CurryOn-Talks153174240000014:00 - 14:45
Talk
curryon-2018-CurryOn-Talks153174510000014:45 - 15:30
Talk
curryon-2018-CurryOn-Talks
14:00 - 15:30: Curry On Talks - Track 3 at Curry On Room 3
curryon-2018-CurryOn-Talks153174240000014:00 - 14:45
Talk
curryon-2018-CurryOn-Talks153174510000014:45 - 15:30
Talk
ecoop-issta-2018-summer-school
14:30 - 17:00: Summer School - Lecture: Pasareanu at Summer School Room
Chair(s): Andreas Zeller
ecoop-issta-2018-summer-school153174420000014:30 - 17:00
Talk
issta-2018-catering
15:00 - 15:30: Catering - Catering at Coffee Break Room
issta-2018-catering153174600000015:00 - 15:30
issta-2018-Technical-Papers
16:00 - 17:30: ISSTA Technical Papers - Machine Learning at ISSTA Room
Chair(s): Alex Orso
issta-2018-Technical-Papers153174960000016:00 - 16:20
Talk
issta-2018-Technical-Papers153175080000016:20 - 16:40
Talk
issta-2018-Technical-Papers153175200000016:40 - 17:00
Talk
issta-2018-Technical-Papers153175320000017:00 - 17:20
Talk
Pre-print
issta-2018-Technical-Papers153175440000017:20 - 17:30
curryon-2018-CurryOn-Talks
16:00 - 17:30: Curry On Talks - Track 1 at Curry On Room 1
curryon-2018-CurryOn-Talks153174960000016:00 - 16:45
Talk
curryon-2018-CurryOn-Talks153175230000016:45 - 17:30
Talk
curryon-2018-CurryOn-Talks
16:00 - 17:30: Curry On Talks - Track 2 at Curry On Room 2
curryon-2018-CurryOn-Talks153174960000016:00 - 16:45
Talk
curryon-2018-CurryOn-Talks153175230000016:45 - 17:30
Talk
curryon-2018-CurryOn-Talks
16:00 - 17:30: Curry On Talks - Track 3 at Curry On Room 3
curryon-2018-CurryOn-Talks153174960000016:00 - 16:45
Talk
curryon-2018-CurryOn-Talks153175230000016:45 - 17:30
Talk
curryon-2018-papers
17:40 - 18:30: Curry On Keynotes - Keynote at CurryOn Keynote Room
curryon-2018-papers153175560000017:40 - 18:30
Talk
curryon-2018-catering
19:30 - 23:00: Catering - Curry On Party at Tobacco Theater
curryon-2018-catering153176220000019:30 - 23:00

Tue 17 Jul

issta-2018-Technical-Papers
09:00 - 10:30: ISSTA Technical Papers - Mobile at ISSTA Room
Chair(s): Andreas Zeller
issta-2018-Technical-Papers153181080000009:00 - 09:20
Talk
issta-2018-Technical-Papers153181200000009:20 - 09:40
Talk
issta-2018-Technical-Papers153181320000009:40 - 10:00
Talk
issta-2018-Technical-Papers153181440000010:00 - 10:20
Talk
issta-2018-Technical-Papers153181560000010:20 - 10:30
curryon-2018-papers
09:15 - 10:20: Curry On Keynotes - Keynote at CurryOn Keynote Room
curryon-2018-papers153181170000009:15 - 10:20
Talk
issta-2018-catering
10:30 - 11:00: Catering - Catering at Coffee Break Room
issta-2018-catering153181620000010:30 - 11:00
issta-2018-Technical-Papers
11:00 - 12:30: ISSTA Technical Papers - Static Analysis at ISSTA Room
Chair(s): Karim Ali
issta-2018-Technical-Papers153181800000011:00 - 11:20
Talk
issta-2018-Technical-Papers153181920000011:20 - 11:40
Talk
issta-2018-Technical-Papers153182040000011:40 - 12:00
Talk
issta-2018-Technical-Papers153182160000012:00 - 12:20
Talk
issta-2018-Technical-Papers153182280000012:20 - 12:30
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 1 at Curry On Room 1
curryon-2018-CurryOn-Talks153181800000011:00 - 11:45
Talk
curryon-2018-CurryOn-Talks153182070000011:45 - 12:30
Talk
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 2 at Curry On Room 2
curryon-2018-CurryOn-Talks153181800000011:00 - 11:45
Talk
curryon-2018-CurryOn-Talks153182070000011:45 - 12:30
Talk
curryon-2018-CurryOn-Talks
11:00 - 12:30: Curry On Talks - Track 3 at Curry On Room 3
curryon-2018-CurryOn-Talks153181800000011:00 - 11:45
Talk
curryon-2018-CurryOn-Talks153182070000011:45 - 12:30
Talk
issta-2018-catering
12:30 - 14:00: Catering - Catering at Lunch Room
issta-2018-catering153182340000012:30 - 14:00
curryon-2018-CurryOn-Talks
13:50 - 15:30: Curry On Talks - Track 1 at Curry On Room 1
curryon-2018-CurryOn-Talks153182820000013:50 - 14:40
Talk
curryon-2018-CurryOn-Talks153183120000014:40 - 15:30
Talk
curryon-2018-CurryOn-Talks
13:50 - 15:30: Curry On Talks - Track 2 at Curry On Room 2
curryon-2018-CurryOn-Talks153182820000013:50 - 14:40
Talk
curryon-2018-CurryOn-Talks153183120000014:40 - 15:30
Talk
curryon-2018-CurryOn-Talks
13:50 - 15:30: Curry On Talks - Track 3 at Curry On Room 3
curryon-2018-CurryOn-Talks153182820000013:50 - 14:40
Talk
curryon-2018-CurryOn-Talks153183120000014:40 - 15:30
Talk
issta-2018-Keynotes
14:00 - 15:00: ISSTA Keynotes - Keynote: Wisser, Khurshid, and Pasareanu at ISSTA Keynote Room
Chair(s): Tevfik Bultan
issta-2018-Keynotes153182880000014:00 - 15:00
Talk
ecoop-issta-2018-summer-school
14:00 - 17:30: Summer School - Lecture: Ahmed at Summer School Room
Chair(s): Andreas Zeller
ecoop-issta-2018-summer-school153182880000014:00 - 17:30
Talk
issta-2018-Keynotes
15:00 - 15:30: ISSTA Keynotes - Awards at ISSTA Keynote Room
Chair(s): Frank Tip
issta-2018-Keynotes153183240000015:00 - 15:10
issta-2018-Keynotes153183300000015:10 - 15:20
issta-2018-Keynotes153183360000015:20 - 15:30
issta-2018-catering
15:00 - 15:30: Catering - Catering at Coffee Break Room
issta-2018-catering153183240000015:00 - 15:30
issta-2018-Technical-Papers
16:00 - 17:30: ISSTA Technical Papers - Test and Oracle Generation at ISSTA Room
Chair(s): Sarfraz Khurshid
issta-2018-Technical-Papers153183600000016:00 - 16:20
Talk
issta-2018-Technical-Papers153183720000016:20 - 16:40
Talk
issta-2018-Technical-Papers153183840000016:40 - 17:00
Talk
issta-2018-Technical-Papers153184080000017:20 - 17:30
curryon-2018-CurryOn-Talks
16:00 - 17:30: Curry On Talks - Track 1 at Curry On Room 1
curryon-2018-CurryOn-Talks153183600000016:00 - 16:45
Talk
curryon-2018-CurryOn-Talks153183870000016:45 - 17:30
Talk
curryon-2018-CurryOn-Talks
16:00 - 17:30: Curry On Talks - Track 2 at Curry On Room 2
curryon-2018-CurryOn-Talks153183600000016:00 - 16:45
Talk
curryon-2018-CurryOn-Talks153183870000016:45 - 17:30
Talk
curryon-2018-CurryOn-Talks
16:00 - 17:30: Curry On Talks - Track 3 at Curry On Room 3
curryon-2018-CurryOn-Talks153183600000016:00 - 16:45
Talk
curryon-2018-CurryOn-Talks153183870000016:45 - 17:30
Talk
curryon-2018-papers
17:40 - 18:30: Curry On Keynotes - Keynote at CurryOn Keynote Room
curryon-2018-papers153184200000017:40 - 18:30
Talk
issta-2018-catering
19:30 - 23:00: Catering - ISSTA Banquet at Zaalverhuur Pakhuis de Zwijger
issta-2018-catering153184860000019:30 - 23:00

Wed 18 Jul

issta-2018-Keynotes
09:00 - 10:00: ISSTA Keynotes - Keynote: Ernst at ISSTA Keynote Room
Chair(s): Eric Bodden
issta-2018-Keynotes153189720000009:00 - 10:00
Talk
benchwork-2018-talks
09:00 - 10:30: BenchWork - Real-World Benchmarking at BenchWork Room
benchwork-2018-talks153189720000009:00 - 09:10
benchwork-2018-talks153189780000009:10 - 09:40
benchwork-2018-talks153189960000009:40 - 10:00
benchwork-2018-talks153190080000010:00 - 10:30
issta-2018-Keynotes
10:00 - 10:30: ISSTA Keynotes - ISSTA 2019 Preview at ISSTA Keynote Room
Chair(s): Anders Møller, Dongmei Zhang
issta-2018-catering
10:30 - 11:00: Catering - Catering at Coffee Break Room
issta-2018-catering153190260000010:30 - 11:00
benchwork-2018-talks
11:00 - 12:30: BenchWork - JavaScript at BenchWork Room
benchwork-2018-talks153190440000011:00 - 11:30
benchwork-2018-talks153190620000011:30 - 11:50
benchwork-2018-talks153190740000011:50 - 12:10
benchwork-2018-talks153190860000012:10 - 12:30
wossca-2018-papers
11:00 - 12:30: WoSSCA - WoSSCA 1 at WoSSCA Room
Chair(s): Eric Jul
wossca-2018-papers153190440000011:00 - 11:30
Talk
wossca-2018-papers153190620000011:30 - 12:00
Talk
wossca-2018-papers153190800000012:00 - 12:30
Talk
issta-2018-catering
12:30 - 14:00: Catering - Catering at Lunch Room
issta-2018-catering153190980000012:30 - 14:00
ecoop-issta-2018-summer-school
14:00 - 17:30: Summer School - Lecture: Møller at Summer School Room
Chair(s): Jan Vitek
ecoop-issta-2018-summer-school153191520000014:00 - 17:30
Talk
issta-2018-Technical-Papers
14:00 - 15:30: ISSTA Technical Papers - Optimization and Performance at ISSTA Room
Chair(s): Tevfik Bultan
issta-2018-Technical-Papers153191520000014:00 - 14:20
Talk
issta-2018-Technical-Papers153191640000014:20 - 14:40
Talk
issta-2018-Technical-Papers153191760000014:40 - 15:00
Talk
issta-2018-Technical-Papers153191880000015:00 - 15:20
Talk
issta-2018-Technical-Papers153192000000015:20 - 15:30
benchwork-2018-talks
14:00 - 15:30: BenchWork - Software Engineering at BenchWork Room
benchwork-2018-talks153191520000014:00 - 14:30
benchwork-2018-talks153191700000014:30 - 14:50
benchwork-2018-talks153191820000014:50 - 15:10
benchwork-2018-talks153191940000015:10 - 15:30
wossca-2018-papers
14:00 - 15:30: WoSSCA - WoSSCA 2 at WoSSCA Room
Chair(s): Eric Jul
wossca-2018-papers153191520000014:00 - 14:30
Talk
wossca-2018-papers153191700000014:30 - 15:00
Talk
wossca-2018-papers153191880000015:00 - 15:30
Talk
issta-2018-catering
15:00 - 15:30: Catering - Catering at Coffee Break Room
issta-2018-catering153191880000015:00 - 15:30
benchwork-2018-talks
16:00 - 17:30: BenchWork - Compilers at BenchWork Room
benchwork-2018-talks153192240000016:00 - 16:30
benchwork-2018-talks153192420000016:30 - 17:00
benchwork-2018-talks153192600000017:00 - 17:30
wossca-2018-papers
16:00 - 17:30: WoSSCA - WoSSCA 3 at WoSSCA Room
Chair(s): Jan Vitek
wossca-2018-papers153192240000016:00 - 16:45
Talk
wossca-2018-papers153192510000016:45 - 17:30
Talk
ecoop-issta-2018-catering
18:00 - 20:00: Catering - Poster Reception at Poster Reception Room
ecoop-issta-2018-catering153192960000018:00 - 20:00
Poster

Thu 19 Jul

ecoop-2018-Keynotes
09:00 - 10:30: ECOOP Keynotes - Keynote: De Moor at ECOOP Keynote Room
Chair(s): Frank Tip
ecoop-2018-Keynotes153198360000009:00 - 10:30
Talk
panathon-2018
09:00 - 10:30: Panathon - Session 1 at Panathon Room
ecoop-2018-catering
10:30 - 11:00: Catering - Catering at Coffee Break Room
ecoop-2018-catering153198900000010:30 - 11:00
ecoop-2018-papers
11:00 - 12:40: ECOOP Research Papers - Asynchrony and Concurrency at ECOOP Room
ecoop-2018-papers153199080000011:00 - 11:25
Research paper
ecoop-2018-papers153199230000011:25 - 11:50
Research paper
ecoop-2018-papers153199380000011:50 - 12:15
Research paper
ecoop-2018-papers153199530000012:15 - 12:40
Research paper
ecoop-issta-2018-summer-school
11:00 - 13:00: Summer School - Lecture: Orso at Summer School Room
Chair(s): Jan Vitek
ecoop-issta-2018-summer-school153199080000011:00 - 13:00
Talk
salad-2018-papers
11:00 - 12:30: SALAD - SALAD 1 at SALAD Room
Chair(s): Harry Xu
salad-2018-papers153199080000011:00 - 11:45
Talk
salad-2018-papers153199350000011:45 - 12:30
Talk
panathon-2018
11:00 - 12:30: Panathon - Session 2 at Panathon Room
ecoop-2018-catering
12:30 - 14:00: Catering - Catering at Lunch Room
ecoop-2018-catering153199620000012:30 - 14:00
salad-2018-papers
13:30 - 15:30: SALAD - SALAD 2 at SALAD Room
Chair(s): Harry Xu
salad-2018-papers153199980000013:30 - 14:00
Talk
salad-2018-papers153200160000014:00 - 14:30
Talk
salad-2018-papers153200340000014:30 - 15:00
Talk
salad-2018-papers153200520000015:00 - 15:30
Talk
panathon-2018
14:00 - 15:30: Panathon - Session 3 at Panathon Room
ecoop-issta-2018-summer-school
14:30 - 17:00: Summer School - Lecture: Click at Summer School Room
Chair(s): Jan Vitek
ecoop-issta-2018-summer-school153200340000014:30 - 17:00
Talk
ecoop-2018-catering
15:00 - 15:30: Catering - Catering at Coffee Break Room
ecoop-2018-catering153200520000015:00 - 15:30
panathon-2018
16:00 - 17:30: Panathon - Session 4 at Panathon Room
ecoop-2018-papers
16:10 - 17:25: ECOOP Research Papers - Languages at ECOOP Room
ecoop-2018-papers153200940000016:10 - 16:35
Research paper
ecoop-2018-papers153201090000016:35 - 17:00
Research paper
ecoop-2018-papers153201240000017:00 - 17:25
Research paper
ecoop-2018-catering
19:30 - 23:00: Catering - ECOOP Banquet at De Koninklijke Industrieele Groote Club
ecoop-2018-catering153202140000019:30 - 23:00

Fri 20 Jul

ecoop-2018-Keynotes
09:00 - 10:30: ECOOP Keynotes - Keynote: Xu at ECOOP Keynote Room
Chair(s): Eric Jul
ecoop-2018-Keynotes153207000000009:00 - 10:30
Talk
ecoop-2018-catering
10:30 - 11:00: Catering - Catering at Coffee Break Room
ecoop-2018-catering153207540000010:30 - 11:00
ecoop-2018-papers
11:00 - 12:40: ECOOP Research Papers - Types at ECOOP Room
ecoop-2018-papers153207720000011:00 - 11:25
Research paper
ecoop-2018-papers153207870000011:25 - 11:50
Research paper
ecoop-2018-papers153208020000011:50 - 12:15
Research paper
ecoop-2018-papers153208170000012:15 - 12:40
Research paper
ecoop-2018-catering
12:30 - 14:00: Catering - Catering at Lunch Room
ecoop-2018-catering153208260000012:30 - 14:00
ecoop-issta-2018-summer-school
14:30 - 17:00: Summer School - Lecture: Briand at Summer School Room
Chair(s): Andreas Zeller
ecoop-issta-2018-summer-school153208980000014:30 - 17:00
Talk
ecoop-2018-catering
15:00 - 15:30: Catering - Catering at Coffee Break Room
ecoop-2018-catering153209160000015:00 - 15:30
ecoop-2018-papers
16:10 - 17:25: ECOOP Research Papers - Formal Calculi at ECOOP Room
ecoop-2018-papers153209580000016:10 - 16:35
Research paper
ecoop-2018-papers153209730000016:35 - 17:00
Research paper
ecoop-2018-papers153209880000017:00 - 17:25
Research paper

Sat 21 Jul

ecoop-2018-Keynotes
09:00 - 10:30: ECOOP Keynotes - Keynote: Zeller at ECOOP Keynote Room
Chair(s): Frank Tip
ecoop-2018-Keynotes153215640000009:00 - 10:30
Talk
ecoop-2018-catering
10:30 - 11:00: Catering - Catering at Coffee Break Room
ecoop-2018-catering153216180000010:30 - 11:00
ecoop-2018-papers
11:00 - 12:40: ECOOP Research Papers - Static Analysis at ECOOP Room
ecoop-2018-papers153216360000011:00 - 11:25
Research paper
ecoop-2018-papers153216510000011:25 - 11:50
Research paper
ecoop-2018-papers153216660000011:50 - 12:15
Research paper
ecoop-2018-papers153216810000012:15 - 12:40
Research paper

Sun 15 Jul 2018

Room17:003018:003019:003020:0030
Summer School Room

Thu 19 Jul 2018

Fri 20 Jul 2018

Sat 21 Jul 2018

Sun 15 Jul 2018

Room17:0015304518:0015304519:0015304520:00153045
Summer School Room

Mon 16 Jul 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Coffee Break Room
Curry On Room 1
Curry On Room 2
Curry On Room 3
CurryOn Keynote Room
ISSTA Keynote Room
ISSTA Room
Lunch Room
Summer School Room
Tobacco Theater

Tue 17 Jul 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Coffee Break Room
Curry On Room 1
Curry On Room 2
Curry On Room 3
CurryOn Keynote Room
ISSTA Keynote Room
ISSTA Room
Lunch Room
Summer School Room
Zaalverhuur Pakhuis de Zwijger

Wed 18 Jul 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
BenchWork Room
Coffee Break Room
ISSTA Keynote Room
ISSTA Room
ISSTA Tool Demos Room
Lunch Room
Poster Reception Room
Summer School Room
WoSSCA Room

Thu 19 Jul 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Coffee Break Room
De Koninklijke Industrieele Groote Club
ECOOP Keynote Room
ECOOP Room
Lunch Room
SALAD Room
Summer School Room

Fri 20 Jul 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Coffee Break Room
ECOOP Keynote Room
ECOOP Room
Lunch Room
Summer School Room
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)