Registered user since Fri 5 Jan 2018

Name: Ana Nora Evans

Bio: PhD candidate at the University of Virginia, advised by Professor Mary Lou Soffa.

Country: United States

Affiliation: University of Virginia, USA

Personal website: http://ananoraevans.org/

Research interests: Programming Languages, Formal Methods

POPL 2018 Activities

• Presenter of Software Fault Isolation for Robust Compilation within the Student Research Competition-track in POPL 2018
• Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track in PriSC 2018
• Show activities from other conferences