Artificial Intelligence (AI) has emerged as a foundational technology that is profoundly reshaping society. With accelerating advances in a wide array of capabilities including natural language processing, computer vision, and machine learning, AI is quickly finding broad applications in every sector of society. Critically, AI holds significant transformative potential for improving human learning. This National Artificial Intelligence (AI) Research Institutes proposal centers on the establishment of the Institute for an AI-Engaged Future of Learning. Driven by a learner-centered vision of the potential of AI-augmented learning, the ENGAGE AI Institute will conduct (1) foundational AI research on natural language technologies, computer vision, and machine learning and (2) use-inspired AI research on AI-augmented learning, thereby creating learning experiences specifically designed to promote student engagement in formal and informal learning settings. The ENGAGE AI Institute brings together an exceptional interdisciplinary team spanning five organizations with deep expertise in AI and education, including four universities (North Carolina State University, the University of North Carolina at Chapel Hill, Vanderbilt University, and Indiana University) and Digital Promise, which will serve a “nexus” role for the Institute. The Institute will create AI-augmented learning technologies with specific foci on supporting two forms of engaging collaborative inquiry learning experiences: collaborative learning (problem solving and learning that play out in groups) and embodied learning (learning processes that are grounded in the interplay between the body, movement, and senses). The Institute will focus on AI-driven narrative-centered learning environments that create engaging story-based problem-solving experiences to support collaborative inquiry learning. The Institute will explore AI-augmented learning that operates at three levels: individuals, small groups, and larger groups within a range of educational contexts (e.g., classrooms, museums).

Digital innovation is the source of competitiveness and value creation for many types of businesses. The universal desire for rapid digital innovation demands efficient reuse of software code building blocks, which has increased the dependence upon open source and third-party libraries and tools that comprise the software supply chain. Adversaries have moved from finding and exploiting vulnerabilities in end products to a new generation of supply chain attacks where attackers aggressively implant malicious code directly into artifacts in the supply chain and find their way into build and deployment pipelines. Digital innovation depends upon confidence in the software supply chain. As such, our research will enable the following vision: The software industry can rapidly innovate with confidence in the security of their software supply chain. The challenge of software supply chain security has recently received significant interest from industry and government. However, discussions with key stakeholders indicate that the state-of-the-art is preliminary, motivating scientific research to address the underlying fundamental challenges that will limit the practical success of existing approaches. We tackle the challenges of secure software supply chain through three thrusts: prevention, detection, and response, with an explicit objective of moving toward preventing security failures. For each thrust, we consider five hard security problems: (1) Scalability and Composability, such as detecting malicious commits and hardening containers; (2) Policy-governed Secure Collaboration, such as effective use of Software Bill of Materials; (3) Predictive Security Metrics, such as measuring the exploitability of vulnerabilities; (4) Resilient Architectures, such as isolation and sandboxing of components; and (5) Human Behavior, such as studying how to make software developers make more secure decisions. The project will impact the software industry by engaging with current industry players/community, enabling their participation in our research thrusts. Additionally, the project will involve educating the next generation of engineers to eradicate software supply chain security issues and training current employees to make them aware of these issues to help reduce them. To solve these challenging issues, we have created a multidisciplinary proposing team committed to diversity.

As the correlation of data gains importance in many domains, high-dimensional tensors are becoming an ever more important object to represent data and analyze its inherit properties. Tensor networks targeting very high-dimensional data and extracting physically meaningful latent variables are underdeveloped because of their complicated mathematical nature, extremely high computational complexity, and more domain-dependent challenges. This work proposes Cross-layer cooRdination and Optimization for Scalable and Sparse Tensor Networks.

The North Carolina Partnership for Cybersecurity Excellence (NC-PaCE) is a coalition of industry, government, and educational organizations committed to outpacing attackers through a partnership of cybersecurity excellence in research, education, and service. The Secure Computing Institute at North Carolina State University (NCSU) leads NC-PaCE organizations to address a growing cybersecurity workforce gap through educational opportunities; to protect financial assets and intellectual property (IP); and to drive economic growth of North Carolina’s public agencies and private sector businesses through cybersecurity research and service. Synergistically, NC-PaCE supports entrepreneurial and economic growth in North Carolina. NC-PaCE partners are NSA National Centers of Academic Excellence in Cybersecurity (CAE-C) educational institutions and include: NCSU, East Carolina University (ECU), Forsyth Technical Community College (FTCC), North Carolina A&T (NCAT), UNC-Charlotte (UNC-C), UNC-Wilmington (UNCW), and Wake Technical Community College (WTCC). The educational institutions will work together to close the cybersecurity talent gap highlighted in the Cyberseek (https://www.cyberseek.org) Supply/Demand Heat Map. Cyberseek is an organization funded by the National Initiative for Cybersecurity Education (NICE), a program of the National Institute of Standards and Technology (NIST) to provide detailed, actionable data about supply and demand in the cybersecurity job market. Based upon Cyerseek’s data, North Carolina is third in the country in terms of supply/demand ratio of cybersecurity workers. The need for cybersec urity-trained professionals is real in North Carolina.

Educating the next generation of cybersecurity professionals is a critical need for the State of North Carolina and the United States. We are utilizing our expertise in cybersecurity research to prepare undergraduate and Masters computer science students at NC State for cybersecurity jobs. Scholarship for Service (SFS) will provide students from North Carolina and the United States, especially from underrepresented groups, the opportunity to receive a high quality cybersecurity focused degree. SFS students will be part of a larger cohort of cybersecurity students who will participate in supplemental activities, events, and conferences as part of their educational experience.

This project will develop generalizable data-driven tools that addresses the conceptually and practically complex activity of constructing adaptive support for individualized learning in STEM domains.

It has long been recognized that drawing can be a powerful approach to learning. Learning-by-drawing activates a complex set of cognitive processes that requires students to deeply engage with a subject matter. The project centers on the design, development, iterative refinement, and investigation of a sketch-based science learning environment. Specifically, the project will focus on the development and piloting of a sketch-based science learning environment to support students’ conceptual understanding of science with an emphasis on modeling. The project will culminate in a pilot study to investigate the effectiveness of the sketch-based learning environment for improving students’ factual understanding, their inferential understanding, and their ability to engage in science modeling. By utilizing a mixed methods approach integrating quantitative and qualitative work with learning analytics, it is anticipated that the project will yield theoretically-driven, empirically-based advances in sketch-based science learning environments that significantly improve conceptual understanding of science in upper elementary students.

With the rapidly growing recognition of the role that computer science is playing in every aspect of society, enrollments in introductory computer science courses are increasing at an unprecedented pace. As a result of this phenomenal growth, departments of computer science are seeing extraordinary demand for introductory computer science courses. The accelerating growth in enrollments poses significant challenges for introductory programming instructors, who must teach increasingly larger classes while providing effective, engaging learning experiences for students. The overarching objective of this project is to develop an introductory programming teaching support environment, INSIGHT, that will enable instructors to readily understand their students’ progress through introductory computer science coding activities. INSIGHT will fundamentally change classroom dynamics by supporting both students and instructors.

The overarching objective of this project is to investigate how explanation-based classroom response systems can significantly improve student learning in STEM undergraduate education. It has been widely demonstrated that students who engage in self-explanation learn much more effectively than students who do not engage in self-explanation. By explaining concepts and examples as they learn, students trigger the self-explanation effect, which causes them to actively probe their own understanding, to learn much more deeply. However, students in undergraduate STEM courses have limited opportunity to engage in self-explanation. Building on our prior NSF-supported research on natural language processing-based STEM learning environments, we will investigate student learning in undergraduate STEM classrooms with an explanation-based classroom response system. The system will fundamentally change classroom dynamics by supporting both students and instructors. It will support students by instantly providing realtime formative assessment of their explanations. It will support instructors by instantly providing a summary and analysis of students’ explanations in aggregate, which will enable instructors to make immediate adjustments to pedagogy. Together, these benefits will synergistically lead to improved student learning and stronger student engagement in STEM classrooms.

The U.S. Army???s Force Modernization strategy highlights the critical role synthetic training will play in transforming Soldiers to operate as a multiple domain force. A key affordance of synthetic training environments is their capacity to support competency-based experiential learning (CBEL), which prescribes an active approach to learning and expertise development that incorporates adaptive instruction and intelligent tutoring capabilities. Although synthetic training environments show great promise for supporting CBEL, there is a lack of guidance on how synthetic training experiences should be integrated into Army schoolhouse curricula to support competency development and experiential exposure. To maximize the effectiveness of CBEL, synthetic learning experiences need to be dynamically crafted to support individual learning needs and skill development. Simulation-based training scenarios can offer trainees valuable experiences but are resource-intensive to create, and in most cases, schoolhouses have a limited supply of scenarios that they can utilize for a particular course. Competency-based scenario generators offer considerable promise for addressing these challenges by tailoring synthetic training experiences to the needs of individual learners in support of CBEL. Competency-based scenario generators can dynamically shape training experiences, scenario events, unit behaviors and states, and virtual environments in order to support CBEL. Scenario generators can leverage recent advances in machine learning to provide data-driven approaches to support competency-driven training. Recognizing the opportunity introduced by recent advances in machine learning and data-driven scenario generation, the proposed project will investigate how we can devise generalizable, data-driven scenario generation models that dynamically generate training scenarios that achieve target learning objectives to support CBEL in Army schoolhouses. We will design and develop the CompGen competency-based scenario generation framework and demonstrate its data-driven capabilities for supporting CBEL in an institutional training setting.

Stroke is a leading cause of motor disability. A majority of stroke survivors exhibit upper and lower limb motor impairments, ranging from incapability of reaching and grasping objects to limited ambulation. The objective of this project is to develop a personalized, community-based rehabilitation system to improve daily functions of stroke survivors. The system will include three essential components – a nanomaterial-enabled multifunctional wearable sensor network to monitor arm and leg functional activities; a low-power data acquisition, processing, and transmission protocol; and a user interface (i.e., smart phone APP) to communicate training outcomes to the users and clinicians and receive feedback from the users and clinicians. The proposed community-based rehabilitation system will enable personalized, continuous rehabilitation during daily activities.

Recent years have seen a growing recognition of the national STEM workforce shortage. Although problems abound in all STEM disciplines, the shortage is particularly acute in information and communications technology. This is especially true in artificial intelligence (AI), a field of computer science that focuses on the design of computing systems that solve problems involving human-like capabilities including reasoning, learning, and natural language. Engaging middle-grade students, especially those from underserved populations, in artificial intelligence through the creation of lifelike AI for digital games offers a promising approach to encouraging students to pursue innovative computing careers. The AI Play project will engage students in a broad range of computing activities centered on creating AI for games. The project will see the development of a learning environment and curriculum that introduces artificial intelligence into middle school emphasizing connections to the CSTA K-12 Computer Science Standards. The AI Play project will host a series of five-day camps for underserved populations where students will engage in hands-on learning activities under the guidance of teachers and undergraduate computer scientists, who will serve as mentors and role models as the students engage in artificial intelligence, while designing and developing AI for games. The final year of the project will see an evaluation of the AI Play program and its impact on students’ learning and interest in artificial intelligence.

The Institute for Robust Quantum Simulation will focus on using quantum simulation to gain insight into—and thereby exploit—the rich behavior of complex quantum systems. Combining expertise from researchers in computer science, engineering, and physics, our team will address the challenge of robustly simulating classically intractable quantum systems of practical interest, and verifying the correctness of the simulation result.

The aim of this project is to achieve early, rapid, and precise detection of harmful downy mildew on cucurbit plants to enhance crop health and production. This objective will be accomplished by employing quantum sensing-enabled spectroscopy, which utilizes entangled photons and a quantum machine learning receiver. The resulting quantum sensing device will be incorporated into a robotic land rover for testing in North Carolina's cucurbit fields.

This project will create a general-purpose, open-access, and programmable quantum network prototype for the quantum information science and engineering (QISE) community to experiment new quantum technologies and train teachers and students. The key applied methodology is virtualization that permits rapid and flexible experimentation via agile software controls, without resorting to daunting hardware modifications. The research team initiates a research agenda consisting of three thrusts, namely re-designing key quantum components, developing communication protocols, and implementing the prototype in the testbed. A new curriculum based on this prototype will be created and disseminated to train a large body of college students.

Fingerprinting has been a known threat to web privacy for over a decade. Yet, automated detection of fingerprinting methods and scripts has been lacking the properties for protecting web users from such an evolving web threat. Our proposed work aims to provide novel detection methods for browser fingerprinting both at its core, the browser and the evolution of its APIs, and at the page level, via dynamic analysis ofJavaScript. We also propose developing countermeasures that are capable of performing more fine-grained blocking not only at the script level, but also at the API level where an instance of a script/API will be blocked depending on inferring the underlying intent behind executing the script or accessing the API.

With the increasing penetration of behind-the-meter solar and energy storage, it is favored to leverage recent advances in artificial intelligence to enhance the accuracy of net-load forecasting, the observability of net-load variability, and the understanding of the coupling between net-load and demand response potentials. The proposed project will develop two models to address the hybrid probabilistic forecasting when small and large data sets are available. The first model will incorporate a new gradient boosting machine, in which a projection of the distribution into a Riemannian space is considered, whose corresponding natural gradient is expected to give better updates at each iteration than the state of the art. Meanwhile, a data-driven type-2 fuzzy system which generates monotone if-then rules will be developed to preprocess inputs. The second model consists of graph attention networks, transformers, and variational autoencoders. The graph attention networks overcome the theoretical issues with spectral based methods. The transformers ensure each time step to attend over all the time steps in the input sequence, compared with recurrent neural networks. The combination can give better spatiotemporal information. Moreover, those two models will be extended to forecast net-load with the consideration of demand response potentials, as a multi-target forecasting task.

The STARS Computing Corps Alliance for Broadening Participation in Computing (BPC) will serve as national resource for transforming computer science education through 1) building capacity among faculty and students for creating an equitable and inclusive learning climate in their computing departments, 2) building capacity among faculty and students for conducting research and taking action to address BPC challenges, and 3) promoting persistence in computing degree programs, particularly among groups that are underrepresented in computing. A multi-year study provides evidence that shows that the STARS Computing Corps approach is effective for supporting these goals, and indicates the value of a community of practice that engages computing faculty and students at institutions of higher education (IHEs) with a shared commitment to take action to advance diversity, equity, and inclusion in computing. This proposal seeks to further develop STARS as a national resource that builds broader capacity for research and practice, ignites action, and fosters a wider academic community centered on building capacity for inclusive computing education experiences, environments, and practices in higher education.

The Agricultural DECision Intelligence moDEling System for huMan-AI collaboRative acTion Elicitation and impRovement (DECIDE-SMARTER) project will lay the foundations of democratized access to Decision Intelligence (DI) technology for stakeholders across the agriculture value chain, filling a longstanding gap between technology and decision makers. Through a process of participatory design, the project team will work with stakeholders in the sweetpotato value chain to: 1) Create a software asset that helps growers with an otherwise difficult decision; 2) conduct experiments that inform the best software interfaces possible to support complex agricultural decision making (through characterizing, understanding, and leveraging human cognitive abilities; 3) identify potential sources of bias in the DI process that would present barriers to democratized access to the technology; and 4) develop a reference architecture and prototype implementation of a modeling, simulation, and visualization framework for implementing multiple DI models with agriculture stakeholders. The project will leverage the ongoing research, data acquisition, and stakeholder efforts by the Sweetpotato Analytics for Produce Provenance and Scanning (Sweet-APPS) team, a multi-disciplinary endeavor that aims to reduce agricultural waste and maximize yield for North Carolina’s sweet potato growers.

Machine learning (ML) is a powerful computing tool for building models from data, which is becoming a vital skill across STEM disciplines. However, ML is a challenging subject, requiring students to construct complex ML "pipelines," often with little one-on-one support from instructors. The goal of this CAREER proposal is to aid students in learning to design and implement ML pipelines through a data-driven tutoring system. To do so, the project will develop novel techniques for evidence-centered, real-time assessment of students' ML knowledge and novel forms of automated support for ML, including design feedback, and adaptive code examples.

Telephone users are regularly besieged by unsolicited sales and scam calls, cannot verify identities of callers, and enterprises frequently fall prey to expensive compromises of their telephone infrastructure. This proposal will deliver techniques to detect these issues, conduct network-wide systematic measurement, and provide practical defenses for these problems. The vision of this 5-year project is to provide technologies that will restore the telephone network to its former status as a trusted and trustworthy network.

This project aims to address the following question: How to model the combined information of a pan-genome collection succinctly (and in a biologically meaningful way) such that the genomic analysis on that representation is both easy-to-compute and accurate? Pan-genome collections may be represented as high-scoring Multiple Sequence Alignment (MSA) data, indexed text data, or the more popular graph-based representations (pan-genome graphs). These models need to support read mapping queries efficiently. This research will lead to a new class of string/graph algorithms for the analysis of pan-genomic data.

The global cellular telecommunication system is critical infrastructure that has become a ubiquitous platform for Internet connectivity supporting a wide range of use cases for both consumers and industry. We are now on the cusp of widespread adoption of 5G technology. While 5G is widely marketed for its gigabit per second rates and ultra-low latency, it also also fundamentally changes the internal network architecture, providing dynamic provisioning of software-defined services that offer enhanced control to network tenants including virtual operators and enterprises. This new threat model necessitates deep investigation of the many technical components that comprise the cellular system. Whereas several initial studies have formally modeled and evaluated the security of 5G cryptographic protocols, little is known about the security of software and hardware systems that implement them. To this end, the goal of this work is to aid mobile network operators in deploying secure cellular systems through the development of tools and techniques that extract, model, and analyze security-sensitive logic of the source and binary code that exists within cellular system functional entities.

We study the web differently from how users explore it, as browsers are not meant to be monitoring tools. Researchers build either ad-hoc solutions or use high-level information from the browser that is inadequate to identify some of the most advanced web attacks. This research aims at building the fundamental blocks for studying an increasingly complex web by developing a monitoring platform that sheds light into the inner workings of modern browsers and websites. Our research outcomes will allow any researcher, web developer or web user to understand better how the web works.

Cognition is central to any programming task---from understanding and reading source code, selecting programming abstractions and algorithms, and problem-solving and debugging implementations. Despite its vast capacity and associative powers, the human brain limits what programming tasks can be performed without process or tools to support it. In this project, we use brain imaging techniques to study software engineers, by examining them perform programming tasks under various conditions. From these studies, we are able to explain the neural mechanics of cognition in programming and derive more effective mental representations, strategies, and training techniques. Finally, we design more effective tools and processes for understanding and supporting programmer cognition.

Regulatory policies, especially those governing data privacy, must satisfy seemingly contradictory requirements of precision and transparency. Prior research on usable privacy has led to annotating policies with information designed to assist user understanding; meanwhile, the desire for provable guarantees generated efforts on encoding policies in formal logic to answer questions about specific scenarios. The PI proposes to unify these approaches through formalizations amenable to analysis, interactive exploration, and question-answering. This work will enable stakeholders to formulate and answer questions about regulations, protocols, and scenarios, to generate counterexamples and recommendations for policy repair, leading to improved understanding and minimized risk.Impact Tabs/Community

The goal of this work is to investigate the role of self-regulated learning (SRL) in computing education by validating and analyzing fine-grained trace data from students' interactions with programming tools. We will: 1) Conduct instructor interviews and classroom observations to identify SRL strategies related to programming tool use; 2) Instrument the tools to record student behavior, adding a priori design choices that make students' SRL strategies more visible; 3) Conduct laboratory studies and collect think-aloud protocols, then code the data with strategies identified earlier; 4) develop educational data mining techniques to identify SRL behaviors from log data; 5) deploy the SRL detectors in both introductory and more advanced CS classrooms, using the detected behaviors to validate and extend SRL theories in the domain of CS.

Abstract: The goal of this CAREER project is to fill the gap between growing application complexity and performance requirements, and existing application-agnostic network management, to enable and incentivize rigorous performance guarantees for distributed real-time applications at the network edge. The core contribution is the design, analysis, and evaluation of WolfPack, a general edge resource provisioning framework for real-time applications. The PI will focus on three key thrusts: 1) modeling and optimization of edge resource provisioning, 2) stochastic models and robustness techniques to control the risk, and 3) incentive mechanisms to enable truthful and competitive network edge resource trading.

Recent advances in artificial intelligence have raised concerns of ethics in regards to intelligent, adaptive agents. This project begins from a model of a sociotechnical system (STS) comprising autonomous social entities (people and organizations -- principals) and technical entities (agents, who help principals). Its objective is to uncover principles of multiagent systems that enable developing sociotechnical systems that incorporate ethical concerns adaptively and from multiple perspectives, and with high confidence. This project will develop a formal computational representation of an STS in terms of social controls over its principals and technical controls over its agents.

This collaborative project between NCSU and ETS is focused on developing new noninvasive process-based measurements for students engagement with writing tasks, including analyses of their writing quality, working habits, and responses to feedback. As part of this project we will develop a secure instrumented platform for online writing tasks that will provide analytical tools for instructors and researchers to monitor and evaluate student's work.

Aquaculture, the rearing and harvesting of organisms in water environments, is a rapidly expanding industry that now produces more seafood than all wild caught fisheries worldwide. This inevitable growth must be steered towards sustainable production practices, which requires intensive monitoring in areas that are difficult and potentially dangerous to access. The vision of this project is to improve the efficiency and sustainability of near-shore aquaculture production through integrating a flexible, customizable, multi-task vehicle fleet, consisting primarily of unmanned aerial vehicles (UAVs) and unmanned surface vehicles (USVs), with a biologically-relevant framework for accelerated prototyping. This project will use oyster production along the Eastern US shoreline as a case study and testbed.

We propose to develop infrastructure to enhance and scale CSEd research by leveraging the power of data-driven AI and ML. To do so, we need to overcome 3 challenges: data (there is not enough quantity and quality of data), analytics (developing and sharing data mining and AI methods for CSEd is highly siloed and disconnected) and evaluation (AI-based interventions and tools are not easily deployed and replicated). To address these challenges, we will develop a large collection of resources including datasets, analytical approaches, reusable smart learning content, and tools and user services that enables the community to reuse the resources and contribute to the collection.

Memory safety is essential. Despite decades of research, unauthorized memory reads and writes are still among the most common security attacks. The emerging persistent memory (PM) amplifies the importance of strong memory protections. As a promising supplement or substitute of DRAM as main memory, PM offers higher density, better scaling potential, lower idle power, and non-volatility, while retaining byte addressability and random accessibility. Data in a PMO is long lived; its existence and structure are preserved across process runs. The longevity, plus direct byte-addressability, makes it more vulnerable as attacks to a PMO could span across executions. This proposal aims to improve the understanding of the problem and provide innovative solutions to strengthen memory security for future NVM-based systems.

Wireless devices are inherently faculty which can result in multifaceted data errors in computing, caching, and communications (C3). These errors have been widely deemed harmful, but recent studies have shown that they can be benign or even beneficial. The research objective of this project is to proactively harvest, render, and control data errors across C3 of wireless devices for significant performance gains in energy efficiency, throughput, data privacy, etc. Moreover, the research efforts will be coupled with educational innovations through the development of new laboratories, lecture contents, outreach demos and a novel undergraduate/graduate co-learning pedagogy.

This proposal will generate novel abstractions for computing that extend serverless functions to better leverage unique hardware characteristics, and for memory to allow more automated leveraging of workload characteristics such as locality and compute intensity. Further, this work expands currently limited secure enclaves to include parallel, heterogeneous hardware needed to support a wide range of applications, and enhances serverless databases to leverage heterogeneous compute resources.

Continuous Integration (CI) has become an essential component of the modern software development cycle. Developers engineer CI scripts, commonly called workflows or pipelines, to automate most software maintenance tasks, such as testing and deployment. Security issues in workflows can have devastating effects resulting in supply-chain attacks. We propose to handle these research challenges by (1) defining a threat model and deriving security properties from first principles; (2) developing a framework based on our Workflow Intermediate Representation (WIR) that enables us to verify and define security properties in a platform-agnostic way.

Modern distributed systems and Internet services require authentication between their components to protect their services from unauthorized access and ensure appropriate billing. In practice, this authentication is performed by presenting a static secret, such as an “API key” or password. These are difficult for developers to manage and deploy securely, and credentials are accidentally or intentionally stored in widely readable software repositories. This threatens not just the security of the leaker, but also the authenticating service. The ultimate root cause of this issue is the adaptation of user authentication methods (e.g., passwords) to software in ways that are inappropriate and ultimately unsafe. This proposal will fund research to more reliably and consistently identify these leaked software credentials, triage them according to the risk they present, conduct developer interventions to train them to properly manage this risk, and finally develop more secure yet manageable alternative solutions to software authentication.

Knowledge graphs have emerged in many domains of science and technology as a powerful means of integrating, structuring, and mining information to extract new knowledge. Recognizing the importance of this paradigm, the Proto-OKN project will create FRINK: Fabric Integrating Networked Knowledge. FRINK will create capabilities that allow for the uniform deployment, integration, and harmonization of knowledge graphs created under the Proto-OKN program into a unified Open Knowledge Network for query and analysis. FRINK will be organized around three objectives, detailing three types of fabric that will bind together the initially disparate graphs developed by Theme 1 teams.

Recent years have seen a surge in popularity in smart home IoT products, and with the ongoing pandemic, people are spending more time interacting with such devices. However, it is unclear whether and how these IoT devices affect the security, privacy, and performance of the home network as well as the access network. In this proposal, we focus on developing privacy-preserving IoT analytics to help network providers allocate network resources accordingly and, at the same time, help consumers identify potential anomalous behavior.

This project aims to develop an integrated lightweight and energy-efficient prosthetic care robot framework. It will enable proactive and user-specific prosthetic control to improve walking function in a variety of walking conditions found ubiquitously in daily living.

Digital twin is emerging as a revolutionary approach to testing and assurance for next-generation (nextG) wireless networks enabling continuous prototyping, optimization, and validation. The primary goal is to lay the foundations of digital network twin (DNT) by exploring innovative technologies to map and optimize nextG wireless networks in twins, thereby facilitating development, testing, and formal evaluation exercises of nextG wireless networks. The research agenda comprises two thrusts. Thrust 1 is focused on novel approaches of building the twin environment to replicate the physical network world. Thrust 2 shall build and optimize the network twins over actual network environments associated with communication, computing, and networking resources. The fundamental research of Thrusts 1 and 2 is then implemented in a developed DNT platform used to demonstrate the behavior and performance of designed twining and optimization approaches.

Software testing is a critical skill for computer science graduates entering technical positions. Software tests, and in particular unit tests, have several uses in education. The purpose of this proposal is to create pedagogy and tools around writing unit tests for CS3 and Software Engineering (SE) courses. Building on our preliminary work, we develop and evaluate the impact of a lightweight intervention with explicit testing strategies on the test quality of student-written tests. Then, we investigate the impact of the process of writing tests on student outcomes.

This project will support implementation and study of the Beauty and Joy of Computing (BJC) curriculum. We aim to increase implementation of BJC in New England states and beyond particularly in high-need districts. We will study the effects of BJC implementation on the participation of girls, Black, Latinx and low-income students.

GPUs have become common in today’s computing systems. However, it is challenging to efficiently map software applications to GPU architectures. Performance inefficiencies can hide deep in heterogeneous code bases, impeding applications from obtaining bare-metal performance. In this project, we will develop DrGPU to systematically study the performance inefficiencies in heterogeneous CPU-GPU systems with novel measurement, analysis, and optimization techniques.

The expansion of K-12 Computing Education Research (CER) is quickly following the expansion of computing education in primary and secondary schools, yet much remains to be learned about the effectiveness of the implementation and the quality of evidence produced by research. While the integration of computing education into K-12 in the United States is still in its infancy, so is the research necessary for identifying promising practices for educational outcomes across a variety of populations, including those historically underserved and marginalized by education. The proposal seeks to 1) summarize and frame prior equitable K-12 CS education research against the areas of capacity, access, participation, and experience as defined by the CAPE framework; 2) develop publicly-available recommendations and resources along the CAPE framework for expanding coverage of equitable K-12 computing education research; and 3) design and pilot workshops to train K-12 education research in methods and practice to support robust evidence-based research results that can inform practice.

Our objective is to enable stateful applications on the serverless architecture. A stateful application is characterized by a function-chain. The need for maintaining the state arises because the platform that is executing the function-chain must take the output from any given function in the chain, hold it until the next function in the chain starts execution, and provide it to that function when the execution starts. Thus, towards achieving the objective of enabling stateful applications on the serverless architecture, we envision two major tasks that we plan to undertake. First, we will extend our existing serverless platform to support function-chains in addition to standalone stateless functions.Second, we will demonstrate the feasibility of the framework resulting from the first task by executing selected existing stateful applications on this framework.

NSF Computer and Information Science and Engineering Graduate Fellowship Award (CSGrad4US) for incoming CSC PhD student Jordan Esiason.

The DoD is making available scholarships for N.C. State students specializing in cybersecurity. Students (junior and senior) must be US citizens and majoring in any engineering field at the bachelor, master's, and PhD level with a specialization in cybersecurity. In addition to full tuition, this scholarship can last up to five years and provide a generous stipend, tuition, health insurance, and an allowance for other professional expenses. In return, the student agrees to work after graduation with a federal, executive-branch government agency for an equal period of time. The program includes mentoring, professional opportunities while in school, and assistance finding internships and post-graduation full-time employment in government.

Runtime Verification (RV) monitors programs against formal specifications and reports violations when executions do not satisfy those specifications. RV can find bugs that tests miss, but it is not yet widely adopted. We address two hindrances to broad RV adoption: (1) writing specifications requires learning domain specific languages, and (2) many programming languages have no mature RV tool. We propose infrastructure for writing specifications in popular user-friendly formats, and for reusing existing RV tooling for Java to monitor programs written in other languages. We will evaluate the improved usability of the proposed infrastructure via case studies and user studies.

Emerging CPS applications increasingly require significant computational power to benefit from machine learning. From lower-end multi-core systems (4-core A72) to embedded GPUs (NVIDIA Drive DGX), highly parallel compute platforms dominate the application space. However, real-time requirements poorly map to such platforms and impose high coding complexity. The objective of this work is to alleviate programmers by extending the OpenMP to real-time tasks and data parallelism. Instead of deploying a real-time operating system with limited compatibility, we propose novel OpenMP extensions, define their semantics and provide an implementation on Linux mapping to privileged priorities under static and dynamic real-time scheduling policies.

This study abroad project has been created in collaboration with NC State's Women and Minority Engineering Program (WMEP). The goal is to increase the number of students from underrepresented groups who participate in study abroad programs with a STEM focus. At NCSU, there are only two faculty-led programs that are open to Engineering students and they are both to Western Europe. This program will expand not just the types of students who travel abroad but will also diversify the location as well as the variety of engineering problems to be studied, better preparing students for a global workforce.

Regulatory policies, especially those governing data privacy, must satisfy seemingly contradictory requirements of precision and transparency. Prior research on usable privacy has led to annotating policies with information designed to assist user understanding; meanwhile, the desire for provable guarantees generated efforts on encoding policies in formal logic to answer questions about specific scenarios. The PI proposes to unify these approaches through formalizations amenable to analysis, interactive exploration, and question-answering. This work will enable stakeholders to formulate and answer questions about regulations, protocols, and scenarios, to generate counterexamples and recommendations for policy repair, leading to improved understanding and minimized risk.Impact Tabs/Community