SLE 2015
Sun 25 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
VenueSheraton Station Square Hotel
Room nameGrand Station 4
Floor1
Room 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

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Keynote + AbstractionAGERE! 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!
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 EnvironmentsAGERE! 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!
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 VerificationAGERE! 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 DiscussionAGERE! 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
TalksSPLASH Student Research Competition at Grand Station 4
Chair(s): Sam Guyer Tufts University, Patrick Lam University of Waterloo, Canada

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change