Write a Blog >>
LCTES 2017
Wed 21 - Thu 22 June 2017 Barcelona, Spain
co-located with PLDI 2017
VenueUniversitat Politècnica de Catalunya
Room nameSala Agora
Floor0
Capacity110
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:50
Monday - 10:30 - 12:50 - Sala AgoraCurryOn Curry On Talks at Sala Agora
10:30
40m
Talk
Impromptu: A Lightweight, dependently-typed async framework for Scala
CurryOn Curry On Talks
Jon Pretty Propensive Ltd
11:20
40m
Talk
Centrifuge : Data quality in Spark without the costs!
CurryOn Curry On Talks
Jonathan Winandy Univalence
12:10
40m
Talk
Angelina Ballerina Learns About Memory Allocation
CurryOn Curry On Talks
Allison McMillan Collective Idea
14:00 - 15:40
14:00
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal Ahmed Northeastern University, USA
16:10 - 17:50
16:10
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal Ahmed Northeastern University, USA

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:50 - 12:30
10:50
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas Matsakis Mozilla Corporation
14:00 - 15:40
14:00
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas Matsakis Mozilla Corporation

Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:0030
Sala Agora

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Sala Agora