Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Tue 24 Oct 2017 11:00 - 11:30 at Cavendish - Session 1

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 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Session 1OCAP at Cavendish
10:30
30m
Talk
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
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin Simpson Matador Cloud LLC
11:30
30m
Talk
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