OCAP 2018: Object-Capability Languages, Systems, and Applications
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.
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 60mTalk | Lost Wisdom of the Ancients OCAP | ||
11:30 30mTalk | OCAP Patterns Panel OCAP |
13:30 - 15:00 | |||
13:30 30mTalk | Designing with Static Capabilities and Effects OCAP Colin Gordon Drexel University | ||
14:00 60mTalk | Formal Methods Panel OCAP James Noble Victoria University of Wellington, Philipp Haller KTH, Sweden, Colin Gordon Drexel University |
15:30 - 17:00 | |||
15:30 45mTalk | Using a JavaScript Ocap Security Kernel at Scale OCAP JF Paradis Salesforce | ||
16:15 45mTalk | Ocaps & Crypto-commerce OCAP |