Follow
Jenna DiVincenzo
Jenna DiVincenzo
Other namesJenna Wise
Assistant Professor in Computer Engineering, Purdue University
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
itrace: Enabling eye tracking on software artifacts within the ide to support software engineering tasks
TR Shaffer, JL Wise, BM Walters, SC Müller, M Falcone, B Sharif
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
812015
Penrose: from mathematical notation to beautiful diagrams
K Ye, W Ni, M Krieger, D Ma'ayan, J Wise, J Aldrich, J Sunshine, K Crane
ACM Transactions on Graphics (TOG) 39 (4), 144: 1-144: 16, 2020
422020
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
M Coblenz, G Kambhatla, P Koronkevich, JL Wise, C Barnaby, ...
ACM Transactions on Computer-Human Interaction (TOCHI) 28 (4), 1-53, 2021
262021
Tracking Developers' Eyes in the IDE
B Sharif, T Shaffer, J Wise, JI Maletic
IEEE Software 33 (3), 105-108, 2016
232016
Gradual verification of recursive heap data structures
J Wise, J Bader, C Wong, J Aldrich, É Tanter, J Sunshine
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
182020
Gradual C0: Symbolic Execution for Efficient Gradual Verification
J DiVincenzo, I McCormack, H Gouni, J Gorenburg, M Zhang, ...
arXiv preprint arXiv:2210.02428, 2022
42022
Sound gradual verification with symbolic execution
C Zimmerman, J DiVincenzo, J Aldrich
Proceedings of the ACM on Programming Languages 8 (POPL), 2547-2576, 2024
32024
Gradual Program Analysis for Null Pointers
S Estep, J Wise, J Aldrich, É Tanter, J Bader, J Sunshine
arXiv preprint arXiv:2105.06081, 2021
32021
Invited Talk: Towards an Emotionally Aware Development Environment
J Wise, B Prox, B Clark, B Sharif
2016 IEEE/ACM 1st International Workshop on Emotional Awareness in Software …, 2016
32016
Usability Methods for Designing Programming Languages for Software Engineers
M Coblenz, G Kambhatla, P Koronkevich, JL Wise, C Barnaby, ...
arXiv preprint arXiv:1912.04719, 2019
22019
User-centered programming language design in the obsidian smart contract language. CoRR, abs/1912.04719
MJ Coblenz, G Kambhatla, P Koronkevich, JL Wise, C Barnaby, J Aldrich, ...
arXiv preprint arXiv:1912.04719, 2019
22019
Performance of Graph Analytics Applications on Many-Core Processors
J Wise, E Lederman, M Kumar, P Pattnaik
2018 IEEE High Performance extreme Computing Conference (HPEC), 1-7, 2018
12018
Improving Stack Overflow Tag Prediction Using Eye Tracking
A Lazar, B Sharif, J Wise, A Pawluk, A Morris
12017
Redistricting Youngstown Police Beats
S Haigler, A Orr, E Shehadi, J Wise, K Yazvac
SIAM Undergraduate Research Online 9, 404-421, 2016
12016
Towards an emotionally aware development environment: invited talk
J Wise, B Prox, B Clark, B Sharif
Proceedings of the 1st International Workshop on Emotion Awareness in …, 2016
12016
Gradual Verification for Smart Contracts
H Sun, K Singh, JP Ramos-Dávila, J Aldrich, J DiVincenzo
arXiv preprint arXiv:2311.13351, 2023
2023
Gradual C0: Symbolic Execution for Gradual Verification
J DIVINCENZO, IAN MCCORMACK, H GOUNI, J GORENBURG, ...
arXiv preprint arXiv:2210.02428, 2022
2022
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
M Coblenz, G Kambhatla, P Koronkevich, JL Wise, C Barnaby, ...
arXiv preprint arXiv:1912.04719, 2019
2019
TOWARDS MINING EYE-TRACKING DATASETS FOR EXPERTISE PREDICTION
J WISE
2017
VISSOFT 2016 Organizing Committee
B Sharif, C Parnin, J Fabry, A Etien, A Mocci, A Bergel, S Vidal, D Ford, ...
2016
The system can't perform the operation now. Try again later.
Articles 1–20