Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

The OCAP workshop seeks to bring together those interested in object-capability languages, systems, and applications. Object-capabilities offer a distinct approach to building robust, distributed systems that pose many interesting research and practical challenges. The workshop is designed to explore the latest developments in the theory and practice of the object- capability approach, and provide a forum for knowledge exchange and collaboration. Researchers working on object-capability and related methods, models, languages, and tools, as well as practitioners developing real-world systems and applications are welcome.

Accepted Presentations

Title
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP
Capabilities and Effects
OCAP
Pre-print
Keynote by Norm Hardy
OCAP
Monte: A Spiritual Successor to E
OCAP
Panel/Discussion
OCAP

Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Specifying Attenuation
OCAP
Unforgeable Distributed Capabilities
OCAP
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Welcome
OCAP

Call for Presentations

Deadline Extended:Sept 8, 2017

The OCAP workshop seeks to bring together those interested in object-capability languages, systems, and applications. Object-capabilities offer a distinct approach to building robust, distributed systems that pose many interesting research and practical challenges. The workshop is designed to explore the latest developments in the theory and practice of the object-capability approach, and provide a forum for knowledge exchange and collaboration. Researchers working on object-capability and related methods, models, languages, and tools, as well as practitioners developing real-world systems and applications are welcome.

We welcome presentation proposals in the form of short abstracts (2 pages maximum) on object-capability topics including experience reports, demos, theory, tools, applications and other relevant topics. Presentation proposals will be reviewed by the program committee for relevance and interest.

Submit presentation proposals at https://ocap17.hotcrp.com/paper/new

Deadline Extended:Sept 8, 2017

Notification: September 24, 2017

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Welcome and KeynoteOCAP at Cavendish
Chair(s): Mark Miller Google Inc.
08:30
30m
Talk
Welcome
OCAP

09:00
60m
Talk
Keynote by Norm Hardy
OCAP
10:30 - 12:00
Session 1OCAP at Cavendish
10:30
30m
Talk
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP
Anton Burtsev University of California, Irvine, David Johnson University of Utah, Josh Kunz University of Utah, Eric Eide University of Utah, Jacobus Van der Merwe University of Utah
11:00
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin Simpson Matador Cloud LLC
11:30
30m
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Valerie Zhao Wellesley College, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
13:30 - 15:00
Session 2OCAP at Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron Craig ECS, VUW, Alex Potanin Victoria University of Wellington, Lindsay Groves Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
14:30
30m
Talk
Unforgeable Distributed Capabilities
OCAP
15:30 - 17:00
Session 3OCAP at Cavendish
15:30
30m
Talk
Specifying Attenuation
OCAP
Shu-Peng Loh Imperial College London, Sophia Drossopoulou
16:00
60m
Talk
Panel/Discussion
OCAP