Projects per year
Fingerprint
Collaborations and top research areas from the last five years
Profiles
-
Collaborative Research: AF: Medium: The Communication Cost of Distributed Computation
Robinson, P. (PI)
7/1/24 → 6/30/28
Project: Research project
-
CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
Bao, Y. (PI)
5/1/24 → 4/30/26
Project: Research project
-
CRII: CSR: Enhancing Eventual Data Consistency in Multidimensional Scientific Computing through Lightweight In-Memory Distributed Ledger System.
Al-Mamun, A. (PI)
4/1/24 → 3/31/26
Project: Research project
-
A Calibration Interface for 3D Gaze Depth Disambiguation in Virtual Environments
Boyd, C., Thompson, M., Smith, M., Dorai, G. & Orlosky, J., 2024, Proceedings - 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2024. Institute of Electrical and Electronics Engineers Inc., p. 695-696 2 p. (Proceedings - 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Alleviating the Uncanny Valley Problem in Facial Model Mapping Using Direct Texture Transfer
Andrews, K., Benson, J. & Orlosky, J., 2024, Proceedings - 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2024. Institute of Electrical and Electronics Engineers Inc., p. 751-752 2 p. (Proceedings - 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Eye-Tracked XR Visual Deficit Simulation Suite for Ocular Disease Education and Assisted Diagnosis
Orlosky, J., Bui, T., Winston, N., Jirau-Rosaly, W. & Brown, S., 2024, Proceedings - 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2024. Institute of Electrical and Electronics Engineers Inc., p. 1164-1165 2 p. (Proceedings - 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Datasets
-
pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, May 8 2023
DOI: 10.5281/zenodo.7908484, https://zenodo.org/records/7908484
Dataset
-
pymwp: MWP analysis on C code in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Apr 30 2023
DOI: 10.5281/zenodo.7879840, https://zenodo.org/record/7879840
Dataset
-
pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Oct 13 2022
DOI: 10.5281/zenodo.7159134, https://zenodo.org/records/7159134
Dataset
Prizes
-
ACM SIGSOFT Distinguished Paper Award
He, S. (Recipient), Aug 30 2019
Prize: Prize (including medals and awards)