Ana Nora Evans

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:

Research interests: Programming Languages, Formal Methods


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

POPL 2018-profile
View general profile