OCAP 2017: Object-Capability Languages, Systems, and Applications
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
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
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 30mTalk | Welcome OCAP | ||
09:00 60mTalk | Keynote by Norm Hardy OCAP | ||
10:30 - 12:00 | |||
10:30 30mTalk | 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 30mTalk | Monte: A Spiritual Successor to E OCAP Corbin Simpson Matador Cloud LLC | ||
11:30 30mTalk | 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 | |||
13:30 30mTalk | 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 30mTalk | Reference Capabilities for Concurrency & Scalability: an Experience Report OCAP | ||
14:30 30mTalk | Unforgeable Distributed Capabilities OCAP | ||
15:30 - 17:00 | |||
15:30 30mTalk | Specifying Attenuation OCAP | ||
16:00 60mTalk | Panel/Discussion OCAP | ||
| Tue 24 Oct 2017 OCAP Workshop |
| Fri 8 Sep 2017 Presentation Proposals |
