Computer Sciences Commons^™

An Argument Against Gradual Type Systems In Programming Language Semantics, Natalie Lau

LMU Theses and Dissertations

In 2006, Jeremy Siek and Walid Taha formalized the concept of gradual type systems, which integrates static and dynamic typing in a single programming language. This allows the programmer to statically or dynamically type portions of their code at will, which offers more flexibility than languages that require all code to be statically typed. Despite the added convenience, gradual typing comes with its own set of tradeoffs, and researchers have been debating whether the drawbacks of integrating static and dynamic types outweigh its benefits. This thesis builds off of previous research to investigate the advantages and disadvantages of using a …

From Data To Decisions: Safeguarding Athletes In The Age Of Ai, Nathan Elmer

SLU Law Journal Online

Artificial intelligence (AI) and data analytics are transforming professional sports by enhancing player performance, injury prevention, and scouting. However, the rapid adoption of AI raises significant concerns about data privacy, ownership, and decision-making biases that affect athletes. While collective bargaining agreements in major sports leagues provide some protections, they fail to address the complexities of AI-driven data collection and processing. The United States should adopt a regulatory framework similar to the European Union’s General Data Protection Regulation (GDPR) to safeguard athletes’ personal data. Implementing explicit consent requirements, addressing power imbalances, and ensuring transparency in AI decision-making would protect athletes while …

Relationship Between Academic Influence And Institutional Cooperation In Specific Fields：Evidence From The Computer Science Domain, Yukai Yang, Yi Zhao, Chengzhi Zhang

Journal of Scientific Information Research

[Purpose/ significance]In scientific collaboration, institutions are the primary driving units of scientific research. Compared to intra-institutional collaboration, inter-institutional collaboration often has the potential to produce high-impact papers. Therefore, studying fine-grained collaboration at the institutional level holds significant importance.[Method/process]To explore the relationship between different types of institutional cooperation and academic influence, this paper classifies institutions and defines various types of cooperation. Using network analysis methods, it investigates the relationship between network indicators of different types of institutional cooperation and academic influence. [Result/conclusion]Taking the computer science domain as an example, the analysis of the relationship between network indicators of different types of …

Towards Connecting Requirements With Developer Artifacts In A Local Context: Supplemental Material, Sonora Halili, Karenna Kung, Paola Spoletini, Alicia M. Grubb

Computer Science: Faculty Publications

Supplemental material for the paper: "Towards Connecting Requirements with Developer Artifacts in a Local Context"

Development And Evaluation Of The Da Vinci Ai Tutor: Enhancing Accessibility And Personalized Learning In Art History Education, James Hutson, Tiffani Barner

Faculty Scholarship

This study examines the implementation of the Da Vinci AI Tutor, an innovative artificial intelligence (AI)-based tutoring platform designed specifically for enhancing personalized and accessible learning in art history within higher education. Launched in Fall 2024 at a private liberal arts institution in the Midwest, the system integrates a conversational AI avatar modeled after Leonardo da Vinci, incorporating immersive virtual reality environments and multimodal interaction capabilities to engage students across undergraduate survey courses, advanced Renaissance classes, and graduate comprehensive exam preparations. Addressing significant gaps in existing humanities education research, the current study explores two primary research questions: (i) How AI-driven …

Towards Testing, Detecting, And Debloating Insecure Components In Android Applications, Zicheng Zhang

Dissertations and Theses Collection (Open Access)

The Android ecosystem’s openness and extensibility have fueled its dominance in the mobile market, but they also broaden the attack surface of applications by introducing insecure or redundant methods. Vulnerabilities arise from various sources, including insecure API usage, code cloning, and feature bloat, especially from unneeded components introduced during development. To address these challenges, this dissertation presents a systematic, three-phase pipeline that transitions seamlessly from vulnerability discovery to clone-based detection and, ultimately, to dynamic mitigation through runtime debloating. Each phase builds upon the insights and limitations of the previous, collectively forming a practical approach to improving Android app security.

In …

A Data-Driven Recommendation System For Selecting The Appropriate Mode Of Learning And Instructional Tools Based On Course Characteristics, Ayisha Manzoor

Theses

The rapid transformation of educational delivery methods during the COVID-19 pandemic required institutions to transition between online, hybrid, and offline learning approaches, creating both challenges and opportunities for educators and students. While online and hybrid learning modes ensured continuity, their effectiveness across different course types remained uncertain. This thesis addresses this gap by developing a datadriven recommendation framework that predicts Course Learning Outcome (CLO) achievement scores using regression, and recommends the most appropriate learning mode (online, hybrid, or offline) along with instructional tools based on course characteristics. This study analyzed 100 undergraduate and postgraduate courses from the College of Information …

Ivyapc: Auditable Generalized Payment Channels, Ming Li, Yuxian Li, Jian Weng, Yingjiu Li, Jiasi Weng, Junzuo Lai, Robert H. Deng

Research Collection School Of Computing and Information Systems

Payment channels are a cornerstone of a scalable blockchain infrastructure that enables transacting parties to lock assets on the blockchain and perform rapid off-chain updates with minimal latency and overhead. These protocols dramatically reduce on-chain interaction and improve throughput, with blockchain consensus only invoked in the event of disputes or final closure. While widely adopted in single-chain settings—such as in the Lightning Network for Bitcoin—existing constructions have several limitations, in particular they suffer from at least one of the following limitations: 1. No cross-chain. They do not enable fast trading of assets that reside on multiple isolated blockchains. 2. Non-optimal …

How Developers Interact With Ai: A Taxonomy Of Human-Ai Collaboration In Software Engineering, Christoph Treude, Marco A. Gerosa

Research Collection School Of Computing and Information Systems

Artificial intelligence (AI), including large language models and generative AI, is emerging as a significant force in software development, offering developers powerful tools that span the entire development lifecycle. Although software engineering research has extensively studied AI tools in software development, the specific types of interactions between developers and these AI-powered tools have only recently begun to receive attention. Understanding and improving these interactions has the potential to enhance productivity, trust, and efficiency in AI-driven workflows. In this paper, we propose a taxonomy of interaction types between developers and AI tools, identifying eleven distinct interaction types, such as auto-complete code …

Graph-Assisted Offline-Online Deep Reinforcement Learning For Dynamic Workflow Scheduling, Yifan Yang, Gang Chen, Hui Ma, Cong Zhang, Zhiguang Cao, Mengjie Zhang

Research Collection School Of Computing and Information Systems

Dynamic workflow scheduling (DWS) in cloud computing presents substantial challenges due to heterogeneous machine configurations, unpredictable workflow arrivals/patterns, and constantly evolving environments. However, existing research often assumes homogeneous setups and static conditions, limiting flexibility and adaptability in real-world scenarios. In this paper, we propose a novel Graph assisted Offline-Online Deep Reinforcement Learning (GOODRL) approach to building an effective and efficient scheduling agent for DWS. Our approach features three key innovations: (1) a task-specific graph representation and a Graph Attention Actor Network that enable the agent to dynamically assign focused tasks to heterogeneous machines while explicitly considering the future impact of …

Neural Multi-Objective Combinatorial Optimization Via Graph-Image Multimodal Fusion, Jinbiao Chen, Jiahai Wang, Zhiguang Cao, Yaoxin Wu

Research Collection School Of Computing and Information Systems

Existing neural multi-objective combinatorial optimization (MOCO) methods still exhibit an optimality gap since they fail to fully exploit the intrinsic features of problem instances. A significant factor contributing to this shortfall is their reliance solely on graph-modal information. To overcome this, we propose a novel graph-image multimodal fusion (GIMF) framework that enhances neural MOCO methods by integrating graph and image information of the problem instances. Our GIMF framework comprises three key components: (1) a constructed coordinate image to better represent the spatial structure of the problem instance, (2) a problem-size adaptive resolution strategy during the image construction process to improve …

Rethinking Neural Multi-Objective Combinatorial Optimization Via Neat Weight Embedding, Jinbiao Chen, Zhiguang Cao, Jiahai Wang, Yaoxin Wu, Hanzhang Qin, Zizhen Zhang, Yue-Jiao Gong

Research Collection School Of Computing and Information Systems

Recent decomposition-based neural multi-objective combinatorial optimization (MOCO) methods struggle to achieve desirable performance. Even equipped with complex learning techniques, they often suffer from significant optimality gaps in weight-specific subproblems. To address this challenge, we propose a neat weight embedding method to learn weight-specific representations, which captures weight-instance interaction for the subproblems and was overlooked by most current methods. We demonstrate the potentials of our method in two instantiations. First, we introduce a succinct addition model to learn weight-specific node embeddings, which surpassed most existing neural methods. Second, we design an enhanced conditional attention model to simultaneously learn the weight embedding …

Nash Bargaining Strategy In Autonomous Decision Making For Multi-Ship Collision Avoidance Based On Route Exchange, Yang Wang, Qiangsheng Ye, Hoong Chuin Lau, Tengfei Wang, Bing Wu

Research Collection School Of Computing and Information Systems

A novel scheme is proposed for the distributed multi-ship collision avoidance (CA) problem with consideration of the autonomous, dynamic nature of the real circumstance. All the ships in the envisioned scenarios can share their decisions or intentions through route exchange, allowing them to make subsequent decisions based on the route planning in each iteration. By leveraging route exchange, the multi-ship CA problem involves iterations for negotiation, and is regarded as a staged cooperative game under conditions of complete information. The concept of closest spatio-temporal distance (CSTD) is introduced to more accurately assess collision risk between ships. A coordinated CA mechanism …

Enhancing Llm-Based Coding Tools Through Native Integration Of Ide-Derived Static Context, Yichen Li, Yun Peng, Yintong Huo, R. Michael Lyu

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) have achieved remarkable success in code completion, as evidenced by their essential roles in developing code assistant services such as Copilot. Being trained on in-file contexts, current LLMs are quite effective in completing code for single source files. However, it is challenging for them to conduct repository-level code completion for large software projects that require cross-file information. Existing research on LLM-based repository-level code completion identifies and integrates cross-file contexts, but it suffers from low accuracy and limited context length of LLMs. In this paper, we argue that Integrated Development Environments (IDEs) can provide direct, accurate and …

Agentstudio: A Toolkit For Building General Virtual Agents, Longtao Zheng, Zhiyuan Huang, Zhenghai Xue, Xinrun Wang, Bo An, Shuicheng Yan

Research Collection School Of Computing and Information Systems

General virtual agents need to handle multimodal observations, master complex action spaces, and self-improve in dynamic, open-domain environments. However, existing environments are often domain-specific and require complex setups, which limits agent development and evaluation in real-world settings. As a result, current evaluations lack in-depth analyses that decompose fundamental agent capabilities. We introduce AgentStudio, a trinity of environments, tools, and benchmarks to address these issues. AgentStudio provides a lightweight, interactive environment with highly generic observation and action spaces, e.g., video observations and GUI/API actions. It integrates tools for creating online benchmark tasks, annotating GUI elements, and labeling actions in videos. Based …

On Minimizing Adversarial Counterfactual Error In Adversarial Reinforcement Learning, Roman Belaire, Arunesh Sinha, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

Deep Reinforcement Learning (DRL) policies are highly susceptible to adversarial noise in observations, which poses significant risks in safety-critical scenarios. The challenge inherent to adversarial perturbations is that by altering the information observed by the agent, the state becomes only partially observable. Existing approaches address this by either enforcing consistent actions across nearby states or maximizing the worst-case value within adversarially perturbed observations. However, the former suffers from performance degradation when attacks succeed, while the latter tends to be overly conservative, leading to suboptimal performance in benign settings. We hypothesize that these limitations stem from their failing to account for …

Semantic Loss-Guided Data-Efficient Supervised Fine-Tuning For Safe Responses In Llms, Yuxiao Lu, Pradeep Varakantham, Pradeep Varakantham

Research Collection School Of Computing and Information Systems

Large Language Models (LLMs) generating unsafe responses to toxic prompts is a significant issue in their applications. While various efforts aim to address this safety concern, previous approaches often demand substantial human data collection or rely on the less dependable option of using another LLM to generate corrective data. In this paper, we aim to take this problem and overcome limitations of requiring significant high-quality human data. Our method requires only a small set of unsafe responses to toxic prompts, easily obtained from the unsafe LLM itself. By employing a semantic cost combined with a negative Earth Mover Distance (EMD) …

Bigcodebench: Benchmarking Code Generation With Diverse Function Calls And Complex Instructions, T.Y. Zhuo, M.C. Vu, J. Chim, ..., David Lo

Research Collection School Of Computing and Information Systems

Task automation has been greatly empowered by the recent advances in Large Language Models (LLMs) via Python code, where the tasks ranging from software engineering development to general-purpose reasoning. While current benchmarks have shown that LLMs can solve tasks using programs like human developers, the majority of their evaluations are limited to short and self-contained algorithmic tasks or standalone function calls. Solving challenging and practical tasks requires the capability of utilizing diverse function calls as tools to efficiently implement functionalities like data analysis and web development. In addition, using multiple tools to solve a task needs compositional reasoning by accurately …

Overcoming Motor Imagery Bci Illiteracy: Adaptive Decoding And Knowledge Transfer In Eeg-Based Brain-Computer Interfaces, Zaid Shuqfa

Dissertations

Brain–computer interfaces (BCIs), also known as brain–machine interfaces (BMIs), enable direct communication between the brain and external devices without the involvement of peripheral nerves or muscles. Among various BCI paradigms, motor imagery (MI)–based BCIs are particularly appealing due to their intuitive, cue-independent nature, allowing users to issue control commands at will. MI–BCIs hold substantial promise for improving the quality of life of individuals with motor impairments, as well as enhancing hands-free control for healthy users. However, their widespread adoption remains limited by challenges such as low signal-to-noise ratio, inter- and intra-subject variability, and the need for frequent calibration. These challenges …

Collaborative Network Traffic Management Strategies Using Distributed Reinforcement Learning And Large Language Models, Saeed Rashed Alkuwaiti

Theses

The focus of this research is to explore collaborative network traffic management strategies using the Distributed Reinforcement Learning (DRL) and Large Language Models (LLMs) approaches. It emphasizes exploring a new tool for addressing network traffic by utilizing Distributed Reinforcement Learning (DRL) and Large Language Models (LLMs). This is achieved by utilizing self-organizing and self-directing techniques to optimize the network performance. Using the NF-TON-IOT dataset, various classifiers such as Random Forest, AdaBoost, C4. 5, Multi-Layer Perceptron (MLP), and SVM with an RBF kernel were tested for traffic classification and intrusion detection. Research recommends that DRL optimizes the complexity of the network …

Analytical Dispatch Strategies For Pumped Storage Hydro: A Conditional Dynamic Programming Approach To Discontinuous Multi-Period Optimization Problems, Jian Liu, Jianwen Zhang, Zaiwu Gong, Donald C. Wunsch, Rui Bo

Electrical and Computer Engineering Faculty Research & Creative Works

The increasing integration of renewable energy sources like wind and solar poses significant challenges to secure and stable grid operation. Energy storage systems, particularly pumped storage hydro (PSH), play a crucial role in balancing power supply and demand. Traditional analytical studies of PSH economic dispatch problems often assume zero lower bounds for generating and pumping rates to simplify analysis and derive analytical solutions for multi-period optimization problems. However, the inherent mechanical design constraints of PSH require non-zero minimum flow rates for efficient operation. We analyze two scenarios, merchants having PSH only and merchants having both PSH and wind farms. In …

Exploring Transfer Learning For Deep Learning Polyp Detection In Colonoscopy Images Using Yolov8, Fabian Vazquez Jr., Jose Angel Nuñez, Xiaoyan Fu, Pengfei Gu, Bin Fu

Computer Science Faculty Publications

Deep learning methods have demonstrated strong performance in object detection tasks; however, their ability to learn domain-specific applications with limited training data remains a significant challenge. Transfer learning techniques address this issue by leveraging knowledge from pre-training on related datasets, enabling faster and more efficient learning for new tasks. Finding the right dataset for pre-training can play a critical role in determining the success of transfer learning and overall model performance. In this paper, we investigate the impact of pre-training a YOLOv8n model on seven distinct datasets, evaluating their effectiveness when transferred to the task of polyp detection. We compare …

Resilient Learning For Anomaly Detection In Smart Living Systems, Sahar Abedzadeh

Dissertations

Cyber-Physical Systems (CPS) rely on anomaly-based detection methods to ensure the integrity and security of critical infrastructures such as smart grids, smart water metering systems, and advanced metering infrastructures (AMI). Anomaly detection methods are commonly used to identify deviations from normal system behavior by establishing learned profiles and thresholdbased distinctions between benign and anomalous events. However, conventional frameworks often fail to account for adversarial data poisoning attacks, unlabeled unsafe events, and environmental noise—factors that distort training data, degrade detection accuracy, and increase false alarms. This dissertation proposes a resilient learning framework that mitigates these biases by integrating quantile regression, M-estimation …

Weapons Of Mass Disruption: How Small States Use Cyber To Resist Larger Powers, Russell Alexander Korb

Graduate Program in International Studies Theses & Dissertations

This paper examines the ways in which small states can engage larger actors using cyber- attacks. Since the end of both World Wars, small states have increased in both numbers and relevance, with strong international institutions and norms against military aggression allowing small states to gain legitimacy by the very act of participating in the international system. However, although small states can now do more than simply choose a larger, stronger benefactor to ward off their enemies, they still cannot defy larger powers outright due to the still- dramatic difference in capabilities between them. Those small states interested in confronting …

Testing Autonomy: Hybrid Scenario Synthesis, Benjamin E. Hargis

Electrical & Computer Engineering Theses & Dissertations

Hybrid Scenario Synthesis merges static and adaptive techniques to generate interactions that rigorously assess autonomous performance under multi-factor testing. Multifactor scenarios employ multiple individual stimuli to rigorously test system responses in complex settings. Static Scenario Testing involves scripted test cases that simulate specific conditions or events. These scenarios represent typical situations an autonomous system might encounter. The benefits of static testing include early defect detection, focused review by trained experts, and efficiency. In multi-factor scenarios, however, statically defined scenario factors are not able to guarantee meaningful interactions as the presence of other factors may invalidate underlying assumptions regarding the system …

From Image Enhancement To Model Protection Integrating Generative Ai And Secure Learning In Computer Vision, Mohammad Shahab Uddin

Electrical & Computer Engineering Theses & Dissertations

This dissertation aims to address critical challenges in the field of computer vision and machine learning, focusing on three key areas: image translation, denoising, and model security. The research encompasses novel methodologies and models that significantly advance existing techniques. This dissertation will not only provide valuable contributions to the academic community but also hold significant potential for practical applications in domains ranging from surveillance to autonomous systems.

Consequently, this dissertation proposes three goals. First, we present new approaches for converting optical videos to infrared videos using deep learning. To apply powerful deep learning based algorithms for object detection and classification …

Stability Analysis In The Twist-Bend Nematic Liquid Crystal Model, Zhenqiang Li

Mathematics & Statistics Theses & Dissertations

The recently discovered twist-bend nematic liquid crystal (LC) phase is characterized by a nanoscale helical modulation of the nematic director n, forming a conical helix along the z-axis at an oblique angle θ. While many models assume a constant cone angle and equal elastic constants K11 = K22 = K33, this dissertation removes both assumptions by considering a fully anisotropic elastic energy with K11 ≠ K22 ≠ K33, and allowing θ to vary spatially. We analyze the stability of this system under frustrated and free boundary conditions using variational methods. …

Enhancing Iot Security Using Lightweight Machine Learning Algorithms: A Comprehensive Approach Using Ensemble Learning, Feature Selection, And Federated Transfer Learning, Khawlah Harahsheh

Electrical & Computer Engineering Theses & Dissertations

The rapid expansion of the Internet of Things (IoT) has introduced significant security vulnerabilities due to the resource-constrained nature of IoT devices and their exposure to cyber threats. Traditional security solutions are often infeasible due to the high computational and storage demands they impose. This dissertation presents a lightweight, AI-driven security framework that enhances IoT network resilience by integrating feature selection, ensemble learning, and federated transfer learning while maintaining data privacy and minimizing computational overhead.

The proposed framework consists of three primary components: Feature Selection for Intrusion Detection, which optimizes performance by reducing redundant data and improving detection accuracy with …

Integrating Computational Thinking Into K–12 Classroom Instruction, Jorge Valenzuela

STEMPS Theses & Dissertations

In 2016, legislation mandated the integration of computer science (CS) and computational thinking (CT) skills across K–12 instruction in the Commonwealth of Virginia. CT integration is also a focus in many schools throughout the United States. Educators must understand CT/CS core concepts and practices, looking for practical ways to integrate CT across the K–12 curricula. To address this, the current study was conducted. The study compares the effects of the Jigsaw technique and teacher-directed instruction on the participants by surveying their self-efficacy for integrating CT in their teaching. This study uses a pre- and post-test design, and data collection took …

“Synchronized Parenting Is Like Mixing Oil And Water”: Reimagining Parental Control For Co-Parenting In The Divorced Households, Prakriti Dumaru, Audrey Flood, Mahdi Nasrullah Al-Ameen

Computer Science Student Research

Children from divorced households are granted access to devices (e.g., smartphones, tablets), helping them to maintain meaningful contact with both parents. However, regulating their device usage across two households presents unique co-parenting challenges, which are little studied in the existing literature on parental mediation. As we begin to address this gap, we used low-fidelity prototype designs, guided by the principles of fostering open communication and instilling self-regulation. We evaluated those designs (presented in the form of storyboards) through semi-structured interviews with 23 divorced parents, whose children are active Internet users and aged 13 years or below. Based on our analysis, …