Jenna Wise

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Recursive Functions

Algorithms And Data Structures

Single Processor

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Graph.

Publications

Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. CoRR (2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. ECOOP (2021)
Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
Gradual verification of recursive heap data structures. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane
Penrose: from mathematical notation to beautiful diagrams. ACM Trans. Graph. 39 (4) (2020)
Jenna Wise, Emily Lederman, Manoj Kumar, Pratap Pattnaik
Performance of Graph Analytics Applications on Many-Core Processors. HPEC (2018)