OCAP 2018 Contributors

Write a Blog >>

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

co-located with SPLASH 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (21)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Ocaps & Crypto-commerce
C Elias CastegrenCastegren, Elias Uppsala University Committee Member in Program Committee within the OCAP-track
D Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in Program Committee within the OCAP-track
G Colin GordonGordon, Colin Drexel UniversityUnited States Formal Methods Panel Designing with Static Capabilities and Effects
Arjun GuhaGuha, Arjun University of Massachusetts AmherstUnited States Committee Member in Program Committee within the OCAP-track
H Philipp HallerHaller, Philipp KTH, SwedenGermany Formal Methods Panel
K Alan KarpKarp, Alan OCAP Patterns Panel Committee Member in Program Committee within the OCAP-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA Committee Member in Program Committee within the OCAP-track
L Ben LaurieLaurie, Ben DeepMind Committee Member in Program Committee within the OCAP-track
Chris Lemmer WebberLemmer Webber, Chris Ocaps & Crypto-commerce
M Darya MelicherMelicher, Darya Carnegie Mellon University Committee Member in Program Committee within the OCAP-track
Mark MillerMiller, Mark AgoricUnited States Ocaps & Crypto-commerce Committee Member in Organizing Committee within the OCAP-track
Chip MorningstarMorningstar, Chip Committee Member in Program Committee within the OCAP-track
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Committee Member in Program Committee within the OCAP-track
N James NobleNoble, James Victoria University of WellingtonNew Zealand OCAP Patterns Panel Formal Methods Panel Committee Member in Organizing Committee within the OCAP-track
P JF ParadisParadis, JF SalesforceCanada Using a JavaScript Ocap Security Kernel at Scale OCAP Patterns Panel
S Marc StieglerStiegler, Marc Keynote Speaker of Keynote: Stiegler (part of OCAP) Lost Wisdom of the Ancients OCAP Patterns Panel
David SwaseySwasey, David MPI-SWSGermany Committee Member in Program Committee within the OCAP-track
T Éric TanterTanter, Éric University of Chile & Inria ParisChile Committee Member in Program Committee within the OCAP-track
Bill TullohTulloh, Bill AgoricUnited States Session Chair of (part of OCAP) Committee Member in Organizing Committee within the OCAP-track
W Robert N. M. WatsonWatson, Robert N. M. University of Cambridge Committee Member in Program Committee within the OCAP-track