Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
Corina S Pasareanu

Registered user since Fri 14 Aug 2015

Name: Corina S Pasareanu

Affiliation: Carnegie Mellon University Silicon Valley, NASA Ames Research Center

Personal website: http://ti.arc.nasa.gov/profile/pcorina/

Contributions

PLDI 2021 SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Show activities from other conferences

Using general profile