Grand Station 4 - GPCE 2015

Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States

co-located with SPLASH 2015

VenueSheraton Station Square Hotel

Room nameGrand Station 4

Floor1

Room number

Capacity0

Additional information

Program

Mon 26 Oct

08:30 - 10:00: AGERE - Keynote + Abstraction 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

Daniel WendelMIT

09:20 - 09:40
Talk

Objects as Session-Typed Processes

Stephanie BalzerCarnegie Mellon University, Frank PfenningCarnegie Mellon University

09:40 - 10:00
Talk

Exploring AOP from an OOP Perspective

Rem CollierUniversity College Dublin, Seán RussellUniversity College Dublin, David LillisUniversity College Dublin

10:30 - 12:00: AGERE - Session 2 - Abstraction and Runtime Environments at Grand Station 4

10:30 - 10:50
Talk

Bulk-Synchronous Communication Mechanisms in Diderot

Lamont SamuelsUniversity of Chicago, John ReppyUniversity of Chicago

File Attached

10:50 - 11:10
Talk

Programming Abstractions for Augmented Worlds

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

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

Travis Desell University of North Dakota, Carlos VarelaRensselaer Polytechnic Institute, US

13:30 - 15:00: AGERE - Session 3 - Types and Verification at Grand Station 4

13:30 - 13:50
Talk

Deny Capabilities for Safe, Fast Actors

Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London

Media Attached

13:50 - 14:10
Talk

Optimizing Communicating Event-Loop Languages with Truffle

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

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

Najah Ben SaidVerimag, Takoua AbdellatifUniversity of Sousse, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS

15:30 - 17:00: AGERE - Session 4 - Runtime Environments and Discussion at Grand Station 4

15:30 - 15:50
Talk

Akka.js: Towards a portable actor runtime environment

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

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

Arvin ZakeriyanUniversity of Tehran, Ehsan Khamespanah, Marjan SirjaniReykjavik University, Ramtin Khosravi

16:30 - 17:00
Other

Discussion/Panel

Thu 29 Oct

10:30 - 12:00: Student Research Competition - Talks at Grand Station 4
Chair(s): Patrick LamUniversity of Waterloo, Canada, Sam GuyerTufts 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.

Room information: Grand Station 4

Mon 26 Oct

Thu 29 Oct

Mon 26 Oct 2015

AGERE!

AGERE!

AGERE!

AGERE!

Thu 29 Oct 2015

SPLASH Student Research Competition

Mon 26 Oct 2015

Thu 29 Oct 2015

Tracks