SPLASH 2017 (series) / OCAP 2017 (series) / OCAP 2017: Object-Capability Languages, Systems, and Applications /
Monte: A Spiritual Successor to E
We introduce Monte, a capability-safe programming language in the style of E and Python. We detail several of Monte’s differences from E, including new syntax, several new interfaces, and a simple module model. In particular, we examine five features and their consequences for secure distributed computing: named arguments, iterators, modules, controllers, and sealed exceptions.
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
Tue 24 Oct
Displayed time zone: Tijuana, Baja California change
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 |