Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Singapore Management University (4416)
- TÜBİTAK (1233)
- Purdue University (1089)
- Old Dominion University (945)
- Missouri University of Science and Technology (916)
-
- University of Nebraska - Lincoln (870)
- Air Force Institute of Technology (846)
- Wright State University (817)
- San Jose State University (616)
- Dartmouth College (581)
- Edith Cowan University (567)
- Brigham Young University (506)
- California Polytechnic State University, San Luis Obispo (448)
- City University of New York (CUNY) (444)
- University of Texas at El Paso (387)
- Technological University Dublin (367)
- Portland State University (354)
- New Jersey Institute of Technology (342)
- University of Central Florida (333)
- Washington University in St. Louis (313)
- Embry-Riddle Aeronautical University (311)
- China Simulation Federation (308)
- Nova Southeastern University (295)
- Kennesaw State University (280)
- University of Arkansas, Fayetteville (266)
- Utah State University (259)
- University of South Florida (252)
- University of Texas at Arlington (252)
- Zayed University (252)
- Syracuse University (245)
- Keyword
-
- Machine learning (1031)
- Deep learning (593)
- Artificial intelligence (509)
- Machine Learning (499)
- Security (364)
-
- Computer Science (342)
- Deep Learning (293)
- Artificial Intelligence (262)
- Classification (261)
- Cybersecurity (243)
- Computer vision (229)
- Department of Computer Science and Engineering (211)
- Privacy (211)
- Neural networks (205)
- Algorithms (203)
- Data mining (193)
- Natural language processing (186)
- Computer science (181)
- Applied sciences (171)
- College for Professional Studies (165)
- Software engineering (163)
- School of Computer & Information Science (150)
- Simulation (146)
- AI (142)
- Optimization (138)
- Blockchain (133)
- Image processing (133)
- Natural Language Processing (133)
- Clustering (128)
- Education (123)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (4213)
- Theses and Dissertations (1686)
- Turkish Journal of Electrical Engineering and Computer Sciences (1233)
- Department of Computer Science Technical Reports (906)
- Master's Projects (565)
-
- Computer Science Faculty Publications (435)
- Computer Science Technical Reports (404)
- Computer Science Faculty Research & Creative Works (385)
- Electronic Theses and Dissertations (385)
- Dissertations (362)
- The R Journal (353)
- Faculty Publications (351)
- Journal of System Simulation (308)
- CCAC Theses and Dissertations (277)
- Browse all Theses and Dissertations (262)
- Theses (253)
- All Works (252)
- USF Tampa Graduate Theses and Dissertations (230)
- Computer Science Faculty Publications and Presentations (229)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (217)
- Masters Theses (215)
- Computer Science & Engineering Syllabi (214)
- Departmental Technical Reports (CS) (212)
- Walden Dissertations and Doctoral Studies (210)
- Master's Theses (209)
- All Computer Science and Engineering Research (205)
- Kno.e.sis Publications (196)
- Computer Science and Software Engineering (180)
- Open Access Theses & Dissertations (171)
- Regis University Student Publications (comprehensive collection) (166)
- Publication Type
Articles 421 - 450 of 27610
Full-Text Articles in Entire DC Network
Solid Embedded Telemetry, Pranav Balasubramanian Natarajan
Solid Embedded Telemetry, Pranav Balasubramanian Natarajan
Graduate Theses and Dissertations
This thesis explores the integration of the Solid decentralized data framework within embedded and legacy energy control systems to enable secure, access-controlled, and interoperable data exchange. Two implementations were developed to evaluate Solid’s practical applicability: an ESP32 client implementing Solid-OIDC authentication and telemetry publication to a Solid Pod, and a Modbus-to-Solid bridge translating Modbus RTU communications into RDF-based data for bidirectional control. Experimental evaluation highlighted the effects of task scheduling and blocking operations on the ESP32, and polling-based communication latency within the Modbus bridge. These findings reveal the architectural and computational trade-offs involved in extending Solid to constrained or protocol-bound …
Uncertainty In Neural Networks: An Interval Approach, Yahriel Isaac Guel
Uncertainty In Neural Networks: An Interval Approach, Yahriel Isaac Guel
Open Access Theses & Dissertations
Neural networks produce predictions but not reliable measures of how much to trust them. A clinician handed an output such as "97% chance malignant" has no way to tell whether that 97% reflects the model's actual reliability on inputs like this one, or whether the same number would have appeared on an image the model has no business classifying. The standard approaches to uncertainty quantification - Bayesian neural networks, deep ensembles, and Monte Carlo dropout - are useful. However, sometimes the uncertainty we need to handle only comes as lower and upper bounds. This raises a natural question: what if …
Improving Online Political Discussion With Automated Bot Intervention, Bethanie E. Hackett
Improving Online Political Discussion With Automated Bot Intervention, Bethanie E. Hackett
Departmental Honors & Graduate Capstone Projects
The quality of political discussions occurring on online platforms or social media sites has been deemed quite poor. To address this issue, I investigated whether a Large Language Model (LLM) can be used to promote civil and productive political discussions by identifying and responding to unproductive dialogue. I fine-tuned an existing LLM to detect elements of problematic dialogue, namely misinformation, misrepresentation of sources, logical fallacies, bias, and toxic language, and then respond in a corrective yet non-confrontational manner. The resulting model is referred to as FroBot and was evaluated through an experiment in which a human participant was placed in …
Using Ai For Data Loss Prevention, Camden A. Wright
Using Ai For Data Loss Prevention, Camden A. Wright
Theses/Capstones/Creative Projects
Data Loss Prevention (DLP) systems play a critical role in protecting modern systems that handle sensitive information from both accidental and malicious exposure. Traditional DLP approaches often rely on static rules and methods that can struggle to adapt to complex and evolving data patterns. This paper presents a hybrid DPL system that integrates machine learning-based message classification, rule based policy enforcement, and context-aware access control to improve both detection accuracy and decision reliability. In addition, the system introduces a second stage access control model that evaluates user context, including role of clearance level and job title to determine whether access …
Utilizing Brain Computer Interfaces That Interact With A Virtual Keyboard, Skye Lilienthal
Utilizing Brain Computer Interfaces That Interact With A Virtual Keyboard, Skye Lilienthal
Honors Theses
A brain-computer interface (BCI) can allow someone to utilize electrical signals in their brain to complete tasks using a computer. BCIs can help people take advantage of technology to type without the need for a traditional keyboard setup. This paper used the OpenBCI Mark IV to test the effectiveness of non-invasive BCIs with dry electrodes within the OpenViBE P300 Speller. This paper shows how to use the P300 speller through a setup pipeline. Results indicate that electrode placement affects P300 accuracy and that areas related to visual processing improve accuracy, suggesting that P300 signals can be detected within OpenBCI Mark …
The Impact Of Community On Professional Identity In Computer Science Education, Ian A. Kollipara
The Impact Of Community On Professional Identity In Computer Science Education, Ian A. Kollipara
School of Computing: Dissertations, Theses, and Student Research
This thesis explores the application of Communities of Practice (CoPs) in Computer Science Education. The work consists of two qualitative studies examining related but distinct populations: (1) K–12 CS teachers and (2) undergraduate CS students. The first study presents a retrospective analysis of conneCTION, an online CoP for K–12 CS educators, identifying strengths, weaknesses, and design considerations that inform future platform development. The second study investigates how participation in a CoP can mitigate negative and exclusionary stereotypes in CS. This study was conducted in an under-explored context: a small, private, religious, Midwestern university, and examines an existing community, the Programming …
Calibrating Human Trust In The Age Of Generative Ai: An Examination Of Ethical And Social Challenges, Abigail M. Mondido
Calibrating Human Trust In The Age Of Generative Ai: An Examination Of Ethical And Social Challenges, Abigail M. Mondido
Honors Theses
Generative AI (GenAI), a set of AI technologies with the ability to generate original, human-like outputs, is beginning to transform the way that information is distributed, composed, published, obtained, analyzed, and consumed. GenAI has seen massive adoption by internet users, businesses, and organizations in recent years despite the persistence of major ethical concerns and social implications. In particular, existing research has identified multiple critical trust-related issues associated with AI in general, including widespread mistrust and distrust, overreliance on AI, and a lack of trustworthiness of AI. There remains a need for a broader understanding of these issues as they relate …
F.L.A.I.R. -- A Flow-Level Autoencoder For Intrusion Recognition, Joseph P. Dumond
F.L.A.I.R. -- A Flow-Level Autoencoder For Intrusion Recognition, Joseph P. Dumond
Electrical Engineering and Computer Science Undergraduate Honors Theses
Industrial Internet of Things (IIoT) networks underpin critical infrastructure worldwide, yet securing them remains an open challenge. Traditional intrusion detection systems require labeled attack data for training, a resource that is rarely available in real industrial deployments. They also fail against novel threats, a model trained on known attacks has no basis for detecting anything outside its training set. This thesis presents a Flow-Level Autoencoder for Intrusion Recognition, or FLAIR, a fully unsupervised deep learning system for network intrusion detection in IIoT environments. FLAIR is built on a Gated Recurrent Unit (GRU) autoencoder trained exclusively on normal network traffic. Rather …
From Mobilenet To Repvit: A Survey Of Edge-Optimized Computer Vision Architectures, Eli A. Bosch
From Mobilenet To Repvit: A Survey Of Edge-Optimized Computer Vision Architectures, Eli A. Bosch
Electrical Engineering and Computer Science Undergraduate Honors Theses
Edge-optimized computer vision is a constantly evolving field where the definition of efficiency has changed repeatedly. This thesis presents a literature survey of four recent Convolutional Neural Network (CNN) families, all analyzed through a consistent framework of accuracy, parameter count, and Multiply-Accumulate Operations (MACs), alongside a survey of five CNN and Vision Transformer (ViT) hybrid models to examine the direction of the field. It was found that accuracy follows a logarithmic curve with respect to parameter count, exhibiting diminishing returns as models scale. This suggests that architectural design contributes more to performance gains than parameter count alone. Theoretical efficiency metrics …
A Case Study On Using Large Language Models To Drive Convergence-Oriented Literature Discovery In Critical Infrastructure Security, Caden J. Williamson
A Case Study On Using Large Language Models To Drive Convergence-Oriented Literature Discovery In Critical Infrastructure Security, Caden J. Williamson
Electrical Engineering and Computer Science Undergraduate Honors Theses
In the world of cybersecurity, the rapid development of artificial intelligence proposes a constant challenge for researchers to defend critical infrastructure. Attacks on critical infrastructure can be catastrophic, and emerging strategies of cyber-adversaries that implement leading AI models can expose vulnerabilities in critical infrastructure much faster than previous tools. To defend against this emerging threat, the Cybersecurity Research Working Group at the University of Arkansas is aiming to develop a cross-domain and cross-discipline center of excellence. To support this effort, the group is writing a literature review on the topics of AI and critical systems security. Literature review is an …
You Can’T Spell Audit Without Ai: The Current Uses Of Artificial Intelligence In Audit, Jena Perkins
You Can’T Spell Audit Without Ai: The Current Uses Of Artificial Intelligence In Audit, Jena Perkins
Senior Honors Theses
The accounting profession continuously adapts to the innovations provided by the broader context in which it exists. Artificial intelligence (AI) is a forerunner among tools used to enhance and optimize auditing services within the accounting profession. The realm of AI offers advancements to procedures used within an audit to detect misstatements. Based on the proprietary platforms developed by Big 4 accounting firms, AI is a key component in maintaining an advanced approach towards auditing.
Deep Learning For Predicting Impact Energy And Compression After Impact Strength Of Composite Materials Using C-Scan Images, K. T. Tan, Jason P. Mack, Faizan Mirza, Zhong-Hui Duan
Deep Learning For Predicting Impact Energy And Compression After Impact Strength Of Composite Materials Using C-Scan Images, K. T. Tan, Jason P. Mack, Faizan Mirza, Zhong-Hui Duan
University Research
Traditional assessment of post-impact performance in carbon fiber reinforced polymer (CFRP) composites often relies on simplified scalar metrics that fail to capture the complex spatial interactions driving failure. This study addresses this limitation by developing an automated, end-to-end deep learning framework that shifts from manual feature extraction to the direct interpretation of raw damage morphology from ultrasonic C-scans. Using a ResNet18-based convolutional neural network (CNN) trained on 1,428 augmented images, the model achieved coefficients of determination (R2) of 0.7948 ± 0.0847 for compression after impact (CAI) strength and 0.9436 ± 0.0098 for impact energy. Beyond prediction, this dual-purpose methodology serves …
Public Health Responsible Ai Capability (Ph-Raic) Framework: A Conceptual Model For Integrating Ai Into Public Health Agencies, Arnob Zahid, Ravishankar Sharma, Rezwan Ahmed
Public Health Responsible Ai Capability (Ph-Raic) Framework: A Conceptual Model For Integrating Ai Into Public Health Agencies, Arnob Zahid, Ravishankar Sharma, Rezwan Ahmed
All Works
Background: Artificial intelligence (AI) is transitioning from experimental pilots to core public health functions such as disease surveillance, resource planning, and analysis of social and structural determinants of health. Yet, health data collection and stewardship remain fragmented across the globe; some jurisdictions still rely on paper-based systems, while others operate noninteroperable digital systems that can exacerbate inequities. Treating health data as a global good therefore requires governance that enables innovation while protecting rights, safety, and trust. This study aims to develop a conceptual meso-level capability framework that translates responsible AI principles into organizational practices for public health agencies. Methods: We …
Hdra-Fusion: Hybrid Detection With Routed Architecture For Manipulation-Aware Ai Face Forgery Detection, Omar Ebeid
Hdra-Fusion: Hybrid Detection With Routed Architecture For Manipulation-Aware Ai Face Forgery Detection, Omar Ebeid
Theses and Dissertations
With the rapid advancements in artificial intelligence-based image generation and manipulation tools, it is extremely difficult to detect if an image is genuine or artificially crafted. Despite extensive research in this area, existing image detection systems suffer from three major problems: suboptimal cross-dataset generalization due to shortcut learning of dataset-specific patterns, unreliable probability estimates due to domain shift, particularly in cross-manipulation evaluation settings, and an inability to detect images manipulated by multiple types of manipulations within a single detection framework. To address these limitations, we propose HDRA-Fusion (Hybrid Detection with Routed Architecture), a framework built on the conclusion that different …
Hybrid Machine Learning For Zero-Day Malware Detection: An Adaptive Static-Dynamic Analysis Approach, Garrett Farmer
Hybrid Machine Learning For Zero-Day Malware Detection: An Adaptive Static-Dynamic Analysis Approach, Garrett Farmer
Theses and Dissertations
In an era of swiftly evolving cyber threats, zero-day malware continues to be one of the most challenging classes of attacks to detect and mitigate. Traditional signature-based methods often fail to detect novel malicious code, leaving institutions vulnerable to unknown exploits. This thesis proposes a machine learning (ML)-based framework that is designed to detect unknown malware variants. By combining both static and dynamic techniques, such as file structure exam ination and sandbox-based runtime analysis, this approach aims to successfully capture malicious characteristics. The proposed custom pipeline addresses the computational overhead that is associ ated with deep inspections, outlining a staged …
Vision-Based Vibration Monitoring Of Civil Structural Damage Detection Using A Low-Cost Autonomous Uav, Javier Antonio Becerril
Vision-Based Vibration Monitoring Of Civil Structural Damage Detection Using A Low-Cost Autonomous Uav, Javier Antonio Becerril
Theses and Dissertations
This thesis presents the development and experimental validation of a low-cost autonomous unmanned aerial vehicle (UAV) for non-contact vibration-based structural damage detection. We extract structural vibration signals directly from video recordings captured by the onboard camera during flight. The extracted vibration signals are analyzed in the frequency domain to identify natural frequency shifts associated with structural degradation and damage.
To evaluate the effectiveness of the proposed approach, a laboratory-scale steel frame structure is tested under both healthy and simulated damage conditions. In contrast to advanced commercial UAV inspection systems, the developed UAV achieves comparable inspection capability at a significantly lower …
Accurate Polyp Segmentation With Visual Mamba, Diego Adame
Accurate Polyp Segmentation With Visual Mamba, Diego Adame
Theses and Dissertations
Medical image segmentation is a fundamental task in computer-aided diagnosis because it enables precise delineation of anatomical structures and pathological regions from clinical images. While convolutional neural networks and Transformer-based models have achieved strong performance on many medical segmentation benchmarks, CNNs struggle to model long-range dependencies and Transformers often incur high computational complexity for high-resolution medical images. Recently, state space models have emerged as an efficient alternative for dense prediction tasks due to their ability to capture long-range dependencies with linear complexity. However, existing Mamba-based segmentation models still rely on pixel-wise raster scanning that disrupts spatial locality and use simple …
The Application Of Natural Language Processing Towards Auditing Of Unstructured Data: A Design Science Approach, Dennis K. Amoatey
The Application Of Natural Language Processing Towards Auditing Of Unstructured Data: A Design Science Approach, Dennis K. Amoatey
Electronic Theses and Dissertations
Financial auditors must manually review large volumes of unstructured text that may include contracts, internal policies, footnotes, and journal entry descriptions. This time-intensive process introduces risk of human error and inconsistency. Despite advances in automation, no systematic approach exists for applying Natural Language Processing (NLP) to this problem at scale. Using a design science approach, this study develops a framework that demonstrates how NLP techniques can be incorporated across key phases in the audit process, including planning, internal controls evaluation, evidence gathering, and reporting. Initial evaluation through expert feedback had a mix of responses. While some argued difficulty with data …
Multimodal Aerial Image-Based Ground Object Detection And Classification Using Yolo, Erik Nielsen
Multimodal Aerial Image-Based Ground Object Detection And Classification Using Yolo, Erik Nielsen
All Theses
Object detection in unmanned aerial vehicles (UAVs) present a unique challenge due to small object sizes, varying viewpoints, and changing environmental conditions. These challenges are exacerbated when operating during daytime and nighttime scenarios where illumination differences can heavily impact detection performance. This work is motivated by military object detection applications where the ability to reliably identify small objects such as landmines or unexploded ordnance from aerial imagery presents a critical safety need and a significant technical challenge. In this paper, we investigate object detection using both visible (RGB) and infrared (IR) imagery to improve robustness and reliability across diverse operating …
Evaluating Modern Neural Network Architectures For Suicide Prediction, Kyle Brown
Evaluating Modern Neural Network Architectures For Suicide Prediction, Kyle Brown
Master's Theses
Suicide remains a leading cause of death among adolescents despite more access to healthcare information than ever before. Medical professionals struggle to make accurate diagnoses and catch warning signs with the overwhelming amount of data available. Machine learning algorithms, including neural networks, have previously been employed for this task, yet it remains an understudied domain.
This research aims to evaluate the capabilities of Multi-Layer Perceptron (MLP) and a selection of its successors, ResNet and MLP with a category embedding layer, at the task of predicting suicidal ideation among high-school students. This research finds ResNet to be the most capable at …
Sevoauth: Secure Voiceprint Authentication With Hash-Based Feature Transformation, Rui Zhang, Zheng Yan, Robert H. Deng
Sevoauth: Secure Voiceprint Authentication With Hash-Based Feature Transformation, Rui Zhang, Zheng Yan, Robert H. Deng
Research Collection School Of Computing and Information Systems
While voiceprint authentication offers convenient user authentication and access control through voice feature recognition, a critical research gap remains: existing voiceprint authentication systems fail to simultaneously achieve sound security against replay, spoofing, and adversarial attacks, preserve voice privacy leakage, and satisfy usability demand. Previous efforts have struggled to balance these issues comprehensively. To bridge this gap, we present SeVoAuth, a cloud-based Voiceprint Authentication as a Service (VAaaS) system designed to provide privacy preservation, robust security, and enhanced usability. SeVoAuth stores a synthesized voiceprint of a user in the cloud during user registration, thereby safeguarding the privacy of the real voiceprint …
Synthesis And Evaluation Of Long-Term History-Aware Medical Dialogue, Hebin Hu, Renke Dai, Ah-Hwee Tan, Yilin Kang
Synthesis And Evaluation Of Long-Term History-Aware Medical Dialogue, Hebin Hu, Renke Dai, Ah-Hwee Tan, Yilin Kang
Research Collection School Of Computing and Information Systems
An effective healthcare agent must be able to recall and reason over a patient’s longitudinal medical history. However, the absence of datasets with realistic long-term dialogue timelines limits systematic evaluation. Real clinical text is constrained by privacy and ethics, while existing benchmarks focus on isolated interactions, failing to capture cross-session reasoning. We introduce a framework for synthesizing high-quality, long-term medical dialogues with LLMs. Our approach entails a knowledge-guided decomposition into three stages: constructing synthetic patient profiles with diverse disease and complication trajectories, generating multiturn dialogues per encounter, and integrating them into a coherent longitudinal history dataset, MediLongChat. We establish three …
Generation Of Elaborated, Targeted And Effective Feedback For Novice Programmers Using Llm, Hua Leong Fwa
Generation Of Elaborated, Targeted And Effective Feedback For Novice Programmers Using Llm, Hua Leong Fwa
Research Collection School Of Computing and Information Systems
Programming errors and misconceptions are pervasive in novice programmers which causes difficulty in the learning of computer programming. Large Language Models (LLMs), with their ability to comprehend and generate programming codes have shown promising results in the automatic identification of errors. This can potentially benefit student programmers by providing them with timely formative feedback at efficiencies and scale that were not attainable previously. In this study, we leveraged an LLM - OpenAI o4-mini for the generation of elaborated, targeted feedback for novice programmers across PHP and JavaScript exercises. We contend that the feedback needs to be effective and targeted other …
Aircraft Fault Detection Via Weight And Bias Analysis Of A Custom First Neural Network Layer, George Harrison Chen
Aircraft Fault Detection Via Weight And Bias Analysis Of A Custom First Neural Network Layer, George Harrison Chen
Theses and Dissertations
Fault detection in aircraft is traditionally handled through redundant hardware and comparison algorithms to detect failures. Alternatives like model-based residual generation and data-driven approaches such as supervised fault classification and unsupervised anomaly detection have been explored, but they suffer from practical limitations; model-based methods require accurate system models, and data-driven methods have large constraints on the data limiting scalability and adaptability. This work presents a purely data-driven neural network architecture featuring a custom first layer designed for real-time fault detection where the weights and biases of this layer are used to detect faults. The network requires zero supervision and complements …
Moodify: A Mood-Based Music Recommendation System, Meghana Kagitha
Moodify: A Mood-Based Music Recommendation System, Meghana Kagitha
Theses and Dissertations
Music has long been recognised as a powerful tool for emotional regulation, yet existing music streaming platforms often fail to align song recommendations with a user's current emotional state. Moodify is a mood-based music recommendation system designed to bridge this gap by delivering personalised playlists that reflect how a user feels in real time.
This project presents the design, development, and evaluation of Moodify, a mobile application that leverages the Circumplex Model of Emotion to capture user mood through an intuitive two-dimensional valence-arousal interface. Rather than relying on text input or manual search, users plot their emotional state directly onto …
Adaptive Artificial Potential Field Guidance And Control For Autonomous Docking With Uncooperative And Unknown Spacecraft, Steven Holmberg
Adaptive Artificial Potential Field Guidance And Control For Autonomous Docking With Uncooperative And Unknown Spacecraft, Steven Holmberg
Theses and Dissertations
The increasing demand for on-orbit servicing (OOS), active debris removal (ADR), and space domain awareness (SDA) missions has increased the need for autonomous spacecraft rendezvous and proximity operations (RPO) with uncooperative and unknown targets. Traditional guidance and control methods are typically designed for cooperative systems with known geometry and state information. This work builds on previous research to develop and evaluate an artificial potential field (APF)-based control framework capable of autonomous operation with minimal prior target knowledge and applicability to both relatively static and tumbling spacecraft.
The proposed APF formulation incorporates established safety constructs from cooperative docking systems, including an …
Analyzing The Writing Style Of Generative Ai When Prompted With Writing Samples, Samuel Mcdowell
Analyzing The Writing Style Of Generative Ai When Prompted With Writing Samples, Samuel Mcdowell
Senior Honors Theses
Authorship attribution is an important topic in today’s world of Large Language Models (LLMs). It is the technology that helps to verify the author of a written work. This study explores whether LLMs can successfully mimic an individual’s writing style if they are given a text sample. A dataset of human-written texts was collected and used to prompt several LLMs to generate new texts that attempt to replicate the original author’s stylistic characteristics. The generated texts were then tested with modern authorship attribution models to determine whether they would be identified as being written by the original author. The results …
Weavecc: Symbolically-Guided Joint Exploration Of Inputs And Schedules For Concurrency Bug Detection, William Philip Dinauer
Weavecc: Symbolically-Guided Joint Exploration Of Inputs And Schedules For Concurrency Bug Detection, William Philip Dinauer
Dartmouth College Master’s Theses
Concurrent programs introduce a class of bugs that depend jointly on both program inputs and thread schedules. Exposing these bugs requires simultaneously reasoning about which code paths are reachable and which thread interleavings are possible. At the same time, many existing tools handle the problem insufficiently. Race detectors observe only the interleavings that the OS happens to produce. Fuzzers explore inputs without controlling schedules. Tools that address both dimensions together exist, but are built on interpretation-based symbolic executors that incur considerable overhead.
We present WeaveCC, a practical concurrency testing tool for C/C++ programs that jointly explores inputs and thread schedules. …
Securing Cloud-Native Systems: From Vulnerability Analysis To External And Insider Threat Detection, Jiongchi Yu
Securing Cloud-Native Systems: From Vulnerability Analysis To External And Insider Threat Detection, Jiongchi Yu
Dissertations and Theses Collection (Open Access)
Cloud-native systems have become the backbone of modern software infrastructure. However, their dynamic resource orchestration and complex configurability introduce a large attack surface and intricate security challenges. Adversaries can externally exploit vulnerabilities in cloud components or perform insider movement within cloud environments to launch attacks. As these systems increasingly support critical services, security breaches can lead to severe operational and economic consequences.
Despite extensive efforts in vulnerability detection and attack monitoring, existing approaches struggle to remain effective in cloud-native environments characterized by rapid evolution and inherent heterogeneity. In particular, they exhibit three fundamental limitations: (1) Insufficient understanding of defect patterns …
Durable, Distributed Llm Inference On Cots Devices, Brycen E. Dunn
Durable, Distributed Llm Inference On Cots Devices, Brycen E. Dunn
Electronic Theses and Dissertations
The advancement of Large Language Models (LLMs) has fundamentally changed the nature of natural language processing. The substantial memory requirements of frontier models creates a significant barrier to entry, centralizing inference. This thesis presents the design and implementation of a distributed inference framework designed to democratize LLMs by leveraging commodity devices. The framework combines the resources of heterogeneous COTS devices into a unified compute pool, enabling the inference of models exceeding a single device's memory capacity. A novel Task Partitioning Engine (TPE) analyzes model architectures, profiles node capabilities, and supports pipeline and expert parallelism strategies. The primary contribution is a …