• Sign in
  • Sign up
conf.researchr.org / Jenna Wise (DiVincenzo)
  • ECOOP and ISSTA 2021 profile
  • POPL 2020 profile
  • POPL 2023 profile
  • POPL 2024 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2023 profile
Jenna Wise (DiVincenzo)

Registered user since Fri 25 Oct 2019

Name:Jenna Wise (DiVincenzo)
Affiliation:Purdue University
Personal website: http://www.cs.cmu.edu/~jlwise/
X (Twitter): https://x.com/wise_jenna
GitHub: https://github.com/jennalwise
Research interests:Gradual Typing, Gradual Verification, Program Analysis, Programming Languages

Contributions

2024

POPL

  • Author of Sound Gradual Verification with Symbolic Execution within the POPL-track

2023

SPLASH

  • Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
  • Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

PriSC

  • Committee Member in Program Committee within the PriSC 2023-track

2021

SPLASH

  • Author of Gradual Verification of Recursive Heap Data Structures within the SIGPLAN Papers-track

ECOOP

  • Author of Gradual Program Analysis for Null Pointers within the ECOOP Technical Papers-track

2020

SPLASH

  • 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

POPL

  • Author of Gradual Verification of Recursive Heap Data Structures within the Student Research Competition-track

WGT

  • Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
  • Author of Gradual Program Analysis within the WGT-track

2019

SPLASH

  • Author of Gradual Program Analysis within the Posters-track
  • Author of Gradual Program Analysis within the SRC-track
Share
xThu 30 Nov 05:53
using conf.researchr.org (v1.62.0)
Support page
Sign Up