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: Moravia I & II
Venue
Marriott
Room name
Moravia I & II
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
10:05 - 10:45
Borenszweig & Wajnerman
ECOOP Curry On
at
Moravia I & II
10:05
40m
Talk
Crystal: a programming language for humans and computers
ECOOP Curry On
Ary Borenszweig
Manas
,
Juan Wajnerman
Manas
Link to publication
10:55 - 11:35
Kuhn
ECOOP Curry On
at
Moravia I & II
10:55
40m
Talk
Akka Typed: Between Session Types and the Actor Model
ECOOP Curry On
Roland Kuhn
Typesafe
Media Attached
11:45 - 12:25
Pressler
ECOOP Curry On
at
Moravia I & II
11:45
40m
Talk
Pull > Push: Please stop polluting our imperative languages with pure concepts
ECOOP Curry On
Ron Pressler
Parallel Universe
13:50 - 14:30
Titzer
ECOOP Curry On
at
Moravia I & II
13:50
40m
Talk
Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM
ECOOP Curry On
S:
Ben L. Titzer
Google
14:40 - 15:20
Lawall
ECOOP Curry On
at
Moravia I & II
14:40
40m
Talk
Coccinelle for the Working Programmer
ECOOP Curry On
P:
Julia Lawall
Inria/LIP6/UPMC/Sorbonne University
Link to publication
16:00 - 16:40
Arni
ECOOP Curry On
at
Moravia I & II
16:00
40m
Talk
Servant: a type-level DSL for web APIs
ECOOP Curry On
Julian Arni
Zalora
Link to publication
16:50 - 17:30
Hage
ECOOP Curry On
at
Moravia I & II
16:50
40m
Talk
Making Embedded Domain Specific Languages a Practical Reality
ECOOP Curry On
Jurriaan Hage
Utrecht University
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:05 - 10:45
Tellman
ECOOP Curry On
at
Moravia I & II
10:05
40m
Talk
Some of the Things That Macros Do
ECOOP Curry On
Zach Tellman
10:55 - 11:35
Arts
ECOOP Curry On
at
Moravia I & II
10:55
40m
Talk
QuickCheck: from invention to product
ECOOP Curry On
Thomas Arts
Quviq
11:45 - 12:25
Gulwani
ECOOP Curry On
at
Moravia I & II
11:45
40m
Talk
Data Manipulation using Programming By Examples and Natural Language
ECOOP Curry On
Sumit Gulwani
Microsoft Research
13:50 - 14:30
Christiansen
ECOOP Curry On
at
Moravia I & II
13:50
40m
Talk
Coding for Types: The Universe Pattern in Idris
ECOOP Curry On
David Thrane Christiansen
IT University of Copenhagen, Denmark
14:40 - 15:20
Wadler
ECOOP Curry On
at
Moravia I & II
14:40
40m
Talk
Everything old is new again: Quoted domain specific languages
ECOOP Curry On
P:
Philip Wadler
University of Edinburgh
16:00 - 16:40
Iliev
ECOOP Curry On
at
Moravia I & II
16:00
40m
Talk
GS Collections: Echoes of Smalltalk’s Past
ECOOP Curry On
Alexander Iliev
Goldman Sachs
16:50 - 17:30
Epple
ECOOP Curry On
at
Moravia I & II
16:50
40m
Talk
Java everywhere again - with DukeScript!
ECOOP Curry On
Anton Epple
Netbeans
17:40 - 18:20
Gogichashvili
ECOOP Curry On
at
Moravia I & II
17:40
40m
Talk
Scaling SQL Databases Beyond Limits with PostgreSQL
ECOOP Curry On
Valentine Gogichashvili
Zalando
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Moravia I & II
ECOOP Curry On
Borenszweig & Wajnerman
ECOOP Curry On
Kuhn
ECOOP Curry On
Pressler
ECOOP Curry On
Titzer
ECOOP Curry On
Lawall
ECOOP Curry On
Arni
ECOOP Curry On
Hage
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Moravia I & II
ECOOP Curry On
Tellman
ECOOP Curry On
Arts
ECOOP Curry On
Gulwani
ECOOP Curry On
Christiansen
ECOOP Curry On
Wadler
ECOOP Curry On
Iliev
ECOOP Curry On
Epple
ECOOP Curry On
Gogichashvili
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Moravia I & II
ECOOP Curry On
Crystal: a programming language for humans and computers
10:05 - 10:45
ECOOP Curry On
Akka Typed: Between Session Types and the Actor Model
10:55 - 11:35
ECOOP Curry On
Pull > Push: Please stop polluting our imperative languages with pure c ...
11:45 - 12:25
ECOOP Curry On
Speed at a Price: The Evolution of V8 and the Challenges of Research i ...
13:50 - 14:30
ECOOP Curry On
Coccinelle for the Working Programmer
14:40 - 15:20
ECOOP Curry On
Servant: a type-level DSL for web APIs
16:00 - 16:40
ECOOP Curry On
Making Embedded Domain Specific Languages a Practical Reality
16:50 - 17:30
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Moravia I & II
ECOOP Curry On
Some of the Things That Macros Do
10:05 - 10:45
ECOOP Curry On
QuickCheck: from invention to product
10:55 - 11:35
ECOOP Curry On
Data Manipulation using Programming By Examples and Natural Language
11:45 - 12:25
ECOOP Curry On
Coding for Types: The Universe Pattern in Idris
13:50 - 14:30
ECOOP Curry On
Everything old is new again: Quoted domain specific languages
14:40 - 15:20
ECOOP Curry On
GS Collections: Echoes of Smalltalk’s Past
16:00 - 16:40
ECOOP Curry On
Java everywhere again - with DukeScript!
16:50 - 17:30
ECOOP Curry On
Scaling SQL Databases Beyond Limits with PostgreSQL
17:40 - 18:20
x
Sun 22 Dec 09:12