GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
SPLASH 2015 (series) / GPCE 2015 (series) / Sheraton Station Square Hotel /

Room information: Grand Station 4

VenueSheraton Station Square Hotel
Room nameGrand Station 4
Floor1
Additional information

Program

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 + AbstractionAGERE! at Grand Station 4
Chair(s): Carlos VarelaRensselaer Polytechnic Institute, US, Elisa Gonzalez BoixVrije Universiteit Brussel, Alessandro RicciUniversity of Bologna, Philipp HallerKTH Royal Institute of Technology
08:30 - 09:20
Talk		AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
AGERE!
Daniel WendelMIT
09:20 - 09:40
Talk		Objects as Session-Typed Processes
AGERE!
Stephanie BalzerCarnegie Mellon University, Frank PfenningCarnegie Mellon University
09:40 - 10:00
Talk		Exploring AOP from an OOP Perspective
AGERE!
Rem CollierUniversity College Dublin, Seán RussellUniversity College Dublin, David LillisUniversity College Dublin
10:30 - 12:00: Session 2 - Abstraction and Runtime EnvironmentsAGERE! at Grand Station 4
10:30 - 10:50
Talk		Bulk-Synchronous Communication Mechanisms in Diderot
AGERE!
Lamont SamuelsUniversity of Chicago, John ReppyUniversity of Chicago
File Attached
10:50 - 11:10
Talk		Programming Abstractions for Augmented Worlds
AGERE!
Angelo CroattiUniversity of Bologna, Alessandro RicciUniversity 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. SchmidtHAW 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 VarelaRensselaer Polytechnic Institute, US
13:30 - 15:00: Session 3 - Types and VerificationAGERE! at Grand Station 4
13:30 - 13:50
Talk		Deny Capabilities for Safe, Fast Actors
AGERE!
Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London
Media Attached
13:50 - 14:10
Talk		Optimizing Communicating Event-Loop Languages with Truffle
AGERE!
Stefan MarrINRIA, France, Hanspeter MössenböckJohannes 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 YasutakeTokyo Institute of Technology, Takuo WatanabeTokyo 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 SaidVerimag, Takoua AbdellatifUniversity of Sousse, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS
15:30 - 17:00: Session 4 - Runtime Environments and DiscussionAGERE! at Grand Station 4
15:30 - 15:50
Talk		Akka.js: Towards a portable actor runtime environment
AGERE!
Andrea Peruffo, Gianluca StivanUniCredit R&D, Philipp HallerKTH 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 BoixVrije Universiteit Brussel, Christophe ScholliersVrije Universiteit Brussel, Nicolas LarreaVUB, Wolfgang De MeuterVrije Universiteit Brussel
16:10 - 16:30
Talk		Jacco: More Efficient Model Checking Toolset for Java Actor Programs
AGERE!
Arvin ZakeriyanUniversity of Tehran, Ehsan Khamespanah, Marjan SirjaniReykjavik 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: TalksSPLASH Student Research Competition at Grand Station 4
Chair(s): Patrick LamUniversity of Waterloo, Canada, Sam GuyerTufts University

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
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

Room10:003011:0030
Grand Station 4

SPLASH Student Research Competition

Talks

Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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.