Write a Blog >>
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

WGT 2020Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
Author of Gradual Program Analysis within the WGT-track
POPL 2020Author of Gradual Verification of Recursive Heap Data Structures within the Student Research Competition-track
Show activities from other conferences

POPL 2020-profile
View general profile