The OCAP workshop seeks to bring together those interested in 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.

Papers from the workshop will be published in formal proceedings.

Call for Papers

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 invite submissions of 4 to 10 pages long on object-capability and related systems including experience reports, demos, theory, tools, user interface, applications and other relevant topics.

Accepted papers will be published on the ACM Digital Library as an official ACM SIGPLAN publication.

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

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Keynote: StieglerOCAP at Cabot
Chair(s): Marc Stiegler
10:30
60m
Talk
Lost Wisdom of the Ancients
OCAP
11:30
30m
Talk
OCAP Patterns Panel
OCAP
Marc Stiegler , James Noble Victoria University of Wellington, Alan Karp , JF Paradis Salesforce
13:30 - 15:00
Capabilities and EffectsOCAP at Cabot
13:30
30m
Talk
Designing with Static Capabilities and Effects
OCAP
Colin Gordon Drexel University
14:00
60m
Talk
Formal Methods Panel
OCAP
James Noble Victoria University of Wellington, Philipp Haller KTH, Sweden, Colin Gordon Drexel University
15:30 - 17:00
Research DirectionsOCAP at Cabot
15:30
45m
Talk
Using a JavaScript Ocap Security Kernel at Scale
OCAP
JF Paradis Salesforce
16:15
45m
Talk
Ocaps & Crypto-commerce
OCAP
Jonathan Aldrich Carnegie Mellon University, Mark Miller Agoric, Chris Lemmer Webber