PLAS 2015
Mon 6 - Fri 10 July 2015
Prague, Czech Republic
co-located with
ECOOP 2015
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Program
PLAS Program
Your Program
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Track/Call
Organization
PLAS 2015 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ECOOP 2015
(
series
) /
PLAS 2015
(
series
) /
Marriott
/
Room information: Bohemia I
Venue
Marriott
Room name
Bohemia I
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:00
Curry On opening remarks
ECOOP Curry On
at
Bohemia I
08:45
15m
Day opening
Curry On opening remarks
ECOOP Curry On
09:00 - 09:45
Bracha
ECOOP Curry On
at
Bohemia I
09:00
45m
Talk
Programs Wanted: Dead or Alive
ECOOP Curry On
P:
Gilad Bracha
Google
10:05 - 10:45
Breslav
ECOOP Curry On
at
Bohemia I
10:05
40m
Talk
Kotlin: Challenges in language design
ECOOP Curry On
P:
Andrey Breslav
JetBrains
Link to publication
10:55 - 11:35
Sant'Anna
ECOOP Curry On
at
Bohemia I
10:55
40m
Talk
Structured Synchronous Programming
ECOOP Curry On
Francisco Sant'Anna
PUC-Rio
Link to publication
11:45 - 12:25
Shapiro
ECOOP Curry On
at
Bohemia I
11:45
40m
Talk
Encapsulating replication, high concurrency and consistency with CRDTs
ECOOP Curry On
S:
Marc Shapiro
Inria & LIP6
13:50 - 14:30
Gordon
ECOOP Curry On
at
Bohemia I
13:50
40m
Talk
Empowering Spreadsheet Users with Probabilistic Programs
ECOOP Curry On
Andrew D. Gordon
Microsoft Research and University of Edinburgh
14:40 - 15:20
McMullen
ECOOP Curry On
at
Bohemia I
14:40
40m
Talk
It Probably Works
ECOOP Curry On
Tyler McMullen
Fastly
16:00 - 16:40
Printezis
ECOOP Curry On
at
Bohemia I
16:00
40m
Talk
Java @ Twitter - a bird's eye view
ECOOP Curry On
P:
Tony Printezis
Twitter
16:50 - 17:30
Stokke
ECOOP Curry On
at
Bohemia I
16:50
40m
Talk
Post-FRP Frontend Programming
ECOOP Curry On
Bodil Stokke
17:40 - 18:30
Bezanson & Karpinski
ECOOP Curry On
at
Bohemia I
17:40
50m
Talk
Julia: Numerical Applications Pushing the Limits of Language Design
ECOOP Curry On
Jeff Bezanson
MIT
,
Stefan Karpinski
MIT
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:45
Eich
ECOOP Curry On
at
Bohemia I
09:00
45m
Talk
JS @ 20
ECOOP Curry On
Brendan Eich
10:05 - 10:45
Click
ECOOP Curry On
at
Bohemia I
10:05
40m
Talk
Bits of Advice for VM Writers
ECOOP Curry On
P:
Cliff Click
0xdata
10:55 - 11:35
Muscar
ECOOP Curry On
at
Bohemia I
10:55
40m
Talk
Pyro – Typing Python in Python
ECOOP Curry On
Alex Muscar
Lyst
11:45 - 12:25
Friedman & Hemann
ECOOP Curry On
at
Bohemia I
11:45
40m
Talk
How to be a good host: miniKanren as a case study
ECOOP Curry On
Daniel Friedman
Indiana University
,
Jason Hemann
Indiana University
13:50 - 14:30
Stroustrup
ECOOP Curry On
at
Bohemia I
13:50
40m
Talk
What, if anything, have we learned from C++?
ECOOP Curry On
Bjarne Stroustrup
Morgan Stanley
14:40 - 15:20
Haverbeke
ECOOP Curry On
at
Bohemia I
14:40
40m
Talk
Tern: Practical Type Inference for JavaScript Editing
ECOOP Curry On
Marijn Haverbeke
16:00 - 16:40
Pizlo
ECOOP Curry On
at
Bohemia I
16:00
40m
Talk
LLVM for JavaScript
ECOOP Curry On
P:
Filip Pizlo
Apple
Link to publication
16:50 - 17:30
Klock
ECOOP Curry On
at
Bohemia I
16:50
40m
Talk
Rust: A Type System You Didn't Know You Wanted
ECOOP Curry On
Felix Klock
Mozilla Corporation
Link to publication
17:40 - 18:20
Clebsch, Blessing & Drossopoulou
ECOOP Curry On
at
Bohemia I
17:40
40m
Talk
Pony: making it easy to write efficient, concurrent, data-race free programs
ECOOP Curry On
Sylvan Clebsch
Imperial College London
,
Sebastian Blessing
Causality
,
Sophia Drossopoulou
Imperial College London
18:30 - 19:20
Czaplicki
ECOOP Curry On
at
Bohemia I
18:30
50m
Talk
Let's be mainstream! User-focused design in Elm
ECOOP Curry On
Evan Czaplicki
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Bohemia I
ECOOP Curry On
Curry On opening remarks
ECOOP Curry On
Bracha
ECOOP Curry On
Breslav
ECOOP Curry On
Sant'Anna
ECOOP Curry On
Shapiro
ECOOP Curry On
Gordon
ECOOP Curry On
McMullen
ECOOP Curry On
Printezis
ECOOP Curry On
Stokke
ECOOP Curry On
Bezanson & Karpinski
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Bohemia I
ECOOP Curry On
Eich
ECOOP Curry On
Click
ECOOP Curry On
Muscar
ECOOP Curry On
Friedman & Hemann
ECOOP Curry On
Stroustrup
ECOOP Curry On
Haverbeke
ECOOP Curry On
Pizlo
ECOOP Curry On
Klock
ECOOP Curry On
Clebsch, Blessing & Drossopoulou
ECOOP Curry On
Czaplicki
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Bohemia I
ECOOP Curry On
Curry On opening remarks
08:45 - 09:00
ECOOP Curry On
Programs Wanted: Dead or Alive
09:00 - 09:45
ECOOP Curry On
Kotlin: Challenges in language design
10:05 - 10:45
ECOOP Curry On
Structured Synchronous Programming
10:55 - 11:35
ECOOP Curry On
Encapsulating replication, high concurrency and consistency with CRDTs
11:45 - 12:25
ECOOP Curry On
Empowering Spreadsheet Users with Probabilistic Programs
13:50 - 14:30
ECOOP Curry On
It Probably Works
14:40 - 15:20
ECOOP Curry On
Java @ Twitter - a bird's eye view
16:00 - 16:40
ECOOP Curry On
Post-FRP Frontend Programming
16:50 - 17:30
ECOOP Curry On
Julia: Numerical Applications Pushing the Limits of Language Design
17:40 - 18:30
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Bohemia I
ECOOP Curry On
JS @ 20
09:00 - 09:45
ECOOP Curry On
Bits of Advice for VM Writers
10:05 - 10:45
ECOOP Curry On
Pyro – Typing Python in Python
10:55 - 11:35
ECOOP Curry On
How to be a good host: miniKanren as a case study
11:45 - 12:25
ECOOP Curry On
What, if anything, have we learned from C++?
13:50 - 14:30
ECOOP Curry On
Tern: Practical Type Inference for JavaScript Editing
14:40 - 15:20
ECOOP Curry On
LLVM for JavaScript
16:00 - 16:40
ECOOP Curry On
Rust: A Type System You Didn't Know You Wanted
16:50 - 17:30
ECOOP Curry On
Pony: making it easy to write efficient, concurrent, data-race free pro ...
17:40 - 18:20
ECOOP Curry On
Let's be mainstream! User-focused design in Elm
18:30 - 19:20
x
Sun 22 Dec 08:52