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 (ESEC/SIGSOFT FSE, 2015)

Towards an emotionally aware development environment: invited talk. - Jenna L. Wise; Brent Prox; Benjamin Clark; Bonita Sharif (SEmotion@ICSE, 2016)

Tracking Developers' Eyes in the IDE. - Bonita Sharif; Timothy Shaffer; Jenna L. Wise; Jonathan I. Maletic (IEEE Softw., 2016)

Performance of Graph Analytics Applications on Many-Core Processors. - Jenna Wise; Emily Lederman; Manoj Kumar 006; Pratap Pattnaik (HPEC, 2018)

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)

Gradual verification of recursive heap data structures. - Jenna Wise; Johannes Bader 001; Cameron Wong; Jonathan Aldrich; Éric Tanter; Joshua Sunshine (Proc. ACM Program. Lang., 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 Program Analysis for Null Pointers. - Sam Estep; Jenna Wise; Jonathan Aldrich; Éric Tanter; Johannes Bader 001; Joshua Sunshine (ECOOP, 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 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)

Gradual Verification for Smart Contracts. - Haojia Sun; Kunal Singh; Jan-Paul Ramos-Dávila; Jonathan Aldrich; Jenna DiVincenzo (CoRR, 2023)

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast. - Marilyn Rego; Wen Fan; Xin Hu; Sanya Dod; Zhaorui Ni; Danning Xie; Jenna DiVincenzo; Lin Tan 001 (CoRR, 2024)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification. - Conrad Zimmerman; Jenna DiVincenzo (CoRR, 2024)

Gradual Verification of Recursive Heap Data Structures - Jenna DiVincenzo (2024)

Sound Gradual Verification with Symbolic Execution. - Conrad Zimmerman; Jenna DiVincenzo; Jonathan Aldrich (Proc. ACM Program. Lang., 2024)

Gradual C0: Symbolic Execution for Gradual Verification. - Jenna DiVincenzo; Ian McCormack; Conrad Zimmerman; Hemant Gouni; Jacob Gorenburg; Jan-Paul Ramos-Dávila; Mona Zhang; Joshua Sunshine; Éric Tanter; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2024)

Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast. - Marilyn Rego; Wen Fan; Xin Hu; Sanya Dod; Zhaorui Ni; Danning Xie; Jenna DiVincenzo; Lin Tan 001 (Forge@ICSE, 2025)