GPCE 2015
Mon 26 - Tue 27 October 2015
Pittsburgh, Pennsylvania, United States
co-located with
SPLASH 2015
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
Program
Complete Program
Your Program
Mon 26 Oct
Tue 27 Oct
Track/Call
Organization
GPCE 2015
Organizing Committee
Steering Committee
Program Committee
Contributors
People Index
Search
Series
Series
GPCE 2021
GPCE 2020
GPCE 2019
GPCE 2018
GPCE 2017
GPCE 2016
GPCE 2015
GPCE 2014
GPCE 2013
GPCE 2011
Sign in
Sign up
SPLASH 2015
(
series
) /
GPCE 2015
(
series
) /
Sheraton Station Square Hotel
/
Room information: Grand Station 4
Venue
Sheraton Station Square Hotel
Room name
Grand Station 4
Floor
1
Additional information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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-07: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-03: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-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Greenwich Mean Time : Belfast
(GMT) Greenwich Mean Time : Dublin
(GMT) Greenwich Mean Time : Lisbon
(GMT) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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 26 Oct
Times are displayed in time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00: Keynote + Abstraction
AGERE!
at
Grand Station 4
Chair(s):
Carlos Varela
Rensselaer Polytechnic Institute, US
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Alessandro Ricci
University of Bologna
,
Philipp Haller
KTH Royal Institute of Technology
08:30 - 09:20
Talk
AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
AGERE!
Daniel Wendel
MIT
09:20 - 09:40
Talk
Objects as Session-Typed Processes
AGERE!
Stephanie Balzer
Carnegie Mellon University
,
Frank Pfenning
Carnegie Mellon University
09:40 - 10:00
Talk
Exploring AOP from an OOP Perspective
AGERE!
Rem Collier
University College Dublin
,
Seán Russell
University College Dublin
,
David Lillis
University College Dublin
10:30 - 12:00: Session 2 - Abstraction and Runtime Environments
AGERE!
at
Grand Station 4
10:30 - 10:50
Talk
Bulk-Synchronous Communication Mechanisms in Diderot
AGERE!
Lamont Samuels
University of Chicago
,
John Reppy
University of Chicago
File Attached
10:50 - 11:10
Talk
Programming Abstractions for Augmented Worlds
AGERE!
Angelo Croatti
University of Bologna
,
Alessandro Ricci
University of Bologna
11:10 - 11:30
Talk
Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
AGERE!
Raphael Hiesgen
,
Dominik Charousset
,
Thomas C. Schmidt
HAW Hamburg
11:30 - 11:50
Talk
A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite
AGERE!
Travis Desell
University of North Dakota
,
Carlos Varela
Rensselaer Polytechnic Institute, US
13:30 - 15:00: Session 3 - Types and Verification
AGERE!
at
Grand Station 4
13:30 - 13:50
Talk
Deny Capabilities for Safe, Fast Actors
AGERE!
Sylvan Clebsch
Imperial College London
,
Sophia Drossopoulou
Imperial College London
Media Attached
13:50 - 14:10
Talk
Optimizing Communicating Event-Loop Languages with Truffle
AGERE!
Stefan Marr
INRIA, France
,
Hanspeter Mössenböck
Johannes Kepler University Linz
Link to publication
Pre-print
Media Attached
14:10 - 14:30
Talk
Actario: A Framework for Reasoning About Actor Systems
AGERE!
Shohei Yasutake
Tokyo Institute of Technology
,
Takuo Watanabe
Tokyo Institute of Technology
Link to publication
Pre-print
Media Attached
14:30 - 14:50
Talk
A model-based approach to secure multi-party distributed systems
AGERE!
Najah Ben Said
Verimag
,
Takoua Abdellatif
University of Sousse
,
Saddek Bensalem
Verimag
,
Marius Bozga
Verimag/CNRS
15:30 - 17:00: Session 4 - Runtime Environments and Discussion
AGERE!
at
Grand Station 4
15:30 - 15:50
Talk
Akka.js: Towards a portable actor runtime environment
AGERE!
Andrea Peruffo
,
Gianluca Stivan
UniCredit R&D
,
Philipp Haller
KTH Royal Institute of Technology
15:50 - 16:10
Talk
Connect.js: A cross mobile platform actor library for multi-networked mobile applications
AGERE!
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Christophe Scholliers
Vrije Universiteit Brussel
,
Nicolas Larrea
VUB
,
Wolfgang De Meuter
Vrije Universiteit Brussel
16:10 - 16:30
Talk
Jacco: More Efficient Model Checking Toolset for Java Actor Programs
AGERE!
Arvin Zakeriyan
University of Tehran
,
Ehsan Khamespanah
,
Marjan Sirjani
Reykjavik University
,
Ramtin Khosravi
16:30 - 17:00
Other
Discussion/Panel
AGERE!
Thu 29 Oct
Times are displayed in time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00: Talks
SPLASH Student Research Competition
at
Grand Station 4
Chair(s):
Patrick Lam
University of Waterloo, Canada
,
Sam Guyer
Tufts University
Mon 26 Oct
Times are displayed in time zone:
Eastern Time (US & Canada)
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
Grand Station 4
AGERE!
Keynote + Abstraction
AGERE!
Session 2 - Abstraction and Runtime Environments
AGERE!
Session 3 - Types and Verification
AGERE!
Session 4 - Runtime Environments and Discussion
Thu 29 Oct
Times are displayed in time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
Grand Station 4
SPLASH Student Research Competition
Talks
Mon 26 Oct
Times are displayed in time zone:
Eastern Time (US & Canada)
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
Grand Station 4
AGERE!
AGERE! Keynote: Concurrent, Distributed Thinking for First-time Program ...
08:30 - 09:20
AGERE!
Objects as Session-Typed Processes
09:20 - 09:40
AGERE!
Exploring AOP from an OOP Perspective
09:40 - 10:00
AGERE!
Bulk-Synchronous Communication Mechanisms in Diderot
10:30 - 10:50
AGERE!
Programming Abstractions for Augmented Worlds
10:50 - 11:10
AGERE!
Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Man ...
11:10 - 11:30
AGERE!
A Performance and Scalability Analysis of Actor Message Passing and Mig ...
11:30 - 11:50
AGERE!
Deny Capabilities for Safe, Fast Actors
13:30 - 13:50
AGERE!
Optimizing Communicating Event-Loop Languages with Truffle
13:50 - 14:10
AGERE!
Actario: A Framework for Reasoning About Actor Systems
14:10 - 14:30
AGERE!
A model-based approach to secure multi-party distributed systems
14:30 - 14:50
AGERE!
Akka.js: Towards a portable actor runtime environment
15:30 - 15:50
AGERE!
Connect.js: A cross mobile platform actor library for multi-networked m ...
15:50 - 16:10
AGERE!
Jacco: More Efficient Model Checking Toolset for Java Actor Programs
16:10 - 16:30
AGERE!
Discussion/Panel
16:30 - 17:00
Thu 29 Oct
Times are displayed in time zone:
Eastern Time (US & Canada)
change
No events planned for this day yet.
x
Thu 21 Jan 04:58