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


ICSE 2020 Author of Is Rust Used Safely by Software Developers? within the Technical Papers-track
Author of An Oracle Language for Autonomous Vehicles within the ICSE 2020 Posters-track
PriSC 2018 Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track
POPL 2018 Presenter of Software Fault Isolation for Robust Compilation within the Student Research Competition-track