Ana Nora Evans

Registered user since Fri 5 Jan 2018

Name:Ana Nora Evans

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


POPL 2018 Software Fault Isolation for Robust Compilation
PriSC 2018 Formally Secure Compilation of Unsafe Low-Level Components
Show activities from other conferences

POPL 2018-profile
View general profile