SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Jenna Wise

Registered user since Fri 25 Oct 2019

Name: Jenna Wise

Affiliation: Carnegie Mellon University

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

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

Contributions

SPLASH 2020 Gradual Verification of Recursive Heap Data Structures
Gradual Verification of Recursive Heap Data Structures
Show activities from other conferences

SPLASH 2020-profile
View general profile