• Sign in
  • Sign up
conf.researchr.org / Jenna Wise
  • POPL 2020 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
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

Share
xWed 3 Mar 10:20
using conf.researchr.org (v1.43.1)
Support page
Sign Up