Research
Project Title: FEEDER: Foundations for Engineering Education for Distributed Energy Resources
Area of Reserach: Cyber-Physical Systems, Networking
Funded by: National Science Foundation
Description: FEEDER undertakes research, curriculum development, education and training activities aiming at widespread adoption of distributed renewable energy resources and deployment of smart grid technologies.
http://www.feeder-center.org/people.php#uk
Project Title: Enhancing Science Through Custom Paths For Trusted Users
Area of Research: Networking
Funded by: National Science Foundation
Description: Enables trusted users to authenticate themselves to the network and set up network connections free from middlebox interference while still enforcing middlebox security functionality for normal campus traffic.
Project Title: NETSCOPES
Area of Research:
Funded by: National Science Foundation
Description: Collaborative Research: CICI: Secure and Resilient Architecture: NetSecOps - Policy-driven, Knowledge-centric, Holistic Network Security Operations Architecture (NETSECOPS) - State-of-the-art campus security operations still heavily rely on human domain experts to interpret high level policy documents, attempt to implement those policies through low level mechanisms, manually implement exceptions to these policies to accommodate scientific workflow requirements, interpret reports and alerts from a variety of security point solutions, and be able to react to security events in near real time on a 24-by-7 basis. This state of affairs is clearly untenable. We strive to answer these questions: How can we realize the NETSECOPS Knowledge and Control Framework? Can NETSECOPS be used for knowledge capture and knowledge discovery? Can high level security policies be systematically captured? Are low level mechanisms accurately enforcing high level policies? Can systematic policies be auto-generated? Can general campus access and connectivity control be policy-driven? Can policy exceptions be made for traffic used in (scientific) research computing?
http://selab.netlab.uky.edu/homepage/CICI-Netsecops-webpage.htm
Project Title: TraceLab
Area of Research: Software Verification, validation, and testing, as well as engineering and software maintenance
Funded by: National Science Foundation
Description: CI-EN: RUI: Collaborative Research: TraceLab Community Infrastructure for Replication, Collaboration, and Innovation (TraceLab) - We will be using TraceLab to reproduce a significant selection of landmark experiments in traceability, feature location, impact analysis, program summarization, testing, and requirements engineering. Our work will (1) provide a baseline against which future work can be evaluated, (2) create publicly available libraries of TraceLabcomponents implementing important algorithms in each domain, and (3) serve as an exemplar for future reproducibility of results.
http://selab.netlab.uky.edu/homepage/Tracelab-2.htm
Project Title: PerfLearner
Area of Research: Software engineering, software testing and debugging , program analysis, software mining
Funded by: National Science Foundation
Description: PerfLearner is a performance testing and diagnosis tool that can automatically discover performance issues and fix the issues online.
http://cs.uky.edu/~tyu/projects.html
Project Title: Descry
Area of Research: Software engineering, software testing and debugging , program analysis, software mining
Funded by: National Science Foundation
Description: Descry is an automated testing tool for detecting concurrency issues in software systems running with multiple processes.
http://cs.uky.edu/~tyu/projects.html
Project Title: SimEvo
Area of Research: Software engineering, software testing and debugging , program analysis, software mining
Funded by: National Science Foundation
Description: This project aims to develop a regression testing framework that can be applied to real-world complex software systems, focusing on the hardware dependence and concurrent control charac- teristics, throughout their lifetimes.
http://cs.uky.edu/~tyu/projects.html
Project Title: A Scalable Framework for Debugging Large Biological Ontologies
Area of Research: Knowledge Representation and Reasoning, Graph Mining
Funded by: National Science Foundation
Description: The main goal of this project is to develop a debugging framework for quality assurance of the Gene Ontology by leveraging both its underlying graph structure and novel term-algebra.
Project Title: An Ontology-driven Faceted Query Engine for the Kentucky Cancer Registry
Area of Research: Cancer Informatics
Funded by: National Institutes of Health
Description: The main goal of this project is to develop a novel ontology-driven faceted query system to enhance web-based exploration of Kentucky Cancer Registry data.
Project Title: Center for SUDEP Research (CSR) - Information and Data Analytics (IDAC)
Area of Research: Big Data Analytics, Data Integration and Management
Funded by: National Institutes of Health
Description: The main goal of this project is to expand and broaden the sharing aned utilization of research resources and data across centers in order to accelerate the understanding of biological mechanisms for SUDEP.