SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
Jenna Wise

Registered user since Fri 25 Oct 2019

Name: Jenna Wise

Country: United States

Affiliation: Carnegie Mellon University

Personal website: http://www.cs.cmu.edu/~jlwise/

Research interests: Gradual Typing, Gradual Verification, Program Analysis, Programming Languages

Contributions

SPLASH 2020Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track
Show activities from other conferences

Using general profile