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 Oct Times are displayed in time zone: Tijuana, Baja California change
08:30 - 09:00 Talk | Welcome OCAP | ||
09:00 - 10:00 Talk | Keynote by Norm Hardy OCAP |
10:30 - 11:00 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 - 11:30 Talk | Monte: A Spiritual Successor to E OCAP Corbin SimpsonMatador Cloud LLC | ||
11:30 - 12:00 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 - 14:00 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 - 14:30 Talk | Reference Capabilities for Concurrency & Scalability: an Experience Report OCAP | ||
14:30 - 15:00 Talk | Unforgeable Distributed Capabilities OCAP |
15:30 - 16:00 Talk | Specifying Attenuation OCAP | ||
16:00 - 17:00 Talk | Panel/Discussion OCAP |