Language-Based Architectural Control
, Cyrus Omar, , and .
Paper in the International Workshop on Aliasing, Capabilities and Ownership (IWACO 2014).

For older service roles, refer to my CV.
, Cyrus Omar, , and .
Paper in the International Workshop on Aliasing, Capabilities and Ownership (IWACO 2014).