SPLASH 2015 (series) / AGERE! 2015 (series) /
AGERE! 2015 Program
This is the AGERE! 2015 program - see the full program for SPLASH 2015 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 26 OctDisplayed time zone: Eastern Time (US & Canada) change
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 50mTalk | AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova AGERE! Daniel Wendel MIT | ||
09:20 20mTalk | Objects as Session-Typed Processes AGERE! | ||
09:40 20mTalk | 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 | |||
10:30 20mTalk | Bulk-Synchronous Communication Mechanisms in Diderot AGERE! File Attached | ||
10:50 20mTalk | Programming Abstractions for Augmented Worlds AGERE! | ||
11:10 20mTalk | Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL AGERE! | ||
11:30 20mTalk | A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite AGERE! |
13:30 - 15:00 | |||
13:30 20mTalk | Deny Capabilities for Safe, Fast Actors AGERE! Media Attached | ||
13:50 20mTalk | Optimizing Communicating Event-Loop Languages with Truffle AGERE! Link to publication Pre-print Media Attached | ||
14:10 20mTalk | Actario: A Framework for Reasoning About Actor Systems AGERE! Link to publication Pre-print Media Attached | ||
14:30 20mTalk | 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 | |||
15:30 20mTalk | Akka.js: Towards a portable actor runtime environment AGERE! | ||
15:50 20mTalk | 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 20mTalk | 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 30mOther | Discussion/Panel AGERE! |