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 2021	Author of Gradual Verification of Recursive Heap Data Structures within the SIGPLAN Papers-track
ECOOP 2021	Author of Gradual Program Analysis for Null Pointers within the ECOOP Technical Papers-track
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