Registered user since Fri 17 Nov 2017

Name: Robert Sison

Country: Australia

Affiliation: Data61, CSIRO and UNSW

Personal website: http://ts.data61.csiro.au/people/?cn=Robert+Sison

POPL 2018 Activities

• Author of Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs within the PriSC 2018-track in PriSC 2018
• Show activities from other conferences