AGERE! 2015
Sun 25 - Mon 26 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
Sun 25 Oct
Mon 26 Oct
Track/Call
Organization
AGERE! 2015 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
AGERE 2021
AGERE 2020
AGERE 2019
AGERE 2018
AGERE 2017
AGERE 2016
AGERE! 2015
AGERE!
AGERE 2012
AGERE 2011
Sign in
Sign up
SPLASH 2015
(
series
) /
AGERE! 2015 (
series
) /
Sheraton Station Square Hotel
/
Room information: Grand Station 4
Venue
Sheraton Station Square Hotel
Room name
Grand Station 4
Floor
1
Room 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-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-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) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) 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) Athens
(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
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Keynote + Abstraction
AGERE
at
Grand Station 4
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Philipp Haller
KTH Royal Institute of Technology
,
Alessandro Ricci
University of Bologna
,
Carlos Varela
Rensselaer Polytechnic Institute, US
08:30
50m
Talk
AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
AGERE
Daniel Wendel
MIT
09:20
20m
Talk
Objects as Session-Typed Processes
AGERE
Stephanie Balzer
Carnegie Mellon University
,
Frank Pfenning
Carnegie Mellon University
09:40
20m
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
20m
Talk
Bulk-Synchronous Communication Mechanisms in Diderot
AGERE
Lamont Samuels
University of Chicago
,
John Reppy
University of Chicago
File Attached
10:50
20m
Talk
Programming Abstractions for Augmented Worlds
AGERE
Angelo Croatti
University of Bologna
,
Alessandro Ricci
University of Bologna
11:10
20m
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
20m
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
20m
Talk
Deny Capabilities for Safe, Fast Actors
AGERE
Sylvan Clebsch
Imperial College London
,
Sophia Drossopoulou
Imperial College London
Media Attached
13:50
20m
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
20m
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
20m
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
20m
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
20m
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
20m
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
30m
Other
Discussion/Panel
AGERE
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
Talks
SPLASH Student Research Competition
at
Grand Station 4
Chair(s):
Sam Guyer
Tufts University
,
Patrick Lam
University of Waterloo, Canada
Mon 26 Oct
Displayed 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
Displayed 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
Displayed 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
Displayed time zone:
Eastern Time (US & Canada)
change
No events planned for this day yet.
x
Fri 26 Apr 21:09