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
GPCE
Program Committee
Contributors
People Index
Search
Series
Series
GPCE 2020
GPCE 2019
GPCE 2018
GPCE 2017
GPCE 2016
GPCE 2015
GPCE 2014
GPCE 2013
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
Room number
Capacity
0
Additional information
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 26 Oct
agere2015
08:30 - 10:00:
AGERE
- Keynote + Abstraction 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
agere2015
08:30 - 09:20
Talk
AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
Daniel Wendel
MIT
agere2015
09:20 - 09:40
Talk
Objects as Session-Typed Processes
Stephanie Balzer
Carnegie Mellon University
,
Frank Pfenning
Carnegie Mellon University
agere2015
09:40 - 10:00
Talk
Exploring AOP from an OOP Perspective
Rem Collier
University College Dublin
,
Seán Russell
University College Dublin
,
David Lillis
University College Dublin
agere2015
10:30 - 12:00:
AGERE
- Session 2 - Abstraction and Runtime Environments at
Grand Station 4
agere2015
10:30 - 10:50
Talk
Bulk-Synchronous Communication Mechanisms in Diderot
Lamont Samuels
University of Chicago
,
John Reppy
University of Chicago
File Attached
agere2015
10:50 - 11:10
Talk
Programming Abstractions for Augmented Worlds
Angelo Croatti
University of Bologna
,
Alessandro Ricci
University of Bologna
agere2015
11:10 - 11:30
Talk
Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
Raphael Hiesgen
,
Dominik Charousset
,
Thomas C. Schmidt
HAW Hamburg
agere2015
11:30 - 11:50
Talk
A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite
Travis Desell
University of North Dakota
,
Carlos Varela
Rensselaer Polytechnic Institute, US
agere2015
13:30 - 15:00:
AGERE
- Session 3 - Types and Verification at
Grand Station 4
agere2015
13:30 - 13:50
Talk
Deny Capabilities for Safe, Fast Actors
Sylvan Clebsch
Imperial College London
,
Sophia Drossopoulou
Imperial College London
Media Attached
agere2015
13:50 - 14:10
Talk
Optimizing Communicating Event-Loop Languages with Truffle
Stefan Marr
INRIA, France
,
Hanspeter Mössenböck
Johannes Kepler University Linz
Link to publication
Pre-print
Media Attached
agere2015
14:10 - 14:30
Talk
Actario: A Framework for Reasoning About Actor Systems
Shohei Yasutake
Tokyo Institute of Technology
,
Takuo Watanabe
Tokyo Institute of Technology
Link to publication
Pre-print
Media Attached
agere2015
14:30 - 14:50
Talk
A model-based approach to secure multi-party distributed systems
Najah Ben Said
Verimag
,
Takoua Abdellatif
University of Sousse
,
Saddek Bensalem
Verimag
,
Marius Bozga
Verimag/CNRS
agere2015
15:30 - 17:00:
AGERE
- Session 4 - Runtime Environments and Discussion at
Grand Station 4
agere2015
15:30 - 15:50
Talk
Akka.js: Towards a portable actor runtime environment
Andrea Peruffo
,
Gianluca Stivan
UniCredit R&D
,
Philipp Haller
KTH Royal Institute of Technology
agere2015
15:50 - 16:10
Talk
Connect.js: A cross mobile platform actor library for multi-networked mobile applications
Elisa Gonzalez Boix
Vrije Universiteit Brussel
,
Christophe Scholliers
Vrije Universiteit Brussel
,
Nicolas Larrea
VUB
,
Wolfgang De Meuter
Vrije Universiteit Brussel
agere2015
16:10 - 16:30
Talk
Jacco: More Efficient Model Checking Toolset for Java Actor Programs
Arvin Zakeriyan
University of Tehran
,
Ehsan Khamespanah
,
Marjan Sirjani
Reykjavik University
,
Ramtin Khosravi
agere2015
16:30 - 17:00
Other
Discussion/Panel
Thu 29 Oct
splash2015-src
10:30 - 12:00:
Student Research Competition
- Talks at
Grand Station 4
Chair(s):
Patrick Lam
University of Waterloo, Canada
,
Sam Guyer
Tufts University
Mon 26 Oct 2015
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
Grand Station 4
AGERE!
Keynote + Abstraction
08:30 - 10:00
AGERE!
Session 2 - Abstraction and Runtime Environments
10:30 - 12:00
AGERE!
Session 3 - Types and Verification
13:30 - 15:00
AGERE!
Session 4 - Runtime Environments and Discussion
15:30 - 17:00
Thu 29 Oct 2015
Room
10:00
30
11:00
30
12:00
30
Grand Station 4
SPLASH Student Research Competition
Talks
10:30 - 12:00
Mon 26 Oct 2015
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
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 2015
No events planned for this day yet.
x
Tue 10 Dec 19:11