Jenna DiVincenzo

According to our database, Jenna DiVincenzo authored at least 12 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Gradual Verification with Symbolic Execution.

Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich

Proc. ACM Program. Lang., January, 2024

2023

Gradual Verification for Smart Contracts.

Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila, Jonathan Aldrich, Jenna DiVincenzo

CoRR, 2023

2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification.

Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

CoRR, 2022

2021

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.

Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

ACM Trans. Comput. Hum. Interact., 2021

Gradual Program Analysis for Null Pointers.

Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Penrose: from mathematical notation to beautiful diagrams.

Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane

ACM Trans. Graph., 2020

Gradual verification of recursive heap data structures.

Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Proc. ACM Program. Lang., 2020

2019

User-Centered Programming Language Design in the Obsidian Smart Contract Language.

Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers

CoRR, 2019

2018

Performance of Graph Analytics Applications on Many-Core Processors.

Jenna Wise, Emily Lederman, Manoj Kumar, Pratap Pattnaik

Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

2016

Tracking Developers' Eyes in the IDE.

Bonita Sharif, Timothy Shaffer, Jenna L. Wise, Jonathan I. Maletic

IEEE Softw., 2016

Towards an emotionally aware development environment: invited talk.

Jenna L. Wise, Brent Prox, Benjamin Clark, Bonita Sharif

Proceedings of the 1st International Workshop on Emotion Awareness in Software Engineering, 2016

2015

iTrace: enabling eye tracking on software artifacts within the IDE to support software engineering tasks.

Timothy R. Shaffer, Jenna L. Wise, Braden M. Walters, Sebastian C. Müller, Michael Falcone, Bonita Sharif

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015