Research Areas

Overview Of Research Areas

Algorithms / Comp. Geometry / Comp. Topology

Artificial Intelligence / Machine Learning

Cross-Cutting Areas

Computer Architecture / VLSI

Centers and Groups: Utah Arch

Data Management

Centers and Groups: Data Management Research Center

High-Performance Computing

Human-Centered Computing

Networking / Operating Systems / Scalable Systems

Centers and Groups: Flux Research Group

Programming Languages / Software Engineering

Centers and Groups: PLUTah (Programming Languages at Utah), CTOP (Compilers To Optimize Performance), Flux Research Group

Robotics

Centers and Groups: Utah Robotics Center

Scientific Computing

Centers and Groups: Scientific Computing and Imaging Institute

Security / Privacy

Centers and Groups: Software Security Group

Visual Computing

Centers and Groups: Scientific Computing and Imaging Institute, Graphics Lab


Recent News

Research Areas

Recent Publications

  •  Measure-Theoretic Reeb Graphs and Reeb Spaces.
    Qingsong Wang, Guanquan Ma, Raghavendra Sridharamurthy, Bei Wang.
    International Symposium on Computational Geometry (SOCG), 2024.
  • Gallatin: A General-Purpose GPU Memory Manager
    Hunter McCoy, Prashant Pandey
    PPOPP 2024
  • Overlapping and Robust Edge-Colored Clustering in Hypergraphs.
    A. Crane, B. Lavallee, B. D. Sullivan, N. Veldt
    WSDM 2024
  • Algorithms for Covering Barrier Points by Mobile Sensors with Line Constraint.
    Princy Jain and Haitao Wang
    International Journal of Computational Geometry and Applications (IJCGA), 2024.
  • Tight Bounds for Volumetric Spanners and Applications.
    Sepideh Mahabadi, Ali Vakilian, Aditya Bhaskara
    Advances in Neural Information Processing Systems NeurIPS 2023
  • Interactive Visualization and Portable Image Blending of Massive Aerial Image Mosaics.
    Steve Petruzza, Brian Summa, Amy Gooch, Christine M Laney, Tristan Goulden, John Schreiner, Steven Callahan, Valerio Pascucci
    2023 IEEE International Conference on Big Data
  • New Tools for Smoothed Analysis: Least Singular Value Bounds for Random Matrices with Dependent Entries.
    A. Bhaskara, E. Evert, V. Srinivas, A. Vijayaraghavan.
    ACM Symposium on Theory of Computing (STOC) 2024
  • Hypergraph Co-Optimal Transport: Metric and Categorical Properties.
    Samir Chowdhury, Tom Needham, Ethan Semrad, Bei Wang, Youjia Zhou.
    Journal of Applied and Computational Topology, 2023.
  •  Sketching Multidimensional Time Series for Fast Discord Mining.
    Chin-Chia Michael Yeh, Yan Zheng, Menghai Pan, Huiyuan Chen, Zhongfang Zhuang, Junpeng Wang, Liang Wang, Wei Zhang, Jeff M. Phillips, and Eamonn Keogh.
    IEEE International Conference on Big Data. December 2023.

Recent News

Selected Publications

2024
  • Promptly Predicting Structures: The Return of Inference. Maitrey Mehta, Valentina Pyatkin, Vivek Srikumar. ArXiv Preprint:2401.06877
  • Autonomous Assessment of Demonstration Sufficiency via Bayesian Inverse Reinforcement Learning. Tu Trinh, Haoyu Chen, Daniel S. Brown. HRI 2024
2023
  • Whispers of Doubt Amidst Echoes of Triumph in NLP Robustness. Ashim Gupta, Rishanth Rajendhran, Nathan Stringham, Vivek Srikumar, Ana Marasović. ArXiv Preprint:2311.09694
  • Quantifying Assistive Robustness Via the Natural-Adversarial Frontier Jerry Zhi-Yang He, Zackory Erickson, Daniel S. Brown, Anca D. Dragan. CoRL 2023
  • How Much Consistency Is Your Accuracy Worth?. Jacob K. Johnson and Ana Marasović. BlackboxNLP Workshop @ EMNLP 2023
  • On Evaluating Explanation Utility for Human-AI Decision-Making in NLP Fateme Hashemi Chaleshtori, Atreya Ghosal, and Ana Marasović. XAI in Action: Past, Present, and Future Applications @ NeurIPS 2023
  • SpotEM: Efficient Video Search for Episodic Memory. Santhosh K. Ramakrishnan, Ziad Al-Halah, Kristen Grauman. ICML 2023
  • Do Androids Laugh at Electric Sheep? Humor ''Understanding'' Benchmarks from The New Yorker Caption Contest Jack Hessel, Ana Marasovic, Jena D. Hwang, Lillian Lee, Jeff Da, Rowan Zellers, Robert Mankoff, and Yejin Choi. Best Paper Award at ACL 2023
  • Exploring Behavior Discovery Methods for Heterogeneous Swarms of Limited-Capability Robots. Connor Mattson, Jeremy C. Clark, Daniel S. Brown. MRS 2023
  • NaQ: Leveraging Narrations as Queries to Supervise Episodic Memory Santhosh K. Ramakrishnan, Ziad Al-Halah, Kristen Grauman. CVPR 2023
  • Don't Retrain, Just Rewrite: Countering Adversarial Perturbations by Rewriting Text. Ashim Gupta, Carter Blum, Temma Choji, Yingjie Fei, Shalin Shah, Alakananda Vempala, and Vivek Srikumar. ACL 2023

Research Groups

Natural Language Processing

Website:  UtahNLP

PhD Students

Oliver Bentham, Michael Clemens, Joe Davison, Atreya Ghosal, Ashim Gupta, Fateme Hashemi Chaleshtori, Jacob Johnson, Mattia Medina Grespan, Maitrey Mehta, Nate Stringham, Zhichao Xu, Yuan Zhuang

Recent Graduates

Vivek Gupta (Postdoc at UPenn), Tianyu Jiang (Asst. Prof. at University of Cincinnati), Yichu Zhou (Yahoo Research), Tao Li (Google Research)


Research Projects

Recent News

  • Accepted paper: Security & Privacy 2024
  • Accepted paper: PLDI 2023
  • Accepted paper: DSN 2023
  • Accepted paper: IEEE Micro 2023

Recent Graduates

  • Surya Narayanan, May 2022, First employment: Imagination Technologies
  • Sumanth Gudaparthi, April 2022, First employment: AMD Research

Summer Internships


Research Projects

  • Democratizing data-driven systems: This project focuses on three key aspects of data system democratization: enhancing usability of data systems for non-experts and experts, providing explanation frameworks to enable understanding of system behavior, and achieving trust and fairness in machine learning.
  • Data structures for scalable computing: This project focuses on advancing the theory and practice of compact, dynamic, and scalable data structures to tackle the challenges of modern data analyses pipelines. We work on filters, hash tables, trees, succinct, and write-optimized data structures.
  • Large-scale indexing raw genomics data: This project focuses on building scalable data processing pipelines for quickly indexing and searching through tera-bytes of raw genomic, transcriptomic, and metagenomics data.
  • Efficient parallel graph processing: This project focuses on building highly parallel data structures and algorithms for efficiently processing static, streaming, and dynamic graphs. This project further explores using hardware accelerators such as GPUs for massively parallel processing of dynamic graphs.
  • Persistent Data Summaries: This project builds summaries for massive data arriving over time, which are small space, efficient to build and query, and amenable to data analysis. Moreover, they can be queried with respect to a time window for retrospective analysis.
  • Data Sketching:: We design and implement sketch data structures which are compressed representations of data with guaranteed trade-offs between the space and the accuracy of queries. Our group has designs sketches for quantiles, multi-dimensional data, frequent items, shape-fitting, trajectories data, and many more.
  • Spatial Exposome Data: CEDaR is be an open exposomic data resource that can be used by researchers across disciplines to increase understanding of the environment and health. Sources of environmental exposure data are sparse, inconsistent, and rarely linked to individuals, making research complicated and difficult. Through CEDaR, we provide a single platform containing cleaned and standardized environmental exposure measures that can be used independently or to create holistic measures of the exposome.
  • Data Systems on Modern Hardware: This project exploits modern compute hardware such as GPUs, FPGAs and storage hardware such as PMEMs, HBMs for accelerating data systems. Our group designs new algorithmic techniques to model the performance of new hardware and then analyzes data systems in the light of the new algorithmic models to accelerate them.
  • Extreme-Scale Data Management: DataSpaces is a programming system targeted at current large-scale systems and designed to support dynamic interaction and coordination patterns between scientific applications. DataSpaces essentially provides a semantically specialized shared-space abstraction using a set of staging nodes. This abstraction derives from the tuple-space model and can be associatively accessed by the interacting applications of a simulation workflow.

Recent News

Publications

2024

  • WWW Tao Yang, Cuize Han, Chen Luo, Parth Gupta, Jeff M. Phillips, and Qingyao Ai:
    Mitigating Exploitation Bias in Learning to Rank with an Uncertainty-aware Empirical Bayes Approach.
  • SIGMOD Prashant Pandey, Martin Farach-Colton, Niv Dayan, Huanchen Zhang:
    Beyond Bloom: A Tutorial on Future Feature-Rich Filters.
  • FAST Yi Xu*, Henry Zhu*, Prashant Pandey, Alex Conway, Rob Johnson, Ramnatthan Alagappan, Aishwarya Ganesani:
    IONIA: High-Performance Replication for Modern Disk-based KV Stores.
  • PPOPP Hunter McCoy, Prashant Pandey:
    Gallatin: A General-Purpose GPU Memory Manager.
  • SIGCSE Anjali Singh, Anna Fariha, Christopher Brooks, Gustavo Soares, Austin Henley, Ashish Tiwari, Chethan M, Heeryung Choi, Sumit Gulwani:
    Investigating Student Mistakes in Introductory Data Science Programming.
  • EMNLP Soohyeong Kim, Whanhee Cho, Minji Kim, Yong Suk Choi:
    Bidirectional Masked Self-attention and N-gram Span Attention for Constituency Parsing.

 2023

  • IEEE BigData Chin-Chia Michael Yeh, Yan Zheng, Menghai Pan, Huiyuan Chen, Zhongfang Zhuang, Junpeng Wang, Liang Wang, Wei Zhang, Jeff M. Phillips, and Eamonn Keogh:
    Sketching Multidimensional Time Series for Fast Discord Mining.
  • SIGMOD Prashant Pandey, Michael A. Bender, Alex Conway, Martin Farach-Colton, William Kuszmaul, Guido Tagliavini, Rob Johnson:
    IcebergHT: High Performance Hash Tables Through Stability and Low Associativity.
  • VLDB Helen Xu, Amanda Li, Brian Wheatman, Manoj Marneni, Prashant Pandey:
    BP-tree: Overcoming the Point-Range Operation Tradeoff for In-Memory B-trees.
  • SIGMOD Bhavya Chopra, Anna Fariha, Sumit Gulwani, Austin Z. Henley, Daniel Perelman, Mohammad Raza, Sherry Shi, Danny Simmons, Ashish Tiwari:
    DemoCoWrangler: Recommender System for Data-Wrangling Scripts.
  • PPoPP Hunter McCoy, Steven Hofmeyr, Katherine Yelick, Prashant Pandey:
    High-Performance Filters for GPUs.
  • Knowledge and Information Systems Hasan Pourmahmood Aghababa, Jeff M. Phillips:
    An experimental study on classifying spatial trajectories.
  • IPDPS Süreyya Emre Kurt, Jinghua Yan, Aravind Sukumaran-Rajam, Prashant Pandey, P. Sadayappan:
    Communication Optimization for Distributed Execution of Graph Neural Networks.
  • APOCS Madhav Narayan Bhat, Paul Cesaretti, Mayank Goswami, Prashant Pandey:
    Distance and Time Sensitive Filters for Similarity Search in Trajectory Datasets.
  • ACDA Hunter McCoy, Steven Hofmeyr, Katherine Yelick, Prashant Pandey:
    Singleton Sieving: Overcoming the Memory/Speed Trade-Off in Exascale k-mer Analysis.
  • SIGCSE Rowan Hart, Brian Hays, Connor McMillin, El Kindi Rezig, Gustavo Rodriguez-Rivera, Jeffrey A. Turkstra:
    Eastwood-Tidy: C Linting for Automated Code Style Assessment in Programming Courses.

Research Areas

Recent News

  • Spring 24:  Paper Accepted at IEEE DySPAN 2024.
  • Fall 23: Sirus Shahini defended his PhD.
  • Fall 23: Paper Accepted at NSDI 2024!
  • Summer 23: Hao (Harry) Jiang defended his PhD.

Recent Publications

  • Where The Wild Things Are: Brute-Force SSH Attacks In The Wild And How To Stop Them. S. Kumar Singh, S. Gautam, C. Cartier, S. Patil, and R. Ricci in NSDI2024.
  • POWDER-RDZ: Prototyping a Radio Dynamic Zone using the POWDER platform. David Johnson, Dustin Maas, Serhat Tadik, Alex Orange, Leigh Stoller, Kirk Webb, M Basit Iqbal Awan, Jacob Bills, Miguel Gomez, Aarushi Sarbhai, Greg Durgin, Sneha Kasera, Neal Patwari, David Schurig, Jacobus Van der Merwe in IEEE DySPAN 2024.
  • An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report. Mary Hall, Ganesh Gopalakrishnan, Eric Eide, Johanna Cohoon, Jeff M. Phillips, Mu Zhang, Shireen Y. Elhabian, Aditya Bhaskara, Harvey Dam, Artem Yadrov, Tushar Kataria, Amir Mohammad Tavakkoli, Sameeran Joshi, and Mokshagna Sai Teja Karanam in SC-W 2023.
  • OZTrust: An O-RAN Zero-Trust Security System. Hao (Harry) Jiang, Hyunseok Chang, Sarit Mukherjee, and Jacobus (Kobus) Van der Merwe in IEEE NFV-SDN 2023.
  • FlexRDZ: Autonomous Mobility Management for Radio Dynamic Zones. Aashish Gottipati and Jacobus (Kobus) Van der Merwe in FNWF 2023.
  • Generating Conforming Programs with Xsmith. William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide in GPCE 2023.
  • dNextG: A Zero-Trust Decentralized Mobile Network User Plane. Ryan West and Jacobus (Kobus) Van der Merwe in ACM Q2SWinet 2023.
  • Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. Sirus Shahini, Mu Zhang, Mathias Payer, and Robert Ricci in AsiaCCS 2023.
  • Avoiding the Ordering Trap in Systems Performance Measurement. Dmitry Duplyakin, Nikhil Ramesh, Carina Imburgia, Hamza Fathallah Al Sheikh, Semil Jain, Prikshit Tekta, Aleksander Maricq, Gary Wong, and Robert Ricci in ATC 2023.
  • Adjacent Channel WiFi 5 Interference on DSRC Communication at 5.9GHz. Jacob Bills, Alex Orange, and Jacobus (Kobus) Van der Merwe in VTC2023-Spring 2023.
  • RESCue: A State-Disaggregated NFV System with Resilience, Elasticity, and State Consistency. Hao (Harry) Jiang, Hyunseok Chang, Sarit Mukherjee, and Jacobus (Kobus) Van der Merwe in NETSOFT 2023.


Research Projects

  • Designing a framework for efficient, scalable, and performance-portable tensor applications (Saday Sadayappan)
  • Developing effective performance models for compiler optimization by leveraging ML (Saday Sadayappan)
  • Constructing a synthesis-based superoptimizer for vector intrinsics in LLVM intermediate representation (John Regehr)
  • Better generative compiler fuzzing for loop optimizations in C++ and data-parallel languages (John Regehr)
  • Designing exploratory compiler infrastructure for automating high-performance code generation (Mary Hall)
  • Fully integrating data layout and data movement into compilers (Mary Hall)
  • Devising a programmable approach to neural network compression with emphasis on correctness (Ganesh)
  • Improving the performance and accuracy of numerical code on new platforms like GPUs, vector cores, and TPUs (Pavel Panchekha)
  • Scaling web browsers to large web pages (Pavel Panchekha)
  • Automatic synthesis of heterogeneous cache coherence protocols adhering to precise consistency models (Vijay Nagarajan)
  • Enhancing the engineering of 5G networks through domain-specific languages (Eric Eide)
  • Advancing the usability and effectiveness of compiler fuzzing through reusable tools for test-case generation. (Eric Eide)

Recent News

  • January 2024: Dr. Vsevolod Livinskii, advised by Prof. John Regehr, defended his Ph.D. thesis and joined NVIDIA.
  • January 2024: Dr. Ian Briggs, advised by Prof. Pavel Panchekha, defended his Ph.D. and joined AWS. 
  • January 2024: The MegaLibm project, led by Ian Briggs with help from Yash Lad and Prof. Pavel Panchekha, won a Distinguished Paper Award at POPL 2024.
  • October 2023: Prof. Eide presented the first paper about Xsmith (a library for compiler test-case generation) at the GPCE ‘23 conference.
  • August 2023: Profs. Vijay Nagarajan and Ben Greenman join the Kahlert School of Computing.
  • May 2023: Guy Watson defended his MS thesis entitled “Random Testing of WebAssembly Implementations Using Semantically Valid Programs.”
  • June 2023: Prof. Eide received the ACM SIGPLAN PLDI 2023 Distinguished Reviewer Award.
  • September 2022: Dr. Tharindu Rusira, advised by Prof. Mary Hall, defended his Ph.D. thesis and joined Samsung Semiconductor, Inc.
  • August 2022: Dr. Sureyya Emre Kurt, advised by Prof. Saday Sadayappan defended his Ph.D. thesis and joined Xantium.
  • May 2022: Dr. Tuowen Zhao, advised by Prof. Mary Hall, defended his Ph.D. thesis and joined Sambanova Systems.

Research Groups


Recent News

Research Areas

    Daniel S. Brown
  • Human Robot Interaction
  • Robot Learning
  • Swarm Robotics
  • AI Safety and Robustness
    Alan Kuntz
  • Autonomous Medical Robotics Systems and Learning:

Recent Publications

  • Exploring Behavior Discovery Methods for Heterogeneous Swarms of Limited-Capability Robots.Connor Mattson, Jeremy C. Clark, and Daniel S. Brown, 2023 International Symposium on Multi-Robot and Multi-Agent Systems (MRS) 
  • Quantifying Assistive Robustness Via the Natural-Adversarial Frontier. Jerry Zhi-Yang He, Daniel S Brown, Zackory Erickson, Anca Dragan. Conference on Robot Learning, pp. 1865-1886. PMLR, 2023.
  • Autonomous Medical Needle Steering In Vivo. Alan Kuntz, Maxwell Emerson, Tayfun Efe Ertop, Inbar Fried, Mengyu Fu, Janine Hoelscher, Margaret Rox, Jason Akulian, Erin A. Gillaspie, Yueh Z. Lee, Fabien Maldonado, Robert J. Webster III, and Ron Alterovitz. Science Robotics 2023
  • Safer Motion Planning of Steerable Needles via a Shaft-to-Tissue Force Model. Michael Bentley, Caleb Rucker, Chakravarthy Reddy, Oren Salzman, and Alan Kuntz. Journal of Medical Robotics Research 2023
  • Asymptotically Optimal Inspection Planning via Efficient Near-Optimal Search on Sampled Roadmaps. Mengyu Fu, Alan Kuntz, Oren Salzman, and Ron Alterovitz. The International Journal of Robotics Research (IJRR) 2023

Recent Publications

2024
  • Joshua Dawson, Eden Fisher, and Jason Wiese. 2024. Hospital Employee Experiences Caring for Patients in Smart Patient Rooms. In Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI ’24), May 11–16, 2024, Honolulu, HI, USA. ACM, New York, NY, USA, 16 pages. https://doi.org/10.1145/3613904.3642201
  • Maxim Lisnic, Alexander Lex, Marina Kogan. ‘Yeah, this graph doesn't show that’: Analysis of Online Engagement with Misleading Data Visualizations. In Proceedings of the CHI Conference on Human Factors in Computing Systems (CHI ’24), May 11–16, 2024, Honolulu, HI, USA. ACM, New York, NY, USA, 14 pages. https://doi.org/10.1145/3613904.3642448
  • Sadia O. Khan, Tania Ghafourian, and Sameer Patil. 2024. Targets of Weaponized Islamophobia: The Impact of Misinformation on the Online Practices of Muslims in the United States. Proc. ACM Hum.-Comput. Interact. 8, CSCW1, Article 126 (April 2024), 38 pages. https://doi.org/10.1145/3637403
  • Noelle Brown, Benjamin Xie, Ella Sarder, Casey Fiesler, and Eliane S. Wiese. 2024. Teaching Ethics in Computing: A Systematic Literature Review of ACM Computer Science Education Publications. ACM Trans. Comput. Educ. 24, 1, Article 6 (March 2024), 36 pages. https://doi.org/10.1145/3634685
2023
  • Joshua Dawson, K. Jens Phanich, and Jason Wiese. 2024. Reenvisioning Patient Education with Smart Hospital Patient Rooms. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 7, 4, Article 155 (December 2023), 23 pages. https://doi.org/10.1145/3631419
  • Joshua Dawson, Thomas Kauffman, and Jason Wiese. 2023. It Made Me Feel So Much More at Home Here: Patient Perspectives on Smart Home Technology Deployed at Scale in a Rehabilitation Hospital. In Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (CHI '23). Association for Computing Machinery, New York, NY, USA, Article 344, 1–15. https://doi.org/10.1145/3544548.3580757
  • Johanna Cohoon, Kazi Sinthia Kabir, Tamanna Motahar, and Jason Wiese. 2023. Cultivating Altruism Around Computing Resources: Anticipation Work in a Scholarly Community. Proc. ACM Hum.-Comput. Interact. 7, CSCW2, Article 336 (October 2023), 22 pages. https://doi.org/10.1145/3610185
  • Kazi Sinthia Kabir and Jason Wiese. 2023. A Meta-Synthesis of the Barriers and Facilitators for Personal Informatics Systems. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 7, 3, Article 103 (September 2023), 35 pages. https://doi.org/10.1145/3610893
  • Jason Wiese, John R. Lund, and Kazi Sinthia Kabir. 2023. Adding Domain-Specific Features to a Text-Editor to Support Diverse, Real-World Approaches to Time Management Planning. In Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (CHI '23). Association for Computing Machinery, New York, NY, USA, Article 856, 1–13. https://doi.org/10.1145/3544548.3581536
  • Tamanna Motahar, Noelle Brown, Eliane Stampfer Wiese, and Jason Wiese. 2023. Building “Design Empathy” for People with Disabilities: an Unsolved Challenge in HCI Education. In Proceedings of the 5th Annual Symposium on HCI Education (EduCHI '23). Association for Computing Machinery, New York, NY, USA, 68–71. https://doi.org/10.1145/3587399.3587409
  • Noelle Brown, Koriann South, Suresh Venkatasubramanian, and Eliane S. Wiese. 2023. Designing Ethically-Integrated Assignments: It’s Harder Than it Looks. In Proceedings of the 2023 ACM Conference on International Computing Education Research - Volume 1 (ICER '23), Vol. 1. Association for Computing Machinery, New York, NY, USA, 177–190. https://doi.org/10.1145/3568813.3600126
  • Noelle Brown, Nidhi Patel, Xavier Davis, and Eliane S. Wiese. 2023. Students’ Self-Evaluations of Contextual Inquiry Techniques. In Proceedings of the 5th Annual Symposium on HCI Education (EduCHI '23). Association for Computing Machinery, New York, NY, USA, 96–100. https://doi.org/10.1145/3587399.3587411
  • Derya Akbaba, Devin Lange, Michael Correll, Alexander Lex, and Miriah Meyer. 2023. Troubling Collaboration: Matters of Care for Visualization Design Study. In Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (CHI '23). Association for Computing Machinery, New York, NY, USA, Article 812, 1–15. https://doi.org/10.1145/3544548.3581168
  • Maxim Lisnic, Cole Polychronis, Alexander Lex, and Marina Kogan. 2023. Misleading Beyond Visual Tricks: How People Actually Lie with Charts. In Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (CHI '23). Association for Computing Machinery, New York, NY, USA, Article 817, 1–21. https://doi.org/10.1145/3544548.3580910
  • Nicole M Eklund, Jessey Ouillon, Vineet Pandey, Christopher D Stephen, Jeremy D Schmahmann, Jeremy Edgerton, Krzysztof Z Gajos, Anoopum S Gupta, Real-life ankle submovements and computer mouse use reflect patient-reported function in adult ataxias, Brain Communications, Volume 5, Issue 2, 2023, fcad064, https://doi.org/10.1093/braincomms/fcad064
  • Vineet Pandey, Nergis C. Khan, Anoopum S. Gupta, and Krzysztof Z. Gajos. 2023. Accuracy and Reliability of At-Home Quantification of Motor Impairments Using a Computer-Based Pointing Task with Children with Ataxia-Telangiectasia. ACM Trans. Access. Comput. 16, 1, Article 10 (March 2023), 25 pages. https://doi.org/10.1145/3581790

Research Projects

  • National Data Platform (NDP)
  • DataSpaces
  • R-Pulsar
  • Compilers for sparse tensor contractions
  • Sparse matrix/tensor algorithms on GPUs
  • Code generation and optimization for GPUs
  • Distributed training for NLP
  • Autotuning and fusion for AI compilers
  • Date layout transformations for sparse contractions.

Recent News

Recent Papers


Research Areas

Research Groups

PhD Students

Selected Publications

2024

  • M. Berzins. “COMPUTATIONAL ERROR ESTIMATION FOR THE MATERIAL POINT METHOD IN 1D AND 2D,” In VIII International Conference on Particle-Based Methods, PARTICLES 2023, 2024.
  • William Black, David Neilsen, Hari Sundar, Eric Hirschmann, Yosef Zlochower, Milinda Fernando, “Refining Refinement in Binary Black Hole Simulations”, Bulletin of the American Physical Society
  • Shikai Fang, Madison Cooley, Da Long, Shibo Li, Robert M. Kirby, Shandian Zhe, “Solving High Frequency and Multi-Scale PDEs with Gaussian Processes”, The 12th International Conference on Learning Representations (ICRL 2024), Vienna, Austria, May 7-11, 2024.
  • Shibo Li, Xin Yu, Wei W. Xing, Robert M. Kirby, Akil Narayan and Shandian Zhe, “Multi-Resolution Active Learning of Fourier Neural Operators”, The 27th International Conference on Artificial Intelligence and Statistics (AISTATS 2024), Valencia, Space, May 2-4, 2024.
  • Da Long, Wei W. Xing, Aditi S. Krishnapriyan, Robert M. Kirby, Shandian Zhe and Michael W. Mahoney, “Equation Discovery with Bayesian Spike-and-Slab Priors and Efficient Kernels”, The 27th International Conference on Artificial Intelligence and Statistics (AISTATS 2024), Valencia, Space, May 2-4, 2024.

2023

  • Wu, X., Balaprakash, P., Kruse, M., Koo, J., Videau, B., Hovland, P.D., Taylor, V.E., Geltz, B., Jana, S., & Hall, M.W. (2023). ytopt: Autotuning Scientific Applications for Energy Efficiency at Large Scales. ArXiv, abs/2303.16245.
  • T. M. Athawale, C.R. Johnson, S. Sane,, D. Pugmire. “Fiber Uncertainty Visualization for Bivariate Data With Parametric and Nonparametric Noise Models,” In IEEE Transactions on Visualization and Computer Graphics, Vol. 29, No. 1, IEEE, pp. 613-23. 2023.
  • Han D. Tran, Siddharth Saurav, P. Sadayappan, Sandip Mazumder, and Hari Sundar. 2023. Scalable parallelization for the solution of phonon Boltzmann Transport Equation. In Proceedings of the 37th International Conference on Supercomputing (ICS ’23).
  • MGM: A meshfree geometric multilevel method for systems arising from elliptic equations on point cloud surfaces. Grady B Wright, Andrew Jones, Varun Shankar. SIAM Journal on Scientific Computing, 2023.
  • Locally Adaptive and Differentiable Regression. Mingxuan Han, Varun Shankar, Jeff M Phillips, Chenglong Ye. Journal of Machine Learning for Modeling and Computing, 2023.
  • Hongsup Oh, Roman Amici, Geoffrey Bomarito, Shandian Zhe, Robert M. Kirby and Jacob Hochhalter, “Inherently Interpretable Machine Learning Solutions to Differential Equations”, Engineering with Computers, https://doi.org/10.1007/s00366-023-01915-7, 2023.
  • Khemraj Shukla, Vivek Oommen, Ahmad Peyvan, Michael Penwarden, Nicholas Plewacki, Luis Bravo, Anindya Ghoshal, Robert M. Kirby and George Em Karniadakis, “Deep neural operators as accurate surrogates for shape optimization”, Engineering Application of Artificial Intelligence, Volume 129, pages 107615, 2023.
  • Bo Zhang, Philip E. Davis, Nicolas Morales, Zhao Zhang, Keita Teranishi, and Manish Parashar. “Optimizing Data Movement for GPU-Based In-Situ Workflow Using GPUDirect RDMA.” In European Conference on Parallel Processing, pp. 323-338. Cham: Springer Nature Switzerland, 2023.

2022

  • Accelerated Training of Physics-Informed Neural Networks (PINNs) using Meshless Discretizations. Ramansh Sharma, Varun Shankar. Advances in Neural Information Processing Systems, 2022.
  • Bo Zhang, Pradeep Subedi, Philip E. Davis, Francesco Rizzi, Keita Teranishi, and Manish Parashar. “Assembling Portable In-Situ Workflow from Heterogeneous Components using Data Reorganization.” In 2022 22nd IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid), pp. 41-50. IEEE, 2022.


Research Areas

Selected Publications

  • Hyena: Balancing Packing, Reuse, and Rotations for Encrypted Inference. (S&P 2024) Sarabjeet Singh, Shreyas Singh, Sumanth Gudaparthi, Xiong Fan, Rajeev Balasubramonian
  • Foundations of Adaptor Signatures. (EUROCRYPT 2024) Paul Gerhart, Dominique Schroder, Pratik Soni, Sri AravindaKrishnan Thyagarajan
  • Targets of Weaponized Islamophobia: The Impact of Misinformation on the Online Practices of Muslims in the United States. (Proc. ACM Hum.-Comput. Interact. 8, CSCW1, Article 126 (April 2024), 38 pages.) Sadia O. Khan, Tania Ghafourian, and Sameer Patil.
  • VetEOS: Statically Vetting EOSIO Contracts for the “Groundhog Day” Vulnerabilities(NDSS’24) Levi Taiji Li, Ningyu He, Haoyu Wang, Mu Zhang
  • Profile-guided System Optimizations for Accelerated Greybox Fuzzing (CCS 2023) Yunhang Zhang, Chengbin Pang, Stefan Nagy, Xun Chen, Jun Xu.
  • SysPart: Automated Temporal System Call Filtering for Binaries (CCS 2023) Vidya Lakshmi Rajagopalan, Konstantinos Kleftogiorgos, Enes Göktaş, Jun Xu, Georgios Portokalidis
  • Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode (ISSTA'23) Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang
  • No Linux, No Problem: Fast and Correct Windows Binary Fuzzing via Target-embedded Snapshotting (USENIX'23) Leo Stone, Rishi Ranjan, Stefan Nagy, and Matthew Hicks.
  • AEM: Facilitating Cross-Version Exploitability Assessment of Linux Kernel Vulnerabilities (S&P 2023) Zheyue Jiang, Yuan Zhang, Jun Xu, Xinqian Sun, Zhuang Liu, Min Yang
  • Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis (AsiaCCS 2023) Sirus Shahini, Mu Zhang, Mathias Payer, Robert Ricci
  • Distributed-Prover Interactive Proofs (TCC 2023) Sourav Das, Rex Fernando, Ilan Komargodsky, Elaine Shi, Pratik Soni
  • Non-Interactive Anonymous Router with Quasi-Linear Router Computation (TCC 2023) Rex Fernando, Elaine Shi, Pratik Soni, Nikhil Vanjani, Brent Waters

Utah Software Security Group

Our group of faculty and students conducts cutting-edge research to proactively strengthen software defenses, uncover security vulnerabilities at scale, and enhance program analysis toward efficient,effective, and practical cybersecurity.

We routinely publish our work in security and software engineering venues (e.g., IEEE S&P, USENIX Security, ACM CCS, NDSS, ICSE, and ASE). To learn more about our projects, check out our Research page, and feel free to get in touch with our Faculty.


Recent Publications

  • Design Concerns for Integrated Scripting and Interactive Visualization in Notebook Environments, C. Scully-Allison et al.
  • Loon: Using Exemplars to Visualize Large-Scale Microscopy Data, Devin Lange, Eddie Polanco, Robert Judson-Torres, Thomas Zangle, Alexander Lex  IEEE Transactions on Visualization and Computer Graphics
  • A Qualitative Analysis of Common Practices in Annotations: A Taxonomy and Design Space. Rahman, Md Dilshadur, et al.
  • Misleading Beyond Visual Tricks: How People Actually Lie with Charts. Maxim Lisnic, Cole Polychronis, Alexander Lex, and Marina Kogan. 2023.
  • DeepSSM: A blueprint for image-to-shape deep learning models, Riddhish Bhalodia, Shireen Elhabian, Jadie Adams, Wenzheng Tao, Ladislav Kavan, Ross Whitaker
  • Super Fast Strand-Based Hair Rendering with Hair Meshes. Gaurav Bhokare, Eisen Montalvo, Elie Diaz, Mitchell Allen, and Cem Yuksel. 2023.
  • Here’s what you need to know about my data: Exploring Expert Knowledge’s Role in Data Analysis. Lin, Haihan, et al.

Technical Reports

Tech Report Instructions

Submitting a Tech Report

Send an email to coleman@cs.utah.edu requesting a Tech Report number. The request should include the title, author and a PDF copy of full report, including the abstract.

A faculty member must approve any Tech Report. This should be the student’s advisor or co-author on the paper. Failing that the Director of Grad Studies should review the paper and make the approval decision.

A Tech Report number is then assigned and emailed to the author requesting the number.

The author prepares a cover page (using this template), inserts it at the beginning of Tech Report and creates a PDF file of the complete document. The author must then submit the revised PDF. A Postscript file may also be included, as an additional item, but the PDF file is required.

The Tech Report is then entered into the repository and linked to the web page.

MS Theses and PhD Dissertations

It is a School of Computing policy that all theses and dissertations will be submitted as Tech Reports. These Tech Reports are submitted as above but will be maintained as a separate list.

Number Title Authors Report
2023 Technical Reports
UUCS 23-001 Singleton Elimination: A Geometric Approach to Boolean Satisfiability Ishaan Rajan pdf
UUCS 23-002 CHOPSAT: Feasible Region Properties Amelia Lessen pdf
UUCS 23-003 GEO-SAT: A Geometric Approach to Satisfiability Thomas C. Henderson, David Sacharny, Xiuyi Fan, Amar Mitiche and Thatcher Geary pdf
UUCS 23-004 Code in the Hands of Non-Computer Scientists: An Investigation of Coding Practices in Scientific Research at the University of Utah Nathaniel Lanza pdf
2022 Technical Reports
UUCS 22-001 C Split Globally: High Performance Convolution Kernels for CNNs Erik Barton pdf
UUCS 22-002 Algebraic Reconstruction Optimization through Precomputation of Weights Matrix Jared Green pdf
UUCS 22-003 An Interval Arithmetic for Robust Error Estimation Oliver Flatt pdf
UUCS 22-004 Semiblind Calibration of Gain and Drift in a Sensor Network Using Gaussian Processes Zachary Bastiani pdf
UUCS 22-005 Multi-Modal Air Trajectory Traffic Management Thomas C. Henderson, David Sacharny, and Vista Marston pdf
2021 Technical Reports
UUCS 21-001 Enhancing Automated Testing Capabilities on Non Platform-Dependent Mobile Applications Hannah M. Palma pdf
UUCS 21-002 BOTM: Basestation-on-the-Move, A Radio Access Network Management Primitive Aashish Gottopati pdf
UUCS 21-003 Compiler and Runtime Support for HAMTS Sona Torosyan pdf
UUCS 21-004 Neural Network Application in Hyperspectral and Multilevel Diffractive Lens Imaging Alexander Hamrick pdf
UUCS 21-005 Inference over Knowledge Representations Automatically Generated from Medical Texts with Applications in Healthcare Robotics Laura Brannan pdf
UUCS 21-006 Formal Verification of Dynamic Web Pages Skyler Griffith pdf
UUCS 21-007 Performance Prediction for Learning to Rank Systems Aaron Goh pdf
UUCS 21-008 Modeling Expressive Musical Performance with Transformers: An Empirical Error Study Richard W Timpson pdf
UUCS 21-009 Adaptive Covers of the Mapper Graph using Information Theory Nithin Chalapathi pdf
UUCS 21-010 Structural Rounding on a Parameterized Graph Class using Heuristics Cole Perschon pdf
UUCS 21-011 MULTIAGR: A Technique for Aggregating Multivariate Networks Pranav Rajan pdf
UUCS 21-012 On-Demand Virtual Highways for Dense UAS Operations David Sacharny, Thomas C. Henderson and Vista Marston pdf
UUCS 21-013 Definitional Templating: A Novel Approach to Modeling the Compositional Semantics of Noun Compounds Adam Davies pdf
UUCS 21-014 Augmenting Code Pattern Detection with Software Verification and Examining How Teaching Assistants Interact with Student Code Structure Matthew Hooper pdf
UUCS 21-015 On Developing Efficient and Robust Neural Networks for Healthcare using Condensa Model Compression System Keaton Rowley pdf
UUCS 21-016 Some Explorations in SAT Thomas C. Henderson, Amar Mitiche, Xiuyi Fan, and David Sacharny pdf
UUCS 21-017 Asynchronous Distributed IOT-Enabled Customer Characterization in Distribution Networks: Theory and Hardware Implementation Andrew Campbell pdf
2020 Technical Reports
UUCS 20-001 DynaJET: Dynamic Java Efficiency
Tuning
Karl Taht, Ivan Mitic, Adam Barth, Emilio
Vecchio, Sameer Agarwal, Rajeev Balasubramonian, Ryan Stutsman
pdf
UUCS 20-002 Addressing Novice Coding Patterns: Evaluating and Improving a Tool for Code Analysis and Feedback Jacqulyn MacHardy Anderson pdf
UUCS 20-003 Optimized Code Generation for Deep Learning Networks using LATTE and SWIRL Janaan Lake pdf
UUCS 20-004 Partial-Order Ambiguous Observations of Fluents and Actions for Goal Recognition as Planning Jennifer Nelson pdf
UUCS 20-005 Learning Physical Commonsense Knowledge Carlos E. Jimenez pdf
UUCS 20-006 Using Domain Compilation to add
Belief to Narrative Planners
Matthew Christensen pdf
UUCS 20-007 Practical and Configurable Network
Traffic Classification using Probabilistic Machine Learning
Jiahui Chen pdf
UUCS 20-008 Using Existential Theory of the
Reals to Bound VC-Dimension
Austin Watkins pdf
UUCS 20-009 Robotic Grasp Control using Tactile
Feedback
August John Bull pdf
UUCS 20-010 An Efficient Strategic Deconfliction
Algorithm for Large-Scale UAS Traffic Management
David Sacharny, Thomas C. Henderson and Michael Cline pdf
UUCS 20-011 Transformer-Based Observers in Psychotherapy Tarun Sunkaraneni pdf
UUCS 20-012 Applying Neural Network Compression to the Transformer Abhi Mayur Dubal pdf
UUCS 20-013 Reinforcement Learning at the Cognitive Level in a Belief, Desire, Intention UAS Agent David Sacharny, Thomas C. Henderson, Michael Cline and Ben Russon pdf
UUCS 20-014 Analysis of Transparency within the Utah Criminal Justice System Jess Campbell pdf
UUCS 20-015 An Application of the Randomized Singular Value Decomposition (SVD) to Polynomial and Radial Basis Function (RBF) Approximations Hannah Bruns pdf
2019 Technical Reports
UUCS 19-001 Creating Hybrid B-Reps and Hybrid
Volume Completions from Trimmed
B-Spline B-Reps
Yang Song and Elaine Cohen pdf
UUCS 19-002 Leager Programming Anthony Chyr pdf
UUCS 19-003 Computing and Visualizing the Generalized Singular Value Decomposition in Python Rui Luo pdf
UUCS 19-004 A Topological Framework for Semi-Automoatic Neuron Tracing in Virtual Realityn Torin McDonald pdf
UUCS 19-005 An Efficient Strategic Deconfliction Algorithm for Lane-Based Large-Scale UAV Flight Planning Thomas C. Henderson, David Sacharny and Michael Cline pdf
UUCS 19-007 Probabilistic Streaming Tensor Decomposition with Side Information Yimin Zheng pdf
UUCS 19-008 Improving Authentication and Authorization on SynBioHub Zachary M. Zundel pdf
UUCS 19-009 Extended Numeric Representations in Web Assembly Scott Butler pdf
UUCS 19-010 Common Sub-Expression Elimination using Subtree Isomorphisms Robert King pdf
2018 Technical Reports
UUCS 18-001 SimTRaX: Simulation Infrastructure for Exploring Thousands of Cores Konstantin Shkurko, Tim Grant, Erik Brunvand, Daniel Kopta, Josef Spjut, Elena Vasiou, Ian Mallett, Cem Yuksel pdf
UUCS 18-002 Effects of Postprocessing on Topology of FMRI Connectivity in Spatial and Temporal Domains Keri Anderson pdf
UUCS 18-003 Analyzing Simultaneous Iterations Benwei Shi pdf
UUCS 18-004 Data-Driven Secret Santa Giorgi Kvernadze pdf
UUCS 18-005 Monitoring the Update Time of Virtual Firewalls in the Cloud Hyunwook Baek, Eric Eide, Robert Ricci and Jacobus Van der Merwe pdf
UUCS 18-006 Using NILS to Solve Probabilistic Satisfiability for CNF Knowledge Bases Thomas C. Henderson and Michael Cline pdf
UUCS 18-007 Automated Database Workload Characterization, Mapping, and Tuning through Machine Learning Madeline MacDonald pdf
UUCS 18-008 Fairness Learning in Semi-Supervised Setting Jie Zhang pdf
2017 Technical Reports
UUCS 17-001 A Preliminary Study of Probabilistic Argumentation Thomas C. Henderson, Amar Mitiche, Robert Simmons, and Xiuyi Fan pdf
UUCS 17-002 Consistency-Aware Scheduling for Weakly Consistent Programs Maryam Dabahchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu. Serdar Tasiran pdf
UUCS 17-003 Evaluating Relationships between Vector Spaces of Word Embeddings Safia Hassan pdf
2016 Technical Reports
UUCS 16-001 Laying a Foundation for the Graphical Course Map Linda DuHadway and Thomas C. Henderson pdf
2015 Technical Reports
UUCS 15-001 Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan pdf
UUCS 15-002 Informing Change: Course Content Analysis and Organization Linda DuHadway and Thomas C. Henderson pdf
UUCS 15-003 Android Malware Detection Based on System Calls Marko Dimjasevic, Simone Atzeni,Ivo Ugrina, Zvonimir Rakamaric pdf
2014 Technical Reports
UUCS 14-001 SLAMBOT: Structural Health Monitoring Robot using Lamb Waves Wenyi Wang, Thomas C. Henderson, Anshul Joshi and Edward Grant pdf
UUCS 14-002 A Similarity-Based Machine Learning Approach for Detecting Adversarial Android Malware Doaa Hassan, Matthew Might, Vivek Srikumar pdf
2013 Technical Reports
UUCS 13-001 Predicting Visibility in Designs of Public Spaces Daniel Kersten, Robert Shakespeare, and William Thompson pdf
UUCS 13-003 Model Accuracy Assessment in Reaction-Diffusion Pattern Formation in Wireless Sensor Networks Thomas Henderson, Anshul Joshi, Kirril Rashkeev, and Narong Boonsirisumpun (University of Utah) Kyle Luthy and Edward Grant (North Carolina State University) pdf
UUCS 13-004 The Cognitive Symmetry Engine Thomas Henderson, Anshul Joshi, Wenyi Wang pdf
UUCS 13-005 Robot Cognition using Bayesian Symmetry Networks Anshul Joshi, Thomas Henderson, Wenyi Wang pdf
2012 Technical Reports
UUCS 12-001 Efficient Nonlinear Optimization via Multiscale Gradient Filtering Tobias Martin, Pushkar Joshi, Miklos Bergou, Nathan Carr pdf
UUCS 12-002 Kinodynamic RRT*: Optimal Motion Planning forSystems with Linear Differential Constraints Dustin Webb and Jur van den Berg pdf
UUCS 12-005 From Sensorimotor Data to Concepts: The Role of Symmetry Thomas C. Henderson and Anshul Joshi, University of Utah & Edward Grant,North Carolina State University pdf
2011 Technical Reports
UUCS 11-001 Symmetry: A Basis for Sensorimotor Reconstruction Thomas Henderson, Hongchang Peng, Chistopher Sikoski, Nikhil Deshpande, Eddie Grant pdf
UUCS 11-002 Fast, Effective BVH Updates for Dynamic Ray-Traced Scenes Using Tree Rotations Daniel Kopta, Andrew Kensler, Thiago Ize,Josef Spjut, Erik Brunvand, Al Davis pdf
2010 Technical Reports
UUCS 10-004 A Study of Pierce’s Group Generator Thomas Henderson, Hongchang Peng pdf
2009 Technical Reports
UUCS 09-001 Source Characterization of Atmospheric Releases using Quasi-Random Sampling and Gradient Optimization Bhagirath Addepalli (Dept. of Mechanical Engineering), Christopher Sikorski (School of Computing) and Eric R. Pardyjak (Dept. of Mechanical Engineering) pdf
UUCS 09-002 Interference Aware Cache Designs for Operating System Execution D. Nellans, R. Balasubramonian, E. Brunvand pdf
UUCS 09-003 Formal Specification of MPI 2.0: Case Study in Specifying a Practical Concurrent Programming API Guodong Li, Robert Palmer, Michael DeLisi, Ganesh Gopalakrishnan, Robert M. Kirby pdf
UUCS 09-004 Innate Theories as a Basis for Autonomous Mental Development Thomas Henderson, Xiuyi Fan, Aniesha Alford, Edward Grant, Elaine Cohen pdf
UUCS 09-005 Symmetry as an Organizational Principle in Cognitive Sensor Networks Thomas Henderson, Xiuyi Fan, Sanjai Devnani, Sidharth Kumar, Elaine Cohen, Edward Grant pdf
UUCS 09-006 A Note on Optimal Algorithms for Fixed Points S.Shellman, K. Sikorski pdf
UUCS 09-007 GEM: Graphical Explorer for MPI Programs Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan and Beth Tibbits pdf
2008 Technical Reports
UUCS 08-001 Scalable, Reliable, Power-Efficient Communication for Hardware Transactional Memory Seth H. Pugsley, Manu Awasthi, Niti Madan, Naveen Muralimanohar, Rajeev Balasubramonian pdf
UUCS 08-002 Automating the Design of Embedded Domain Specific Accelerators Karthik Ramani, Al Davis pdf
UUCS 08-004 Inspect”: A Runtime Model Checker for Multithreaded C Programs Yu Yang, Xiafang Chen, Ganesh Gopalakrishnan pdf
UUCS 08-005 An Interface Aware Guided Research Method for Error-trace Jusitification in Large Protocols Xiafang Chen, Yu Yang, Ganesh Gopalakrishnan pdf
UUCS 08-007 Method of Generated Solutions as a Numerical Verification Tool for Ice Code Polina Milyavskaya, Christopher Sikorski, Todd Harman pdf
UUCS 08-008 Pattern Formation inWireless Sensor Networks Thomas C. Henderson, Kyle Luthy, Edward Grant pdf
UUCS 08-009 A Collective Approach to Harness Idle Resources Sachin Goyal and John Carter pdf
UUCS 08-0010 Ensuring Prolonged Participation and Deterring Cheating Behaviors in a Collective Sachin Goyal and John Carter pdf
UUCS 08-0011 VISPACK Ross Whitaker pdf
2007 Technical Reports
UUCS-07-001 Expressive Rendering of Mountainous Terrain Margarita Bratkova, Peter Shirley, William B. Thompson pdf
UUCS-07-002 Precision On Demand: An Improvement in Probabilistic Igor Mellatti, Robert Palmer, Ganesh Gopalakrishnan pdf
UUCS-07-003 Computational Sensor Networks Thomas C. Henderson, Christopher Sikorski, Edward Grant, Kyle Luthy pdf
UUCS-07-004 Visual Summary Statistics Kristin Potter, Joe Kniss, and Richard Riesenfeld pdf
UUCS-07-005 3D Line Textures and the Visualization of Confidence in Architecture Kristin Potter, Amy Gooch, Bruce Gooch, Peter Willemsen, Joe Kniss, Richard Riesenfeld and Peter Shirley pdf
UUCS-07-006 The Method of Generated Solutions for Numerical Verification of ICE Code Amjidanutpan Ramanujam, Christopher Sikorski, Todd Harman pdf
UUCS-07-007 Selected Fixed Point Problems and Algorithms Ch. Booniasirivat, K. Sikorski, and Ch. Xiong pdf
UUCS-07-008 Runtime Model Checking of Multithread C/C++ Programs Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, and Robert M. Kirby pdf
UUCS-07-009 RobotShare : a Framework for Robot Knowledge Sharing Xiuyi Fan and Thomas C. Henderson pdf
UUCS-07-010 A Fast IterativeMethod for a Class of Hamilton-Jacobi Equations on Parallel Systems Won-Ki Jeong and Ross T. Whitaker pdf
UUCS-07-013 Linguisitic Support for Unit Testing Kathy Gray and Matthias Felleisen pdf
UUCS-07-015 A Survey of MPI Related Debuggers and Tools Subdh Sharma, Ganesh Gopalakrishnan and Robert M. Kirby pdf
UUCS-07-016 Commit Algorithms for Scalable Hardware Transactional Memory Seth H. Pugsley and Rajeev Balasubramonian pdf
2006 Technical Reports
UUCS-06-001 Refactoring SPIN for Safety Robert Palmer and Ganesh Gopalakrishnan pdf
UUCS-06-002 Predicate Abstraction for Murphi Xiaofang Chen and Ganesh Gopalakrishnan pdf
UUCS-06-003 Bounded Transaction Model Checking Xiaofang Chen and Ganesh Gopalakrishnan pdf
UUCS-06-006 Video Based Animal Behavior Analysis Xinwei Xue and Thomas C. Henderson pdf
UUCS-06-007 Memory Safety and Untrusted Extensions for TinyOS John Regehr, Nathan Cooprider, Will Archer and Eric Eide pdf
UUCS-06-010 Geometric and Arithmetic Culling Methods for Entire Ray Packets Solomon Boulos, Ingo Wald, and Pete Shirley pdf
UUCS-06-012 The Communication Semantics of the Message Passing Interface Robert Palmer, Ganesh Gopalakrishnan, Mike Kirby pdf
UUCS-06-013 Packet-based Whitted and Distribution Ray Tracing Solomon Boulos, Dave Edwards, J. Dylan Lacewell, Jan Kautz, Ingo Wald, and Pete Shirley pdf
UUCS-06-014 A General Compositional Approach to Verifying Hierarchial Cache Coherence Protocols Xiaofang Chen and Ganesh Gopalakrishnan pdf
2005 Technical Reports
UUCS-05-001 Monte Carlo Sensor Networks Thomas C. Henderson, Brandt Erickson, Travis Longoria, Eddie Grant, Kyle Luthy, Leonardo Mattos, and Matt Craver pdf
UUCS-05-002 An Interactive Parallel Multiprocessor Level-Set Solver with Dynamic Load Balancing Suyash P. Awate and Ross T. Whitaker pdf
UUCS-05-003 Effects of Stereo Viewing Conditions on Distance Perception in Virtual Environments Peter Willemsen, Amy A. Gooch, William B. Thompson, and Sarah H. Creem-Regehr pdf
UUCS-05-004 Emerging Trends: Proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics TPHOLs 2004 pdf
UUCS-05-005 Higher-Order Image Statistics for Unsupervised, Information-Theoretic, Adaptive, Image Filtering Suyash P. Awate and Ross T. Whitaker pdf
UUCS-05-007 Nonparametric Neighborhood Statistics for MRI Denoising Suyash P. Awate and Ross T. Whitaker pdf
UUCS-05-008 Nonparametric Statistics of Image Neighborhoods for Unsupervised Texture Segmentation Suyash P. Awate, Tolga Tasdizen, and Ross T. Whitaker pdf
UUCS-05-009 On the Decidability of Shared Memory Consistency Verification Ali Sezgin and Ganesh Gopalakrishnan pdf
UUCS-05-010 Power-Efficient Approaches to Reliability Niti Madan, Rajeev Balasubramonian pdf
2004 Technical Reports
UUCS-04-001 A Comparison of Jiazzi and AspectJ for Feature-wise Decomposition Bin Xin, Sean McDirmid, Eric Eide, and Wilson C. Hsieh pdf
UUCS-04-003 Interactive Volume Rendering of Large Datasets using the Silicon Graphics Onyx4 Visualization System Christiaan Gribble, Steven Parker, and Charles Hansen/td> pdf
UUCS-04-004 Dynamic CPU Management for Real-Time, Middleware-Based Systems Eric Eide, Tim Stack, John Regehr, and Jay Lepreau pdf
UUCS-04-006 Case Study: An Evaluation of User-Assisted Hierarchical Watershed Segmentation Joshua E. Cates, Ross T. Whitaker, Greg M. Jones pdf
UUCS-04-007 GIST: An Interactive GPU-Based Level Set Segmentation Tool For 3D Medical Images Joshua E. Cates, Aaron E. Lefohn, Ross T. Whitaker pdf
UUCS-04-008 Verification of MPI Programs Using Spin Steven Barrus, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer pdf
UUCS-04-013 Image Denoising with Unsupervised, Information-Theoretic, Adaptive Filtering Suyash P. Awate and Ross T. Whitaker Scientific Computing and Imaging Institute, School of Computing, University of Utah pdf
UUCS-04-014 Visualization and Analysis of Diffusion Tensor Fields Gordon Kindlmannn pdf
UUCS-04-015 An Introduction to the Sundance and Autoslog Systems Ellen Riloff and William Phillips pdf
UUCS-04-016 Flexible Consistency for Wide Area Peer Replication Sai Susarla and John Carter pdf
UUCS-04-017 Middleware Support for Locality-aware Wide area Replication Sai Susarla and John Carter pdf
UUCS-04-018 An O(1) Time Complexity Software Barrier Liqun Cheng and John B. Carter pdf
UUCS-04-019 A Hole-Filling Algorithm for Triangular Meshes Lavanya Sita Tekumalla, Elaine Cohen pdf
UUCS-04-020 Reverse Engineering of Pipe Layouts and 3D Point Set Damage Models David Gallup and Thomas Henderson pdf
2003 Technical Reports
UUCS-03-001 Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Hemanthkumar Sivaraj and Ganesh Gopalakrishnan pdf
UUCS-03-002 A Gaussian Accelerator for Sphinx 3. Binu K. Mathew, Al Davis, Zhen Fang pdf
UUCS-03-003 From Motes to Java Stamps: Smart Sensor Network Testbeds. Thomas C. Henderson, Jong-Chun Park, Nate Smith and Richard Wright pdf
UUCS-03-004 Interactive, GPU-Based Level Sets for 3D Brain Tumor Segmentation. Aaron E. Lefohn, Joshua E. Cates, Ross T. Whitaker pdf
UUCS-03-005 Interactive Deformation and Visualization of Level Set Surfaces using Graphics Hardware. Aaron E. Lefohn, Joe M. Kniss, Charles D. Hansen, Ross T. Whitaker pdf
UUCS-03-006 Cramer-Rao Bounds for Nonparametric Surface Reconstruction from Range Data. Tolga Tasdizen and Ross Whitaker pdf
UUCS-03-007 Anisotropic diffusion of surface normals for feature preserving surface reconstruction. Tolga Tasdizen and Ross Whitaker pdf
UUCS-03-008 Penumbra Maps. Chris Wyman and Charles Hansen pdf
UUCS-03-009 Interactive Raytraced Caustics. Chris Wyman, Charles Hansen, Peter Shirley pdf
UUCS-03-010 Analyzing the Intel Itanium Memory Ordering Rules Using LogicProgramming and SAT. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind pdf
UUCS-03-011 UVSIM User Manual (version 1.0) Lixin Zhang pdf
UUCS-03-012 Perceiving Virtual Geographical Slant: Action Influences Perception. Sarah H. Creem-Regehr, Amy A. Gooch, Cynthia S. Sahm, and William B. Thompson pdf
UUCS-03-013 Closed-Form Approximations to the Volume Rendering Integral with Gaussian Transfer Functions. Joe Kniss, Simon Premoze, Milan Ikits, Aaron Lefohn and Charles Hansen pdf
UUCS-03-014 A Characterization of Visual Feature Recognition Binu K. Mathew, Al Davis, Robert Evans pdf
UUCS-03-015 A Generic Operational Memory Model Specification Framework for Multithreaded Program Verification Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom pdf
UUCS-03-016 The Influence of Restricted Viewing Conditions on Egocentric Distance Perception: Implications for Real and Virtual Environments. Sarah H. Creem-Regehr, Peter Willemsen, Amy A. Gooch, and William B. Thompson pdf
UUCS-03-017 Cluster-Based Interactive Volume Rendering with Simian Christiaan Gribble, Xavier Cavin, Mark Hartner, and Charles Hansen pdf
UUCS-03-018 Explicit and Persistent Knowledge in Engineering Drawing Analysis Thomas C. Henderson pdf
UUCS-03-019 Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, and Konrad Slind pdf
UUCS-03-020 Khazana: A Flexible Wide Area Data Store Sai Susarla and John Carter pdf
UUCS-03-021 Fast and Accurate NN Approach for Multi-Event Annotation of Time Series Brijesh Garabadu, Cindi Thompson, Gary Lindstrom, Joe Klewicki pdf
UUCS-03-022 Reaction-Diffusion Patterns in Smart Sensor Networks Thomas C. Henderson, Ramya Venkataraman and Gyounghwa Choikim pdf
UUCS-03-023 Scheme 2003: Proceedings of the Fourth Workshop on Scheme and Functional Programming Matthew Flatt pdf
UUCS-03-024 DataStations: Ubiquitous Transient Storage for Mobile Users Sai Susarla and John Carter pdf
UUCS-03-025 Composable Consistency for Large-scale Peer Replication Sai Susarla and John Carter pdf
UUCS-03-026 Rigorous Concurrency Analysis of Multithreaded Programs Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom pdf
UUCS-03-027 A Path-Precise Analysis for Property Synthesis Sean McDirmid and Wilson C. Hsieh pdf
UUCS-03-028 A Symbolic Partial Order Reduction Algorithm for Rule Based Transitions Systems Ritwik Bhattacharya, Steven German, and Ganesh Gopalakrishnan pdf
2002 Technical Reports
UUCS-02-001 Photographic Tone Reproduction for Digital Images. Erik Reinhard, Michael Stark, Peter Shirley, Jim Ferwerda pdf
UUCS-02-002 Perception-Driven Black-and-White Drawings and Caricatures. Bruce Gooch, Erik Reinhard, Amy Gooch pdf
UUCS-02-003 Geometric Surface Processing via Normal Maps. Tolga Tasdizen, Ross Whitaker, Paul Burchard, Stanley Osher pdf
UUCS-02-004 Verifying a Virtual Component Interface-based PCI Bus Wrapper Using an LSC-Based Specification. Annette Bunker and Ganesh Gopalakrishnan pdf
UUCS-02-005 B-Splines for Physically-Based Rendering Michael M. Stark, William Martin, Elaine Cohen, Tom Lyche and Richard F. Riesenfeld pdf
UUCS-02-006 Formal Aspects of Anonymity. Robert Morelli pdf
UUCS-02-007 Visual Cues for Perceiving Distances from Objects to Surfaces Helen H. Hu, Sarah H. Creem, Amy A. Gooch, William B. Thompson pdf
UUCS-02-008 Agent-based Engineering Drawing Analysis. Thomas C. Henderson and Lavanya Swaminathan pdf
UUCS-02-009 An Experimental Comparison of Perceived Egocentric Distance in Real, Image-Based, and Traditional Virtual Environments using Direct Walking Tasks. Peter Willemsen, Amy Ashurst Gooch pdf
UUCS-02-010 Isosurfaces and Level-set Surface Models. Ross Whitaker pdf
UUCS-02-011 Formalizing the Java Memory Model for Multithreaded Program Correctness and Optimization. Yue Yang, Ganesh Gopalakrishnan, and Gary Lindstrom pdf
UUCS-02-012 Analytic Light Transport Approximations for Volumetric Materials Simon Premoze
UUCS-02-013 A Personalized System for Conversational Recommendations. Cynthia A. Thompson, Mehmet H. Goker, and Pat Langley pdf
UUCS-02-014 Expressive Modular Linking for Object-Oriented Languages. Sean McDirmid, Wilson C. Hsieh, Matthew Flatt pdf
UUCS-02-015 Does the Quality of the Computer Graphics Matter When Judging Distances in Visually Immersive Environments? William B. Thompson, Peter Willemsen, and Amy A. Gooch pdf
UUCS-02-016 Higher-order nonlinear priors for surface reconstruction. Tolga Tasdizen, Ross Whitaker pdf
UUCS-02-017 A GPU-Based, Three-Dimensional Level Set Solver with Curvature Flow. Aaron Lefohn, Ross Whitaker pdf
2001 Technical Reports
UUCS-01-001 Leadership Protocol for S-Nets. Thomas Henderson. pdf
UUCS-01-002 Natural Image Statistics for Computer Graphics. Erik Reinhard, Peter Shirley and Tom Troscianko. pdf
UUCS-01-003 Towards a Formal Model of Shared Memory Consistency for Intel Itanium. Prosenjit Chatterjee and Ganesh Gopalakrishnan. pdf
UUCS-01-004 Performance Studies of PV: An On-the-fly Model-checker for LTL-X Featuring Selective Caching and Partial Order Reduction. Ganesh Gopalakrishnan, Ratan Nalumasu, Robert Palmer, Prosenjit Chatterjee and Ben Prather. pdf
UUCS-01-005 Temporally Coherent Interactive Ray Tracing William Martin, Steven Parker, Erik Reinhard, Peter Shirley and William Thompson. pdf
UUCS-01-006 Verifying a Virtual Component Interface-based PCI Bus Wrapper with FormalCheck. Annette Bunker and Ganesh Gopalakrishnan. pdf
UUCS-01-007 Formal Specification of the Virtual Component of Interface Standard in the Unified Modeling Language. Annette Bunker and Ganesh Gopalakrishnan. pdf
UUCS-01-008 Unified MRM Cache: A Low-power Cache Architecture Using a Local Word Line Gating Technique. Gi-Ho Park, Sally A. McKee and John B. Carter. n/a
UUCS-01-009 Description of Funtionality of the Impulse Memory Controller. Lixin Zhang. pdf
UUCS-01-010 An Emulation Platform for Research in Distributed Systems and Networks Jay Lepreau n/a
UUCS-01-011 Volume Currents in Forward and Inverse MEG Simulations using Realistic Head Models. Robert Van Uitert, David Weinstein, and Chris Johnson pdf
UUCS-01-012 Formally specifying memory consistency models and automatically generating executable specifications Prosenjit Chatterjee and Ganesh Gopalakrishnan pdf
UUCS-01-013 Runtime Aspect Weaving Through Metaprogramming. Jason Baker and Wilson Hsieh pdf
UUCS-01-014 Static and Dynamic Structure in Design Patterns. Eric Eide, Alastair Reid, John Regehr, Jay Lepreau pdf
UUCS-01-015 Maya: Multiple-Dispatch Syntax Extension in Java. Jason Baker and Wilson C. Hsieh pdf
2000 Technical Reports
UUCS-00-001 Transaction ordering verification of the PCI 2.1 Protocol using Trace Inclusion. Michael Jones and Ganesh Gopalakrishnan. n/a
UUCS-00-002 Design A DRAM Backend for The Impulse Memory System. Lixin Zhang. pdf
UUCS-00-003 Statistical Analysis for FEM EEG Source Localization in Realistic Head Models. Leonid Zhukov, David Weinstein and Chris Johnson. pdf
UUCS-00-004 Localization of Multiple Deep Epileptic Sources in a Realistic Head Model via Independent Component Analysis. David Weinstein, Leonid Zhukov and Geoffery Potts. pdf
UUCS-00-005 Error Bounded Approximate Reparametrization of NURBS Curves. Mark Bloomenthal and Elaine Cohen n/a
UUCS-00-006 Automatic Image Creation via Artistic Composition Principles. Bruce Gooch, Chris Moulding, Donald Nelson, Richard Riesenfeld, Peter Shirley and Brian Smits pdf
UUCS-00-008 Direct Ray of Smoothed and Displacement Mapped Triangles. Brian Smits, Peter Shirley and Michael M. Stark pdf
UUCS-00-010 Processes KaffeOS: Isolation, Resource Management and Sharing Java. (Superceded by version published at OSDI 2000. Godmar Back, Wilson Hsieh and Jay Lepreau pdf
UUCS-00-012 Vertex-Based Formulations of Irradiance From Polyganal Sources. Michael M. Stark pdf
UUCS-00-013 Global Illumination Test Scenes. Brian Smits and Henrik Wann Jensen pdf
UUCS-00-014 An Anisotropic Phong Light Reflection Model. Michael Ashikhmin and Peter Shirley pdf
UUCS-00-015 URSIM Reference Manual. Lixin Zhang pdf
UUCS-00-016 Night Rendering. Simon Premose, Henrik Wann Jensen, Peter Shirley, William B. Thompson, James A. Ferwerda and Michael M. Stark pdf
UUCS-00-017 Artistic Vision: Painterly Rendering Using Computer Vision Techniques. Bruce Gooch, Greg Coombe and Peter Shirley pdf
UUCS-00-018 Coregistration of Pose Measurement Devices Using Least Squares Parameter Estimation. Milan Ikits pdf
UUCS-00-019 Reaction-Diffusion Processes as a Computational Paradigm. Thomas Henderson pdf
1999 Technical Reports
UUCS-99-001 The Use of Subtle Illumination Cues for Human Judgement of Spatial Layout. Cindee Madison, Daniel J. Kersten, William B. Thompson, Peter Shirley and Brian Smits. pdf
UUCS-99-002 Memory System Support for Image Processing. Lixin Zhang, John B. Carter, Wilson C. Hsieh and Sally A. McKee. pdf
UUCS-99-003 Supporting Persistent C++ Objects in a Distributed Storage System. Yury Izrailevsky, Anand Raganathan, Sai Susarla, John Carter and Gary Lindstrom. n/a
UUCS-99-004 Using Reliable Multicast for Caching and Collaboration within the World Wide Web. Kristin Wright. n/a
UUCS-99-005 Stream Bundles – Cohesive Advection through Flow Fields. David Weinstein, Gordon Kindlmann, Eric Lundberg pdf
UUCS-99-006 Design of a Parallel Vector Access Unit for SDRAM Memory Systems. Binu K. Mathew, Sally A. McKee, John B. Carter and Al Davis pdf
UUCS-99-007 Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem: PVS Files. Abdel Mokkedem, Ravi M. Hosabettu, Michael D. Jones and Ganesh C. Gopalakrishnan n/a
UUCS-99-008 Using Khazana to Support Distributed Application Development. Yury Izrailevsky, Sai Susarla, Anand Ranganathan, John Carter. 18 pgs. pdf
UUCS-99-012 Fast and Exact Logic Minimization for Extended Burst-Mode Controllers. Hans Jacobsen. n/a
UUCS-99-013 Design and Validation of a Simultaneous Multithreaded DLX Microprocessor. Hans Jacobsen pdf
UUCS-99-014 Lead Field Basis for FEM Source Localization. Leonid Zhukov, David Weinstein and Chris Johnson pdf
UUCS-99-015 Deciding Satisfiability for Presburger Formulae Using Automata, Rewriting and a Model Checker. Jones, Michael D., Ganesh Gopalakrishnan, Palaith Narendran n/a
UUCS-99-016 The I^3Stick: An Inexpensive, Immersive, Interaction Device. J. Dean Brederson pdf
UUCS-99-017 ISIM: The Simulator for The Impulse Adaptable Memory System. Lixin Zhang pdf
UUCS-99-018 Reference Manual of Impulse System Calls. Lixin Zhang and Leigh Stoller pdf
UUCS-99-019 Formal Verification of a Superscaler Pipelined Processor with Speculative execution and Exceptions. Ravi Hosabettu. n/a
UUCS-99-020 Hardware-Only Stream Prediction + Cache Prefetching + Dynamic Access Ordering. Chienqiang Zhang and Sally A. McKee n/a
UUCS-99-021 A Comparison of Online Superage Promotion Mechanisms. Zhen Fang and Lixin Zhang pdf
UUCS-99-022 Profiling I/O Interrupts in Modern Architectures. Lambert Schaelicke, Al Davis and Sally McKee pdf
UUCS-99-023 A Painterly Approach to Human Skin. Peter-Pike Sloan, Bruce Gooch, William Martin, Amy Gooch pdf
UUCS-99-024 Exploring the Value of Supporting Multiple DSM Protocols in Hardware DSM Controllers. Ravidra Kuramkote and John Carter n/a
UUCS-99-024 Shortest Paths in Sensor Snow. Thomas C. Henderson and Yu Chen n/a
1998 Technical Reports
CSTD-98-001 Fast Isosurface Extraction Using Quasi-Monte Carlo Methods Xu Ji pdf
UUCS-98-001 Feature-Based Process Planning for CNC Machining Elaine Cohen, Samuel Drake, Russell Fish, and Richard F. Riesenfeld pdf
UUCS-98-002 Decomposing the Proof of Correctness of Pipelined Microprocessors Ravi Hosabettu, Mandayam Srivas and Ganesh Gopalakrishnan pdf
UUCS-98-003 Smart Sensor Snow Thomas C. Henderson, Mohamed Dekhil, Scott Morris and William B. Thompson pdf
UUCS-98-004 Constraint Jacobians for Constant-Time Inverse Kinematics and Assembly Optimization Donald Nelson pdf
UUCS-98-005 The analytic 3-D transform for the least-squared fit of three pairs of corresponding points David M. Weinstein pdf
UUCS-98-006 An Interior Ellipsoid Algorithm for Fixed Points Zhijian Huang and Kris Sikorski pdf
UUCS-98-007 Visual Glue William Thompson, Peter Shirley, Brian Smits, Daniel Kersten and Cindee Madison pdf
UUCS-98-008 The `Test Model-checking’ Approach to the Verification of Formal Memory Models of Multiprocessors Ratan Nalumasu Rajnish Ghughal, Abdel Mokkedem and Ganesh Gopalakrishnan. pdf
UUCS-98-009 Khazana: An Infrastructure for Building Distributed Services John Carter, Anand Ranganathan and Sai Susarla. pdf
UUCS-98-010 AS-COMA: An Adaptive Hybrid Shared Memory Architecture Chen-Chi Kuo, John B. Carter, Ravindra Kuramkote and Mark Swanson pdf
UUCS-98-011 Design Alternatives for Shared Memory Multiprocessors John B. Carter, Chen-Chi Kuo, Ravindra Kuramkote and Mark Swanson. pdf
UUCS-98-012 SWIG User’s Manual David Beazley pdf
UUCS-98-013 Interface and Execution Models in the Fluke Kernel Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath and Patrick Tullmann pdf
UUCS-98-014 The Flask Security Architecture: System Support for Diverse Security Policies Ray Spencer, Stephen Smalley, Peter Loscocco, Mike Hibler, David Andersen and Jay Lepreau pdf
UUCS-98-015 Java Operating Systems: Design and Implementation Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh and Jay Lepreau pdf
UUCS-98-017 A Partial Order Reduction Algorithm without the Proviso RatanNalumasu and Ganesh Gopalakrishnan. pdf
1997 Technical Reports
CSTD-97-002 TrISH – Transparent Integrated Storage Heirarchy: A Hierarchical Storage Management System for the 4.3BSD UNIX Operating System Sidney G. Bytheway pdf
CSTD-97-003 Schema Coercion: Using Database Meta-Information to Facilitate Data Transfer Terence Critchlow pdf
CSTD-97-004 Representation of and Modeling with Arbitrary Discontinuity Curves in Sculptured Surfaces Marc S. Ellens pdf
CSTD-97-005 Feature-Based Process Planning and Automatic Numerical Control Part Programming Chih-Cheng Ho pdf
UUCS-97-003 Minimum Distance Queries for Polygonal and Parametric Models David E. Johnson and Elaine Cohen pdf
UUCS-97-007 Asynchronous Microengines for Efficient High-level Control Hans Jacobson and Ganesh Gopalakrishnan pdf
UUCS-97-008 Analysis of Avalanche’s Shared Memory Architecture Ravindra Kuramkote, John Carter, Alan Davis, Chen-Chi Kuo, Leigh Stoller and Mark Swanson pdf
UUCS-97-009 Deriving Efficient Protocols through Refinement RatanNalumasu and Ganesh Gopalakrishnan pdf
UUCS-97-011 Instrumented Sensor System Architecture Thomas C. Henderson and Mohamed Dekhil pdf
UUCS-97-014 Instrumented Sensor System – Practice Mohamed Dekhil and Thomas C. Henderson. pdf
UUCS-97-016 Cache-Rings for Memory Efficient Isosurface Construction David M. Weinstein pdf
1996 Technical Reports
CSTD-96-001 Architectural Considerations In a Self-Timed Processor Design Richardson, William pdf
UUCS-96-001 Low Latency Workstation Cluster Communications Using Sender-Based Protocols Swanson, Mark R.; Leigh B. Stoller pdf
UUCS-96-002 Message Passing Support in the Avalanche Widget Swanson, Mark R.; Ravindra Kuramkote; Leigh B. Stoller; Terry Tateyama pdf
UUCS-96-003 Flat Surface Reconstruction Using Sonar Thomas C. Henderson, Mohamed Dekhil, Beat Bruderlin, Larry Schenkat, and Larkin Veige
UUCS-96-004 Microkernels Meet Recursive Virtual Machines Ford, Bryan; Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Shantanu Goel, and Steven Clawson pdf
UUCS-96-005 Flexible Multi-Policy Scheduling based on CPU Inheritance Ford, Bryan; Sai R. Susarla pdf
UUCS-96-006 Partial Order Reduction Without the Proviso Ratan Nalumasu, Ganesh Gopalakrishnan pdf
UUCS-96-009 Paint: PA Instruction Set Interpreter Leigh B. Stoller; Mark R. Swanson, and Ravindra Kuramkote pdf
UUCS-96-010 The Avalanche Myrinet Simulation Package Chen-Chi Kuo, John B. Carter pdf
UUCS-96-011 A Comparison of Software and Hardware Synchronization Mechanisms for Distributed Shared Memory Multiprocessors John B. Carter, Chen-Chi Kuo, and Ravindra Kuramkote pdf
1995 Technical Reports
CSTD-95-011 An Application Framework for Compositional Modularity Gurduth S. Banavar pdf
UUCS-95-002 Modular Scheme: Object Programming with First Class Modules and Operator-Based Inheritance Banavar, Guruduth; and Gary Lindstrom pdf
UUCS-95-003 Direct Deposit: A Basic User-Level Protocol for Carpet Clusters Swanson, Mark R.; and Leigh B. Stoller pdf
UUCS-95-004 Modeling and Verification of Distributed Control Scheme for Mobile Robots Mohamed Dekhil, Ganesh Gopalakrishnan, and Thomas C. Henderson
UUCS-95-005 Sensor-based Distributed Control Scheme for Mobile Robots Dekhil, Mohamed; Tarek Sobh; Alyosha A. Efros pdf
UUCS-95-006 Explicit-enumeration based Verification made Memory-efficient Nalumasu, Ratan; Ganesh Gopalakrishnan pdf
UUCS-95-007 Layered, Server-based Support for Object-Oriented Application Development Banavar, Gruruduth; Douglas Orr; Gary Lindstrom pdf
UUCS-95-008 Fred: An Architecture for a Self-Timed Decoupled Computer Richardson, William F.; and Erik Brunvand pdf
UUCS-95-010 Feature-Based Reverse Engineering of Mechanical Parts Thompson, Willam B.; Jonathan Owen; and H. James de St.Germain pdf
UUCS-95-011 A Fast Parallel Squarer Based on Divide-and-Conquer Yoo, Jae-Tack; Kent F. Smith; and Ganesh Gopalarkishnan pdf
UUCS-95-012 Hierarchical Data Structures for Interactive VolumeVisualization Weinstein, David M.; and Christopher R. Johnson pdf
UUCS-95-013 PPE Interface and Functional Specification Swanson, Mark R.; Brad L. Stoller; and Terry T. Tateyama pdf
UUCS-95-015 Exploiting Discontinuities in Optical Flow Thompson, William B pdf
UUCS-94-017 Evolutionary Teleomorphology Thomas C. Henderson and Alyosha Efros
UUCS-95-019 Timing Constraints for High Speed Counterflow-Clocked Pipelining Jae-tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith pdf
UUCS-95-020 Compositionally Modular Scheme Banavar, Guruduth; Gary Lindstrom pdf
UUCS-95-021 The Fred VHDL Model Richardson, William pdf
UUCS-95-022 Avalanche: A Communication and Memory Architecture for Scalable Parallel Computing Carter, John B; Al Davis; Ravindra Kuramkote; Chen-Chi Kuo;Leigh B. Stoller; Mark Swanson pdf
UUCS-95-023 Reducing Consistency Traffic and Cache Misses in the Avalanche Multi-processor Carter, John B.; Ravindra Kuramkote; Chen-Chi Kuo pdf
UUCS-95-025 A comparison of modular self-timed design styles Franklin Prosser, David Winkel, and Erik Brunvand pdf
1994 Technical Reports
UUCS-94-001 Type-safe Composition of Object Modules Guruduth Banavar, Gary Lindstrom, and Douglas Orr pdf
UUCS-94-002 A Dossier Driven Persistent Objects Facility Robert Mecklenburg, Charles Clark, Gary Lindstrom, and Benny Yih pdf
UUCS-94-003 Persistence is Hard, Then you Die!, or, Complier and Runtime Support for a Persistent Common Lisp J. H. Jacobs, M. R. Swanson and R. R. Kessler pdf
UUCS-94-004 Robotic Prototyping Environment(Progress Report) Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, and Robert Mecklenburg
UUCS-94-006 URK: Utah Robot Kit-A 3-Link Robot Manipulator Prototype Mohamed Dekhil, Tarek Sobh, and Thomas C. Henderson
UUCS-94-007 Industrial Inspection and Reverse Engineering Tarek Sobh, J. Owen, C. Jaynes, M. Dekhil, and Thomas Henderson
UUCS-94-009 Case Studies in Symbolic Model Checking Gopalakrishnan, Ganesh; Dilip Khandekar; Ravi Kuramkote; and Ratan Nalumasu pdf
UUCS-94-010 Robot Manipulator Prototyping (Complete Design Review) Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, Anil Sabbavarapu, and Robert Mecklenburg
UUCS-94-012 URK: Utah Robot Kit-A Three Link Prototype Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, and Anil Sabbavarapu
UUCS-94-014 A Morphing Algorithm for Generating Near Optimal Grids: Applications in Computational Medicine Parker, Steven G.; David M. Weinstein; and Christopher R.Johnson pdf
UUCS-94-016 Map3d: Scientific Visualization Program for Multichannel Time Series Data on Unstructured, Three Dimensional Meshes MacLeod, R.S.; P.R. Ershler; C.R. Johnson; and M.A. Matheson pdf
UUCS-94-017 Construction of a Human Torso Model from Magnetic Resonance Images for Problems in Computational Electrocardiography MacLeod, R.S.; C.R. Johnson; and P.R. Ershler pdf
UUCS-94-018 Techniques for Visualizing 3D Unstructured Meshes Gitlin, Carole; and Christopher Johnson pdf
UUCS-94-019 Semi-Automatic Image Segmentation: A Bimodel Thresholding Approach Shen, Han-Wei; and Christopher Johnson pdf
UUCS-94-021 The Stability of Geometric Inference In Location Determination Sutherland, Karen T pdf
UUCS-94-022 Automatic Rapid Prototyping of Semi-Custom VLSI Circuits Using FPGA’s Yoo, Jae-tack; Kent F. Smith; and Erik Brunvand pdf
UUCS-94-023 Sensing Strategies BAsed on Manufacturing Knowledge Thomas C. henderson, Tarek Sobh, Frederic Zana, Beat Bruderlin, and Ching-Yao Hsu
UUCS-94-024 UPE: Utah Prototyping Environment for Robot Manipulators Mohamed Dekhil, Tarek Sobh, Thomas C. Henderson, and Robert Mecklenburg
UUCS-94-026 A Unifying Framework for Tolerance Analysis Tarek Sobh, Thomas C. Henderson, and Frederic Zana
UUCS-94-033 The Design of Object-Oriented Meta-Architectures for Programming Languages Banavar, Guruduth; and Gary Lindstrom pdf
UUCS-94-035 ETYMA:A Framework for Modular Systems Banavar, Guruduth; Gary Lindstrom; and Douglas Orr pdf
UUCS-94-040 Evaluating the Potential of Programmable Multiprocessor Cache Controllers Carter, John B; Mike Hibler, Ravindra R. Kuramkote pdf
1993 Technical Reports
UUCS-93-001 Radioptimization-Goal Based Rendering Kawai, John, James Painter & Michael Cohen pdf
UUCS-93-005 Modules as Values In a Persistent Object Store Bracha, Gilad, Charles F. Clark, Gary Lindstrom, and DouglasB. Orr pdf
UUCS-93-006 A Framework For Module-Based Language Processors Banavar, Guruduth & Gary Lindstrom pdf
UUCS-93-007 Active Inspection and Reverse Engineering Sobh, Tarek M., Jonathan Owen, Chris Jaynes, Mohamed Dekhil,and Thomas C. Henderson pdf
UUCS-93-009 Story: A Hierarchical Animation and Storyboarding System for Alpha_1 Blum, Michael S., Robert Mecklenburg pdf
UUCS-93-010 Reconstruction of Sculptured Surface Using Coordinate Measuring Machines Yuan C. Hsieh pdf
UUCS-93-012 Notes on Thread Models in Mach 3.0 Ford, Bryan; Mike Hibler; and Jay Lepreau pdf
UUCS-93-013 Prototyping a Robotic Manipulator and Controller Sobh, Tarek; Mohamed Dekhil, Thomas C. Henderson pdf
UUCS-93-014 Intermediate Results in Active Inspection and Reverse Engineering Sobh, Tarek; Jonathan Owen; Chris Jaynes; Mohamed Dekhil;Thomas C. Henderson pdf
UUCS-93-017 A Transformational Approach to Asynchronous High-Level Synthesis Gopalakrishnan, Ganesh pdf
UUCS-93-020 Peephole Optimization of Asynchronous Networks through Process Composition and Burst-mode Machine Generation Gopalakrishnan, Ganesh; and Prabhakar Kudva pdf
UUCS-93-021 Prototyping Environment for Robot Manipulators Dekhil, Mohamed; Tarek M. Sobh; and Thomas C. Henderson pdf
UUCS-93-023 Concurrent Engineering and Robot Prototyping Dekhil, Mohamed; Tarek M. Sobh; Thomas C. Henderson; and Robert Mecklenburg pdf
1992 Technical Reports
UUCS-92-001 Specification and Validation of Control-Intensive Integrated Circuits in hopCP Akella, Venkatesh & Ganesh Gopalakrishnan pdf
UUCS-92-004 A Correctness Criterion For Asynchronous Circuit Validation And Optimization Gopalakrishnan, Ganesh, Erik Brunvand & Nick Michell pdf
UUCS-92-005 Dynamic Reordering of High Latency Transactions in Time-Warp Simulation Using A Modified Micropipeline Liebchen, Armin & Ganesh Gopalakrishnan pdf
UUCS-92-007 The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance Bracha, Gilad pdf
UUCS-92-008 Asynchronous Circuit Verification Using Trace Theory and CCS Gopalakrishnan, Ganesh pdf
UUCS-92-009 Our LIPS Are Sealed: Interfacing Logic and Functional Programming Systems Lindstrom, Gary, Jan Maluszynki & Takeshi Ogi pdf
UUCS-92-009a HOP: A Formal Model For Synchronous Circuits Using Communicating Fundamental Mode SymbolicAutomata Gopalakrishnan, Ganesh pdf
UUCS-92-011 Distributed Garbage Collection Algorithm Terence Critchlow pdf
UUCS-92-012 Towards a verification Technique for Large Synchronous Circuits Jain, Prabhat, Prabhakar Kudva & Ganesh Gopalakrishnan pdf
UUCS-92-017 Second Order Surface Analysis Using Hybrid Symbolic and Numeric Operators Elber, Gershon & Elaine Cohen pdf
UUCS-92-019 High Level Optimizations in Compiling Process Descriptions To Asynchronous Circuits Gopalakrishnan, Ganesh & Venkatesh Akella pdf
UUCS-92-023 Hybrid Symbolic and Numeric Operators as Tolls for Analysis of Freeform Surfaces Elber, Gershon & Elaine Cohen pdf
UUCS-92-026 A Communication-Oriented Task Graph Allocation Algorithm Evans, John D. & Robert R. Kessler pdf
UUCS-92-029 The NSR Processor Prototype Richardson, William F. & Erik Brunvand pdf
UUCS-92-032 Free Form Surface Analysis Using A Hybrid of Symbolic and Numeric Computation Gershon Elber pdf
UUCS-92-033 OMOS – an Object Server for Program Execution Orr, Douglas B. & Robert W. Mecklenburg pdf
UUCS-92-034 Dynamic Program Monitoring and Transformation Using the OMOS Object Server Orr, Douglas B., Robert W. Mecklenburg, Peter J. Hoogenboom & Jay Lepreau pdf
UUCS-92-035 A Dynamic Framework for Intelligent Inspection Sobh, Tarek M., Chris Jaynes & Thomas C. Henderson pdf
UUCS-92-036 A Dynamic Recursive Structure for Intelligent Exploration Sobh, Tarek M., Mohamed Dekhil, Chris Jaynes, and Thomas C. Henderson pdf
UUCS-92-037 Using Utilization Profiles in Allocation and Partitioning for Multiprocessor Systems Evans, John D. and Robert R. Kessler pdf
UUCS-92-038 Constraint Objects- Integrating Constraint Definition and Graphical Interaction Hsu, Ching-yao and Beat Bruderlin pdf
UUCS-92-040 Adaptive Isocurves Based Rendering for Freeform Surfaces Elber, Gershon pdf
UUCS-92-041 Autonomous Observation Sobh, Tarek M pdf
1991 Technical Reports
UUCS-91-001 Error Bounded Variable Distance Offset Operator for Free From Curves and Surfaces Gershon, Elber and Elaine Cohen pdf
UUCS-91-017 Modularity Meets Inheritance Bracha, Gilad and Gary Lindstrom pdf


Research Day

Computing Research Day 2023 will take place on Wednesday, March 29th from 3:30 to 5:30 PM in the Panorama East Room (4th floor of the University Union building). It's your chance to connect with PhD students, find opportunities, and dive into your interests. The event is open to all undergrads and grads; no prior research experience is expected.

Connect with PhD students, find opportunities, and dive into your interests! Computing Research Day is open to all undergrads and grads, no research experience needed.

Have you ever wondered what computing research is going on at the U? Are you interested in getting involved in computing outside of the classroom? Would you like to meet PhDs and other undergraduates working on research in computing to hear about the projects they work on and the people they work with?

Then join us for the Kahlert School of Computing Research Day!

No prior experience level or background is needed; just bring your curiosity.

Walk around (virtually), check out research posters, connect with our PhD students, and socialize. We will also have a table staffed to answer your questions about computing research, research seminars, graduate school, and anything else you want to ask.

Undergrad Research FAQ

Utah’s Kahlert School of Computing hosts one of the top ranked computer science research programs in the United States. Our research efforts help strengthen the classroom experience at the U, but, beyond that, undergraduates also directly contribute to this research by getting involved outside the classroom and working with faculty and graduate students. Getting involved in undergraduate research is a great way to apply what you are learning, to build your skills, and to work with great people, all without having to leave campus.

In algorithms and theory, machine learning, computer software and hardware systems, human-centered applications and more, the U has top-tier work going on in nearly all areas of computing.

However, most students don’t know where to start when they are interested in getting involved. Successful research projects also require substantial persistent effort and sustained mentoring by faculty or graduate students. The purpose of this article is to help you understand some of the benefits and challenges of getting involved in research, and to help you understand what opportunities are available to you.

What is the best way to get involved and find opportunities?

Computing Research Day! The right place to start is here, casually exploring what is going on in the department and asking good questions to our talented PhD students who drive all the interesting work. Talk to them, explore your interests, and make some connections. If you find something exceptionally interesting, ask the poster presenters about how they got involved in research and what avenues they would suggest for getting involved in work in their specific research area.

Please also join our list of students that are interested in opportunities (see the table near the entrance), which we will also use as a mailing list for opportunities. But, the truth is that the best way to get involved is to make a connection with existing students doing research.

What kinds of computing research is happening at the U?

Our website lists several general areas of research and which faculty focus on that area within the department. Most of these areas are represented here at the Computing Research Day poster session, so head inside and check out what is on display.

What background would I need? What are the expectations?

Every project and research group has different areas and expectations, and research doesn’t take anything special. Virtually anyone can do it. But, like anything else, getting results and benefits requires training and persistent hard work. This has two consequences that make getting started in research hard: first, faculty are busy with their own hard work on research efforts, and, second, students struggle to find time in their own schedules and the mentoring they need to succeed in research.

This is why we are excited about Computing Research Day. First, it gives you a chance to find things you might be passionate about that others are passionate about as well. Like anything else in life, that interest is crucial since it can drive you to explore and invest in a topic. Second, it connects you to the students who do the real work and the ones that would most likely be able to mentor you to success. Our PhD students are busy, but many of them find time to mentor undergraduate students.

How does research fit in with graduate school? Do undergraduates publish research articles here at the U?

Many of our students go on to graduate school here at the U and at top-ranked computer science programs, and research often ties into that both before and after students finish their undergraduate degree. If you are considering continuing your education beyond your current degree and have questions about what that path might look like, then come talk to us at the help booth. We had those questions ourselves not that long ago, and we’d be excited to tell you how it works, what it’s like, and what opportunities are possible in academia and research beyond your time here.