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	Author of Gradual Verification of Recursive Heap Data Structures within the Posters-track Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track
WGT 2020	Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track Author of Gradual Program Analysis within the WGT-track
POPL 2020	Author of Gradual Verification of Recursive Heap Data Structures within the Student Research Competition-track
SPLASH 2019	Author of Gradual Program Analysis within the Posters-track Author of Gradual Program Analysis within the SRC-track