Write a Blog >>
Jenna Wise (DiVincenzo)

Registered user since Fri 25 Oct 2019

Name:Jenna Wise (DiVincenzo)
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Gradual Typing, Gradual Verification, Program Analysis, Programming Languages

Contributions

POPL 2020 Gradual Verification of Recursive Heap Data Structures
WGT 2020 Gradual Verification of Recursive Heap Data Structures
Gradual Program Analysis
Show activities from other conferences

POPL 2020-profile
View general profile