Research Overview
I am broadly interested in the design of usable programming languages and practical software verification. Currently, I am working on gradual verification, a sound verification approach that supports complete, partial, or omitted specifications by smoothly scaling from dynamic to static checking. Previously, I contributed to the language design of Penrose - an automatic diagramming tool for mathematical notation written in plain text - and Obsidian - a programming language that facilitates the development of secure blockchain applications.
Education
2017-Present, Ph.D., Software Engineering, Carnegie Mellon University (CMU), Pittsburgh, PA, USA
GPA: 4.0
Google PhD Fellow 2021-2023, NSF Graduate Research Fellow 2017-2022
2013-2017, B.S. with Honors, Computer Science and Mathematics, Summa Cum Laude, Youngstown State University (YSU), Youngstown, OH, USA
GPA: 4.0
Barry Goldwater Scholar 2016-2017
Publications
Conference & Journal- [aXiv 22] DiVincenzo, J., McCormack, I., Gouni, H., Gorenburg, J., Zhang, M., Zimmerman, C., Sunshine, J., Tanter, É., Aldrich, J., "Gradual C0: Symbolic Execution for Efficient Gradual Verification", arXiv, October 5, 2022
- [ECOOP 21] Estep, S., Wise, J., Aldrich, J., Tanter, É., Bader, J., and Sunshine, J., "Gradual Program Analysis for Null Pointers", In 35th European Conference on Object-Oriented Programming (ECOOP) (Dagstuhl, Germany, 2021), A. Møller and M. Sridharan, Eds., vol. 194 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl–Leibniz-Zentrum für Informatik, pp. 3:1–3:25.
- [TOCHI 21] Coblenz, M., Kambhatla, G., Koronkevich, P., Wise, J., Barnaby, C., Sunshine, J., Aldrich, J., Myers, B., "PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design", ACM Transactions on Computer-Human Interaction (TOCHI), 2021, 28, 4, Article 28 (August 2021), 53 pages.
- [OOPSLA 20] Wise, J., Bader, J., Wong, C., Aldrich, J., Tanter, É., Sunshine, J., "Gradual Verification of Recursive Heap Data Structures", The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), OOPSLA track, Online, November 15-20, 2020
- [TOG 20] Ye, K., Ni, W., Krieger, M., Ma'ayan, D., Wise, J., Aldrich, J., Sunshine, J., Crane, K., "Penrose: from mathematical notation to beautiful diagrams", ACM Transactions on Graphics (TOG), 39(4), 144-1., 2020
- [HPEC 18] Wise, J., Lederman, E., Kumar, M., Pattnaik, P., "Performance of Graph Analytics Applications on Many-Core Processors", In 2018 IEEE High Performance extreme Computing Conference (HPEC), pp. 1-7, IEEE, 2018
- [IEEE 16] Sharif, B., Shaffer, T., Wise, J., Maletic, J., “Tracking Developers’ Eyes in the IDE”, IEEE Software, vol. 33, no. 3, pp. 105-108, May-June 2016
- [ESEC/FSE 15] Shaffer, T., Wise, J., Walters, B., Müller, S., Falcone, M., Sharif, B., "iTrace: Enabling Eye Tracking on Software Artifacts Within the IDE to Support Software Engineering Tasks", 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), Tool Track, Bergamo, Italy, pp. 954-957, August 30-September 4, 2015
- [WTG 20] Wise, J., Bader, J., Aldrich, J., Tanter, É., Sunshine, J., "Gradual Verification of Recursive Heap Data Structures", The 1st ACM SIGPLAN Workshop on Gradual Typing (WGT), New Orleans, January 25, 2020
- [WTG 20] Estep, S., Wise, J., Aldrich, J., Tanter, É., Bader, J., Sunshine, J., "Gradual Program Analysis", The 1st ACM SIGPLAN Workshop on Gradual Typing (WGT), New Orleans, January 25, 2020
- [SEmotion 16] Wise, J., Prox, B., Clark, B., Sharif, B. “Towards an Emotionally Aware Development Environment: Invited Talk”, 1st International Workshop on Emotion Awareness in Software Engineering (SEmotion), pp. 26-27, ACM, 2016
- [SIAM 16] Orr, A., Wise, J., Shehadi, E., Yazvac, K., Haigler, S., “Redistricting Youngstown Police Beats”, The SIAM Undergraduate Research Online Journal, vol. 9, October 27, 2016
Research Experience
- Research Intern, IBM (May 31, 2017 to August 18, 2017, June 4, 2018 to August 24, 2018)
- Research Intern, MIT Lincoln Laboratory (June 9, 2015 to July 31, 2015, June 9, 2016 to July 29, 2016)
- Research Assistant, Software Engineering and Empirical Studies Laboratory, YSU (August 21, 2014 to May 15, 2017)
- REU Participant, School of Computing, Clemson University (June 1, 2014 to July 26, 2014)
Presentations
Poster- [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, SPLASH/OOPSLA, Online, 2020
- [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, POPL, New Orleans, LA, 2020
- [SE] Wise, J., Whitely, J., Husain, A., Lazar, A., Sharif, B., “Predicting Expertise from Eye Gazes on Source Code”, ACM Richard Tapia Celebration of Diversity in Computing, Austin, TX, 2016
- [MATH] Shehadi, E., Wise, J., “Redistricting Youngstown Police Beats”, MAA MathFest, Washington D.C., 2015
- [CS] Wise, J., “Minimal Weakly Connected Dominating Sets Algorithm”, GHC, Phoenix, AZ, 2014
- [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, Invited Talk, University of California Santa Cruz, Online, 2021
- [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, OOPSLA, Chicago, IL, 2021
- [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, Invited Talk, University of Pennsylvania, Online 2021
- [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, OOPSLA, Online, 2020
- [SE] Wise, J., “Gradual Verification of Recursive Heap Data Structures”, WGT, New Orleans, LA, 2020
- [SE] Wise, J., “Determining Developer Debugging Behavior from Eye Gazes”, NCUWM, University of Nebraska-Lincoln, 2017
- [SE] Wise, J., Brent, P., Clark, B., Sharif, B., “Towards an Emotionally Aware Development Environment”, SEmotion, Austin, TX, 2016
- [MATH] Wise, J., “Summing Like Euler”, MAA Regional, Ohio Northern University, 2016
- [MATH] Wise, J., “On a Local-Global Property of Quadratic Residues”, MAA MathFest, Washington D.C., 2015
- [SE] Whitely, J., Wise, J., “An Eye-Tracking Experiment Studying Problem Solving Behavior”, OCWIC, Sandusky, OH, 2015
- [MATH] Wise, J., “On the Local-Global Properties of Quadratic Residues”, MAA Regional, Marshall University, 2015
- [CS] Wise, J., “Minimal Weakly Connected Dominating Sets”, MAA MathFest, Portland, OR, 2014
- [MATH] Hoopes, E., Wise, J., “Proof of the Pythagorean Theorem: A Geometric Series Approach”, MAA Regional, University of Toledo, 2014