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 2020 Gradual Verification of Recursive Heap Data Structures
Gradual Program Analysis
POPL 2020 Gradual Verification of Recursive Heap Data Structures
Show activities from other conferences

POPL 2020-profile
View general profile