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 | 88 | 2015 |
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 | 54 | 2020 |
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 | 33 | 2021 |
Tracking Developers' Eyes in the IDE B Sharif, T Shaffer, J Wise, JI Maletic IEEE Software 33 (3), 105-108, 2016 | 25 | 2016 |
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 | 19 | 2020 |
Sound gradual verification with symbolic execution C Zimmerman, J DiVincenzo, J Aldrich Proceedings of the ACM on Programming Languages 8 (POPL), 2547-2576, 2024 | 7 | 2024 |
Gradual C0: Symbolic Execution for Efficient Gradual Verification J DiVincenzo, I McCormack, H Gouni, J Gorenburg, M Zhang, ... arXiv preprint arXiv:2210.02428, 2022 | 5 | 2022 |
Gradual Program Analysis for Null Pointers S Estep, J Wise, J Aldrich, É Tanter, J Bader, J Sunshine arXiv preprint arXiv:2105.06081, 2021 | 3 | 2021 |
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 | 3 | 2016 |
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 | 2 | 2019 |
User-centered programming language design in the obsidian smart contract language MJ Coblenz, G Kambhatla, P Koronkevich, JL Wise, C Barnaby, J Aldrich, ... CoRR, abs/1912.04719, 2019 | 2 | 2019 |
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 | 1 | 2018 |
Improving Stack Overflow Tag Prediction Using Eye Tracking A Lazar, B Sharif, J Wise, A Pawluk, A Morris | 1 | 2017 |
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 | 1 | 2016 |
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 |
Redistricting Youngstown Police Beats S Haigler, A Orr, E Shehadi, J Wise, K Yazvac | | 2016 |
VISSOFT 2016 Organizing Committee B Sharif, C Parnin, J Fabry, A Etien, A Mocci, A Bergel, S Vidal, D Ford, ... | | 2016 |