Write a Blog >>
Jenna Wise

Registered user since Fri 25 Oct 2019

Name:Jenna Wise
Country:United States
Affiliation:Carnegie Mellon University
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