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

Sun 18 Jun

ismm-2017-papers
08:30 - 08:45: ISMM 2017 - Opening at Aula Master
Chair(s): Christoph Kirsch
ismm-2017-papers149776740000008:30 - 08:45
Day opening
SOAP-2017-papers
08:30 - 08:45: SOAP - Opening at Vertex WS216
SOAP-2017-papers149776740000008:30 - 08:45
Day opening
pldi-2017-workshops-and-tutorials
08:30 - 10:30: PLDI Tutorials - P4: Programming the Network Data Plane at Vertex WS215
pldi-2017-workshops-and-tutorials149776740000008:30 - 10:30
Other
SOAP-2017-papers
08:45 - 09:30: SOAP - Invited Speaker - Sukyoung Ryu at Vertex WS216
SOAP-2017-papers149776830000008:45 - 09:30
Talk
File Attached
PLMW-PLDI-2017
09:00 - 10:30: PLMW - Session 1 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149776920000009:00 - 09:45
Talk
PLMW-PLDI-2017149777190000009:45 - 10:30
Talk
mapl-2017-papers
09:15 - 09:30: MAPL 2017 - Opening at Vertex WS219
mapl-2017-papers149777010000009:15 - 09:30
Day opening
mapl-2017-papers
09:30 - 10:30: MAPL 2017 - Keynote at Vertex WS219
mapl-2017-papers149777100000009:30 - 10:30
Talk
ismm-2017-catering
10:30 - 11:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149777460000010:30 - 11:00
Coffee break
PLMW-PLDI-2017
11:00 - 12:30: PLMW - Session 2 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149777640000011:00 - 11:45
Talk
PLMW-PLDI-2017149777910000011:45 - 12:30
Talk
ismm-2017-papers
11:00 - 12:30: ISMM 2017 - Session 2: Clever Data Tricks at Aula Master
Chair(s): Michael Bond
ismm-2017-papers149777640000011:00 - 11:30
Talk
ismm-2017-papers149777820000011:30 - 12:00
Talk
ismm-2017-papers149778000000012:00 - 12:30
Talk
SOAP-2017-papers
11:00 - 11:45: SOAP - Invited Speaker - Jingling Xue at Vertex WS216
SOAP-2017-papers149777640000011:00 - 11:45
Talk
pldi-2017-workshops-and-tutorials
11:00 - 12:30: PLDI Tutorials - P4: Programming the Network Data Plane (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149777640000011:00 - 12:30
Other
mapl-2017-papers
12:00 - 12:30: MAPL 2017 - Debugging, Analysis, and Verification at Vertex WS219
mapl-2017-papers149778000000012:00 - 12:30
Talk
ismm-2017-catering
12:30 - 14:00: Catering - Lunch at ISMM-CoffeeBreaks
ismm-2017-catering149778180000012:30 - 14:00
Lunch
PLMW-PLDI-2017
14:00 - 15:30: PLMW - Session 3 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149778720000014:00 - 14:45
Talk
PLMW-PLDI-2017149778990000014:45 - 15:30
Talk
array-2017
14:00 - 15:00: ARRAY 2017 - Invited talk at Vertex WS218
Chair(s): David Padua
array-2017149778720000014:00 - 15:00
Talk
Pre-print File Attached
mapl-2017-papers
14:00 - 15:30: MAPL 2017 - Debugging, Analysis, and Verification 2 at Vertex WS219
mapl-2017-papers149778720000014:00 - 14:30
Talk
mapl-2017-papers149778900000014:30 - 15:00
Talk
mapl-2017-papers149779080000015:00 - 15:30
Talk
SOAP-2017-papers
14:00 - 14:45: SOAP - Invited Speaker - Julian Dolby at Vertex WS216
SOAP-2017-papers149778720000014:00 - 14:45
Talk
Media Attached
pldi-2017-workshops-and-tutorials
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215
pldi-2017-workshops-and-tutorials149778720000014:00 - 15:30
Other
ismm-2017-catering
15:30 - 16:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149779260000015:30 - 16:00
Coffee break
PLMW-PLDI-2017
16:00 - 18:00: PLMW - Session 4 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149779440000016:00 - 16:45
Talk
PLMW-PLDI-2017149779710000016:45 - 17:45
Other
ismm-2017-papers
16:00 - 17:30: ISMM 2017 - Session 4: A Deeper Look at Aula Master
Chair(s): Steve Blackburn
ismm-2017-papers149779440000016:00 - 16:30
Talk
ismm-2017-papers149779620000016:30 - 17:00
Talk
ismm-2017-papers149779800000017:00 - 17:30
Talk
mapl-2017-papers
16:00 - 16:45: MAPL 2017 - Town Hall Discussion at Vertex WS219
mapl-2017-papers149779440000016:00 - 16:45
Other
SOAP-2017-papers
16:00 - 16:20: SOAP - Benchmarking at Vertex WS216
SOAP-2017-papers149779440000016:00 - 16:20
Talk
DOI Pre-print File Attached
pldi-2017-workshops-and-tutorials
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149779440000016:00 - 18:00
Other
SOAP-2017-papers
16:20 - 18:00: SOAP - Open Discussion at Vertex WS216
SOAP-2017-papers149779560000016:20 - 18:00
Meeting
mapl-2017-papers
16:45 - 17:00: MAPL 2017 - Closing at Vertex WS219
mapl-2017-papers149779710000016:45 - 17:00
Day closing
array-2017
17:30 - 18:00: ARRAY 2017 - Closing / Discussion at Vertex WS218
Chair(s): Martin Elsman, David Padua, Andreas Kloeckner
array-2017149779980000017:30 - 18:00
Day closing

Mon 19 Jun

pldi-2017-keynotes
pldi-2017-keynotes149785560000009:00 - 09:05
Day opening
pldi-2017-keynotes
09:05 - 10:00: PLDI Invited Speakers - Joint Keynote ­– Martin Odersky at Auditorium, Vertex Building
pldi-2017-keynotes149785590000009:05 - 10:00
Talk
Media Attached
pldi-2017-papers
10:00 - 10:30: PLDI Research Papers - 1' pitches of the day at Auditorium, Vertex Building
pldi-2017-papers149785920000010:00 - 10:30
Other
pldi-2017-catering
10:30 - 10:50: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149786100000010:30 - 10:50
Coffee break
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149786820000012:30 - 14:00
Lunch
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149787960000015:40 - 16:10
Coffee break
pldi-2017-keynotes
17:55 - 18:50: PLDI Invited Speakers - Joint Keynote ­– Martin Abadi at Auditorium, Vertex Building
pldi-2017-keynotes149788770000017:55 - 18:50
Talk
pldi-2017-catering
19:30 - 22:00: Catering - Social Event with Curry On (dinner provided) at Moritz Brewery
pldi-2017-catering149789340000019:30 - 22:00
Dinner

Tue 20 Jun

pldi-2017-keynotes
09:00 - 09:50: PLDI Invited Speakers - Curry-On Keynote – José Valim at Auditorium, Vertex Building
pldi-2017-keynotes149794200000009:00 - 09:50
Talk
pldi-2017-papers
09:50 - 10:25: PLDI Research Papers - 1' pitches of the day and the next day at Auditorium, Vertex Building
pldi-2017-papers149794500000009:50 - 10:25
Other
pldi-2017-catering
10:25 - 10:50: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149794710000010:25 - 10:50
Coffee break
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149795460000012:30 - 14:00
Lunch
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149796600000015:40 - 16:10
Coffee break
pldi-2017-keynotes
17:00 - 18:00: PLDI Invited Speakers - Program Chair report and SIGPLAN Town Hall meeting at Aula Master
pldi-2017-keynotes149797080000017:00 - 18:00
pldi-2017-student-research-competition
17:30 - 20:00: PLDI Student Research Competition - Reception and SRC posters (finger food provided) at Lunch area
pldi-2017-student-research-competition149797260000017:30 - 20:00

Wed 21 Jun

LCTES-2017-papers
09:00 - 09:15: LCTES 2017 - Opening at Vertex WS208
LCTES-2017-papers149802840000009:00 - 09:15
Day opening
LCTES-2017-papers
09:15 - 10:15: LCTES 2017 - Keynote 1 at Vertex WS208
Chair(s): Zili Shao
LCTES-2017-papers149802930000009:15 - 10:15
Talk
pldi-2017-catering
09:55 - 10:20: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149803170000009:55 - 10:20
Coffee break
LCTES-2017-catering
10:15 - 10:50: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149803290000010:15 - 10:50
Coffee break
pldi-2017-student-research-competition
10:20 - 12:00: PLDI Student Research Competition - SRC presentations at Vertex WS217
pldi-2017-student-research-competition149803320000010:20 - 12:00
pldi-2017-papers
pldi-2017-papers149803920000012:00 - 12:15
Awards
pldi-2017-papers149804010000012:15 - 12:30
Day closing
LCTES-2017-catering
12:30 - 14:00: Catering - Lunch at LCTES-CoffeeBreaks
LCTES-2017-catering149804100000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch with ECOOP,LCTES (provided) + SRC Awards at Lunch area
pldi-2017-catering149804100000012:30 - 14:00
Lunch
LCTES-2017-papers
14:00 - 15:00: LCTES 2017 - Poster Session at Vertex WS217
LCTES-2017-papers149804640000014:00 - 15:00
Other
LCTES-2017-catering
15:00 - 15:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149805000000015:00 - 15:30
Coffee break

Thu 22 Jun

dsw-2017-papers
09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216
Chair(s): Andrew Appel
dsw-2017-papers149811480000009:00 - 09:15
Day opening
dsw-2017-papers149811570000009:15 - 10:00
Talk
LCTES-2017-papers
09:00 - 10:00: LCTES 2017 - Keynote 2 at Vertex WS208
Chair(s): Vijay Nagarajan
LCTES-2017-papers149811480000009:00 - 10:00
Talk
File Attached
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - WALA Hack-A-Thon at Vertex WS218
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer at Vertex WS219
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Refinement Types for Program Verification and Synthesis at Vertex WS215
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Media Attached
LCTES-2017-catering
10:00 - 10:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149811840000010:00 - 10:30
Coffee break
ic-2017-papers
10:30 - 12:10: IC 2017 - Incremental computing 1: Keynote + Research talk at Vertex WS215
ic-2017-papers149812020000010:30 - 11:40
Talk
ic-2017-papers149812440000011:40 - 12:10
Talk
File Attached
dsw-2017-papers
10:30 - 12:10: DSW 2017 - Academic crypto projects; industry perspective on formal-methods integration at Vertex WS216
Chair(s): Zhong Shao
dsw-2017-papers149812020000010:30 - 11:00
Talk
dsw-2017-papers149812200000011:00 - 11:30
Talk
dsw-2017-papers149812380000011:30 - 12:10
Talk
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Refinement Types for Program Verification and Synthesis (cont'd) at Vertex WS217
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Media Attached
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - WALA Hack-A-Thon (2) at Vertex WS218
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
LCTES-2017-catering
12:10 - 13:40: Catering - Lunch at LCTES-CoffeeBreaks
LCTES-2017-catering149812620000012:10 - 13:40
Lunch
ic-2017-papers
13:40 - 15:20: IC 2017 - Incremental computing 2: Research talks at Vertex WS215
ic-2017-papers149813160000013:40 - 14:10
Talk
File Attached
ic-2017-papers149813370000014:15 - 14:45
Talk
File Attached
ic-2017-papers149813580000014:50 - 15:20
Talk
File Attached
dsw-2017-papers
13:40 - 15:00: DSW 2017 - Academic C-verification project; industry perspective on hypervisors at Vertex WS216
Chair(s): Adam Chlipala
dsw-2017-papers149813160000013:40 - 14:20
Talk
dsw-2017-papers149813400000014:20 - 15:00
Talk
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - WALA Hack-A-Thon (3) at Vertex WS218
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Polyhedral Compilation at Vertex WS219
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
dsw-2017-papers
15:30 - 17:00: DSW 2017 - Academic hypervisor project; closing discussion at Vertex WS216
Chair(s): Lennart Beringer
dsw-2017-papers149813820000015:30 - 16:15
Talk
dsw-2017-papers149814090000016:15 - 17:00
Day closing
ic-2017-papers
15:50 - 17:30: IC 2017 - Incremental computing 3: Research talks at Vertex WS215
ic-2017-papers149813940000015:50 - 16:20
Talk
File Attached
ic-2017-papers149814150000016:25 - 16:55
Talk
File Attached
ic-2017-papers149814360000017:00 - 17:30
Talk
File Attached
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Polyhedral Compilation (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - WALA Hack-A-Thon (4) at Vertex WS218
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other

Fri 23 Jun

WCIRE-2017-2-papers
09:00 - 09:10: WCIRE 2017 - Opening at Vertex WS218
Chair(s): Milind Kulkarni
WCIRE-2017-2-papers149820120000009:00 - 09:10
Day opening
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages at Vertex WS208
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé at Vertex WS217
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators at Vertex WS216
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Writing Verified Programs in CakeML at Vertex WS219
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Link to publication
WCIRE-2017-2-papers
09:10 - 10:00: WCIRE 2017 - Session 1 at Vertex WS218
Chair(s): Milind Kulkarni
WCIRE-2017-2-papers149820180000009:10 - 10:00
Talk
WCIRE-2017-2-papers
10:30 - 12:10: WCIRE 2017 - Session 2 at Vertex WS218
Chair(s): Milind Kulkarni
WCIRE-2017-2-papers149820660000010:30 - 11:20
Talk
Link to publication
WCIRE-2017-2-papers149820960000011:20 - 12:10
Talk
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Engineering Static Analyzers with Soufflé (2) at Vertex WS217
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages (cont'd) at Vertex WS208
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (2) at Vertex WS216
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Writing Verified Programs in CakeML (2) at Vertex WS219
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Link to publication
WCIRE-2017-2-papers
13:40 - 15:20: WCIRE 2017 - Session 3 at Vertex WS218
Chair(s): Milind Kulkarni
WCIRE-2017-2-papers149821800000013:40 - 14:30
Talk
Link to publication
WCIRE-2017-2-papers149822100000014:30 - 15:20
Talk
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Writing Verified Programs in CakeML (3) at Vertex WS219
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Link to publication
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Engineering Static Analyzers with Soufflé (3) at Vertex WS217
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (3) at Vertex WS216
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
WCIRE-2017-2-papers
15:50 - 16:30: WCIRE 2017 - Discussion at Vertex WS218
Chair(s): Milind Kulkarni
WCIRE-2017-2-papers149822580000015:50 - 16:30
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Writing Verified Programs in CakeML (4) at Vertex WS219
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Link to publication
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (4) at Vertex WS216
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé (4) at Vertex WS217
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other

Sun 18 Jun 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Aula Master

ISMM 2017

Opening
08:30 - 08:45

ISMM 2017

Keynote
08:45 - 09:30
ISMM-CoffeeBreaks

Catering

Lunch
12:30 - 14:00
Sala d'Actes, Vertex Building

PLMW

Session 1
09:00 - 10:30

PLMW

Session 2
11:00 - 12:30

PLMW

Session 3
14:00 - 15:30

PLMW

Session 4
16:00 - 18:00
Vertex WS215
Vertex WS216

SOAP

Opening
08:30 - 08:45

SOAP

Benchmarking
16:00 - 16:20

SOAP

Open Discussion
16:20 - 18:00
Vertex WS218

ARRAY 2017

Keynote
09:00 - 10:00
Vertex WS219

MAPL 2017

Opening
09:15 - 09:30

MAPL 2017

Keynote
09:30 - 10:30

MAPL 2017

Closing
16:45 - 17:00

Sun 18 Jun 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Aula Master
08:30 - 08:45
ISMM-CoffeeBreaks
Sala d'Actes, Vertex Building
09:00 - 09:45
Vertex WS215
Vertex WS216
08:30 - 08:45
Vertex WS218
Vertex WS219

Mon 19 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Actes, Civil Engineering
Auditorium, Vertex Building
Aula Master
Coffee Breaks area
Lunch area
Moritz Brewery

Tue 20 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Actes, Civil Engineering
Auditorium, Vertex Building
Aula Master
Coffee Breaks area
Lunch area

Wed 21 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Auditorium, Vertex Building
Coffee Breaks area
LCTES-CoffeeBreaks
Lunch area
Vertex WS208
09:00 - 09:15
Vertex WS217

Thu 22 Jun 2017

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
LCTES-CoffeeBreaks
Vertex WS208
Vertex WS215
Vertex WS216
Vertex WS217
Vertex WS218
Vertex WS219