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

Conference Day
Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Welcome and KeynoteOCAP at Cavendish
Chair(s): Mark MillerGoogle 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 BurtsevUniversity of California, Irvine, David JohnsonUniversity of Utah, Josh KunzUniversity of Utah, Eric EideUniversity of Utah, Jacobus Van der MerweUniversity of Utah
11:00
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin SimpsonMatador Cloud LLC
11:30
30m
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Valerie ZhaoWellesley College, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
13:30 - 15:00
Session 2OCAP at Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron CraigECS, VUW, Alex PotaninVictoria University of Wellington, Lindsay GrovesVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias CastegrenUppsala University, Tobias WrigstadUppsala 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 LohImperial College London, Sophia Drossopoulou
16:00
60m
Talk
Panel/Discussion
OCAP