ICOOOLPS 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with ECOOP 2017
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS216
Floor0
Room number216
Capacity30
Additional informationThere is no additional information of this room available.
Program

Sun 18 Jun

SOAP-2017-papers
08:30 - 08:45: - Opening at Vertex WS216
SOAP-2017-papers149776740000008:30 - 08:45
Day opening
SOAP-2017-papers
08:45 - 09:30: - Invited Speaker - Sukyoung Ryu at Vertex WS216
SOAP-2017-papers149776830000008:45 - 09:30
Talk
SOAP-2017-papers
11:00 - 11:45: - Invited Speaker - Jingling Xue at Vertex WS216
SOAP-2017-papers149777640000011:00 - 11:45
Talk
SOAP-2017-papers
14:00 - 14:45: - Invited Speaker - Julian Dolby at Vertex WS216
SOAP-2017-papers149778720000014:00 - 14:45
Talk
SOAP-2017-papers
14:45 - 15:30: - Soundness and Precision at Vertex WS216
SOAP-2017-papers149778990000014:45 - 15:07
Talk
DOI
SOAP-2017-papers149779125000015:07 - 15:30
Talk
DOI
SOAP-2017-papers
16:00 - 16:20: - Benchmarking at Vertex WS216
SOAP-2017-papers149779440000016:00 - 16:20
Talk
DOI Pre-print
SOAP-2017-papers
16:20 - 18:00: - Open Discussion at Vertex WS216
SOAP-2017-papers149779560000016:20 - 18:00
Meeting

Mon 19 Jun

ICOOOLPS-2017-papers
09:00 - 10:30: ICOOOLPS 2017 - Morning I at Vertex WS216
Chair(s): Mario Wolczko
ICOOOLPS-2017-papers149785560000009:00 - 09:10
Talk
ICOOOLPS-2017-papers149785620000009:10 - 10:30
Talk
ICOOOLPS-2017-papers
14:00 - 15:30: ICOOOLPS 2017 - Afternoon I at Vertex WS216
Chair(s): Edd Barrett
ICOOOLPS-2017-papers149787360000014:00 - 15:00
Talk
ICOOOLPS-2017-papers149787720000015:00 - 15:30
Talk
Link to publication DOI File Attached

Tue 20 Jun

COP-2017-papers
09:00 - 10:30: - Session 1 at Vertex WS216
COP-2017-papers149794200000009:00 - 09:15
Day opening
COP-2017-papers149794290000009:15 - 10:15
Talk
COP-2017-papers149794650000010:15 - 10:30
Other
COP-2017-papers
16:00 - 18:00: - Session 4 at Vertex WS216
COP-2017-papers149796720000016:00 - 18:00
Other

Thu 22 Jun

dsw-2017-papers
09:00 - 10:00: - 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
dsw-2017-papers
10:30 - 12:10: - 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
dsw-2017-papers
13:40 - 15:00: - 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
dsw-2017-papers
15:30 - 17:00: - 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

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: - 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
10:30 - 12:10: - 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
13:40 - 15:20: - Scala, LMS and Delite for High-Performance DSLs and Program Generators (3) at Vertex WS216
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: - Scala, LMS and Delite for High-Performance DSLs and Program Generators (4) at Vertex WS216
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
Vertex WS216
08:30 - 08:45
08:45 - 09:30
09:30 - 10:30
11:00 - 11:45
11:45 - 12:30
14:00 - 14:45
14:45 - 15:30
16:00 - 16:20
16:20 - 18:00

Mon 19 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS216

Tue 20 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Vertex WS216
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30
16:00 - 18:00

Thu 22 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS216
09:00 - 10:00
10:30 - 12:10
13:40 - 15:00
15:30 - 17:00

Fri 23 Jun 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS216
09:00 - 10:00
10:30 - 12:10
13:40 - 15:20
15:50 - 17:00