Digital Commons Network^™

Llms In Compiler Construction, Raffi Khatchadourian

Open Educational Resources

These lecture slides survey the use of large language models (LLMs) in compiler construction for a graduate compiler course (CSc 81010). They situate LLMs across the compiler pipeline and examine representative work: foundation models trained on LLVM IR and assembly (Meta's LLM Compiler), LLM-driven code optimization, binary decompilation (LLM4Decompile), and LLM-assisted automated refactoring—alongside the challenges of applying probabilistic models to tasks that demand correctness. The slides are a self-contained HTML (W3C Slidy) deck with editable Pandoc Markdown source. Part of a two-session unit on advanced compiler topics; see also "Deep Learning Compilers."

Deep Learning Compilers, Raffi Khatchadourian

Open Educational Resources

These lecture slides introduce deep learning compilers for a graduate compiler-construction course (CSc 81010). Building on the classical compiler pipeline, they show how modern machine-learning systems compile tensor programs: static tensor and type analysis (illustrated by a WALA/Ariadne-based refactoring of imperative TensorFlow code to graph mode), MLIR-based end-to-end compilation with IREE, and the PyTorch 2.x stack—TorchDynamo graph capture, AOTAutograd, PrimTorch operator decomposition, and TorchInductor lowering to Triton (GPU) and C++/OpenMP (CPU). The slides are a self-contained HTML (W3C Slidy) deck with editable Pandoc Markdown source. Part of a two-session unit on advanced compiler topics; see also "LLMs in Compiler Construction."

Uncovering The Impact Of Youtube's Hidden Algorithm On Its Users, Oscar Perez

COD Library Student Research and Award Symposium

YouTube is a well-known platform that offers users endless hours of news, entertainment, and education. This research seeks to understand how the algorithm functions and uncover the effects of allowing a system to curate content for viewers. The research combines academic sources with fieldwork to understand the impact of YouTube's algorithm.

Faculty Sponsor:  Professor Jacqueline McGrath

Shaped By The Feed: Big Data, Identity And Power, Ana Paula Andrada

COD Library Student Research and Award Symposium

I explored how big data and algorithms shape the way we think and interact at an individual and societal level. This started from things I kept noticing in everyday life. Through my research, I learned how the personalization and predictability in feeds can reinforce beliefs, limit our critical thinking, deepen polarization and threaten our freedom.

Faculty Sponsor:  Professor Aleisha Balestri

Dynamic Trust Calibration, Bruno Miranda Henrique

Dartmouth College Ph.D Dissertations

Trust calibration between humans and Artificial Intelligence (AI) is crucial for optimal decision-making in collaborative settings. Excessive trust can lead users to accept AI-generated outputs without question, overlooking critical flaws, while insufficient trust may result in disregarding valuable insights from AI systems, hindering performance. Despite its importance, there is currently no definitive and objective method for measuring trust calibration between humans and AI. Current approaches lack standardization and consistent metrics that can be broadly applied across various contexts, and they don’t distinguish between the formation of opinions and subsequent human decisions. This thesis brings a novel and objective method for …

Energy-Efficiency Optimization And Comparison For Irs-Assisted Bidirectional Relay And Direct Transmissions, Caixia Cai, Jiayao Zhang, Fuli Zhong, Han Hai, Yayu Yang, Sunil Chinnadurai, Anwer Al-Dulaimi

All Works

Intelligent reflecting surface (IRS) has emerged as a promising technique for achieving high-transmission rate and low-power consumption transmission to meet the requirements of future beyond 5G and 6G communication. In this paper, we optimize and compare the energy-efficiency (EE) of IRS-assisted bidirectional relay transmission (BRT) and bidirectional direct transmission (BDT). In specific, we firstly consider and give the IRS-assisted BRT and BDT models. Then, we give the analyses of signal transmission models and EE for both IRS-assisted BRT and BDT. In addition, to optimize the EE, we give the joint optimization problems for both IRS-assisted BRT and BDT, which incorporate …

Meeting The Moment With Ai-Employer Informed Education, Brent Terwilliger, John Faraca

Publications

As artificial intelligence transforms aviation, aerospace, and autonomy-related sectors, higher education must adapt to meet evolving workforce demands. This session shares emerging findings from a nationwide study led by Embry-Riddle Aeronautical University, focused on employer perceptions of AI adoption, responsible use, and workforce preparedness in domains including uncrewed systems, space systems, robotics, and advanced air mobility. Based on a structured survey and follow-up interviews, the presentation explores how organizations are using AI tools, from generative platforms to enterprise systems, and defining effective and inappropriate use in operational contexts. Participants will gain insight into critical concerns (e.g., data privacy, compliance, security, …

Sage: Contention-Aware Sensitivity Adjustment For Spin Lock Exiting In Vms, Sam Thomas Stowers

Theses - ALL

To address the severe multi-threaded performance degradation caused by lock contention in oversubscribed cloud environments, this thesis examines and improves on the Pause Loop Exit (PLE) mechanism used by hypervisors to deschedule unproductive virtual CPUs (vCPUs). These oversubscribed environments introduce contention which frequently leads to Lock Holder Preemption (LHP), where a hypervisor preempts a vCPU holding a critical spinlock, causing waiting vCPUs to waste cycles spinning. To mitigate LHP, hardware mechanisms trigger PLE events to inform hypervisors of spinning vCPUs, relying on a PLE_gap parameter to differentiate spinlock instances. The PLE_gap dictates spinlock detection sensitivity—a component of the virtualization stack …

Labeling And Describing Objects In A Photogrammetry-Based 3d Environment Using Computer Vision And Artificial Intelligence, Colin Donald Moschella

Capstone Projects

Cataloging and digitizing the objects inside a building manually is a task that is often impractical at scale. This project therefore automates the process, using a custom-made system. Using a photogrammetry-based 3D reconstruction of a room, this system is applied to sequences of 2D images used to make the 3D models. The system applies object detection, image segmentation, and image-text models to identify and describe objects, using CNN based models such as YOLO and OpenCLIP. Each analyzed object is then stored in a structured database with spatial coordinates from the 3D scanning, descriptive attributes from the image-text models, and other …

Development And Launch Of Abn: An Adventist Freelance Web Application, Abishur Moses-Pakkianathan

MS in Computer Science Project Reports

The Seventh-day Adventist community often relies on personal networks and word-of-mouth for Adventist business services. Many of these businesses meet and provide services to their clients primarily through church connections and community recommendations. As the community and businesses grow, traditional networking methods become increasingly difficult to maintain. General marketplaces lack the trust framework shared by Adventists, and faith-based directories are often static or outdated without booking capabilities. Our solution provides a reliable and modern platform for Adventists to create service listings, receive and manage bookings, and connect with faith-aligned clients.

Nutrilog: Design And Development Of A Full-Stack Web Application For Holistic Health Tracking, Jaromir J. Saloni

Honors Theses

NutriLog is a web-based fitness and nutrition tracking application designed to help users record, organize, and interpret personal health data in one centralized platform. Many existing applications focus primarily on either nutrition tracking or exercise performance, which can make it difficult for users to understand how food intake and physical activity interact. NutriLog addresses this gap by combining food logging, exercise logging, calorie adjustment, nutrition summaries, and historical tracking into a single dashboard-based interface.

The application was developed using React and TypeScript for the frontend and Supabase for authentication, database storage, and user-specific data management. Nutrition data is supported through …

The One-Shot Ceiling: Comparing Rag And Fine-Tuning Architectures For Ai-Assisted Math Mentoring, Michael J. Cummins

Computer Science Honors Papers

Providing individualized feedback to math students is a resource-intensive bottleneck in STEM education. We present Mentir-AI, a tool designed to elevate teacher capacity by generating high-quality mathematical feedback using the Mathforum's "Problem of the Week" archive. By analyzing a corpus of nearly one million interactions, we compare the efficacy of Retrieval-Augmented Generation (RAG) and Fine-Tuning (FT) architectures. This study details the development of an automated grading pipeline, the evolution of a multi-component system prompt, and the implementation of an automated mentor grading system in AI-led evaluation. While Fine-Tuning demonstrates superior instructional judgement, our results identify persistent failure modes in mathematical …

How Ai Governance Differs Between Regime Type, Jackson T. Guillou

Honors Theses

This thesis will examine how artificial intelligence (AI) regulation and development differ across political regime types, arguing that governance outcomes are fundamentally shaped by institutional political structures. This thesis will draw on comparative frameworks analyzing democratic and authoritarian systems. This thesis will also include case studies of the European Union, the United States of America, China, and Russia. The study finds that democratic regimes tend to emphasize transparency, accountability, and rights-based regulation of AI. This often results in slow regulation of AI, but it is more ethically legitimate and constrained. In contrast, authoritarian regimes prioritize centralized control, strategic coordination, and …

Stridevision: Automated Detection Of Running Form Deviations From 2d Pose Estimation And Machine Learning, Paulina Eguibar Ortega

Honors Theses

Running gait analysis plays a critical role in injury prevention and performance optimization, however, existing approaches often rely on specialized laboratory equipment or wearable sensors with limited interpretability. Recent advances in computer vision, particularly 2D human pose estimation, enable markerless motion analysis from standard video. However, progress remains constrained by the lack of publicly available datasets designed for running form analysis.

In this work, we introduce a preliminary dataset and benchmark for stride-level running gait analysis. The dataset consists of 73 treadmill running videos from 15 participants with varying experience levels, annotated with over 4,600 stride-level labels across multiple biomechanical …

Private Assistant Agent, Bao Le '26

Senior Scholarly and Creative Symposium

Our brain has limited fuel: every time we make a decision, it costs fuel. A Personal Artificial Assistant will help preserve that fuel by handling secretarial tasks and scheduling a daily timetable for its user. Personal Assistant Agent (PAA) is an AI assistant running as a text-based Windows desktop application to help users in scheduling and give reminders like a secretary. Users interact with the PAA conversationally. This project is a system of reasoning and a modular memory pipeline that makes any Large Language Model (LLM) behave like a personal assistant. The Language model is isolated inside a function to …

High-Frequency Vr-Native Eye Tracking: From Data Collection To Machine Learning Models, Meherun Nesa Shraboni, Aryabrata Basu

Research and Creative Works Expo

No abstract provided.

A Socio-Computational Framework For Understanding Information Campaigns Through A Collective Action Perspective, Sayantan Bhattacharya

Theses and Dissertations

In a time when social media significantly influences public dialogue, grasping the elements that contribute to the success of information campaigns has become vital for understanding modern social movements and political engagement. This dissertation explores the essential factors that affect the efficacy of information campaigns across digital platforms, addressing a notable gap in existing research that frequently neglects the systematic connection between information spread and outcomes of collective action. Instead of viewing these as distinct phenomena, this study constructs an integrated framework that highlights three crucial dimensions of successful information campaigns: the human factor, which emphasizes the role of influential …

Reflective Telemetry Replay For Performance Analysis In Extended Reality, Atit Kharel

Theses and Dissertations

Extended Reality (XR) environments are increasingly used for training, simulation, and skill development. However, conventional feedback mechanisms such as summary performance scores or first-person video recordings often lack the spatial and contextual detail necessary to support effective reflective learning. As a result, users may observe what occurred during an immersive task without fully understanding how their movement strategies and navigation decisions influenced performance outcomes. This work presents DataEcho, a telemetry-driven replay framework designed to capture, store, and reconstruct structured XR session data for interactive performance review and behavioral analysis. The system records frame-level telemetry from Unity-based XR applications, including object …

Automated Evaluation Of Web Accessibility In Cybersecurity Tools, William Robert Cox

Theses and Dissertations

Screen reader users face significant barriers when using web-based cybersecurity tools, however, the accessibility of these interfaces has received minimal systematic research attention. Existing automated evaluation tools assess Web Content Accessibility Guidelines (WCAG) conformance but do not measure the practical operability of complex and domain-specific interfaces for users of assistive technology. This dissertation presents the Deciphering Interfaces for Your Accessibility (DIYA) framework, an open-source automated auditing framework that evaluates cybersecurity tool web interfaces across eight normalized dimensions: WCAG conformance, Accessible Rich Internet Applications (ARIA) usage, semantic structure, keyboard operability, form accessibility, dynamic content accessibility, interaction cost, and screen reader readiness. …

Spaceforge: Spatial Reconstruction For Signal Simulations, Compton Ross

Honors Theses

Signal simulation environments require accurate three dimensional representations of physical spaces, yet current methods for generating these representations, including Light Detection and Ranging (LiDAR) scanning, manual 3D modeling, and commercial photogrammetry, are both costly and time intensive. SpaceForge addresses this gap with a prompt guided pipeline that takes an ordinary indoor photograph and a configurable set of simulation relevant object categories as input and produces a voxelized 3D scene compatible with downstream signal simulation workflows. The pipeline proceeds through five major stages: open set object detection and segmentation, object level preprocessing, single image 3D mesh reconstruction, heuristic pose estimation and …

Psychiatry Meets Ai: Are Residents Ready?, Jacob De Castro, John Case

Rowan-Virtua Research Day

Artificial intelligence (AI) use is increasing in healthcare, but psychiatry residency training remains unstructured. In a 20-resident pilot survey, AI was frequently used for literature review and clinical support, with limited confidence and institutional guidance. We found most residents desired formal training and would use AI more if institutionally supported. Findings highlight a gap between rapid adoption and structured education.

Ai-Augmented Digital Auscultation For Point-Of-Care Screening Of Valvular Heart Disease: A Systematic Review And Meta-Analysis, Harshal Parmar, Akhila Archakam, Nikhila Archakam, Wesley Kim, Eduard Koman Md

Rowan-Virtua Research Day

Background: Valvular heart disease (VHD) affects >10% of adults aged 75+ yet remains underdiagnosed when asymptomatic due to declining auscultatory proficiency. AI-augmented digital auscultation offers a point-of-care screening solution, though no meta-analysis has pooled diagnostic accuracy across VHD subtypes in adults using echocardiography as the reference.

Methods: A systematic review and meta-analysis were conducted per PRISMA guidelines. PubMed, Embase, Cochrane, IEEE Xplore, and Scopus were searched without date restriction. Studies applying AI or machine learning to digital auscultation or phonocardiography for VHD classification in adults with echocardiographic reference and patient-level diagnostic metrics were included. Studies using only public datasets, pediatric …

Developing A Comprehensive Resource Guide For Caregivers Within The Area Agency On Aging, Aiden R. Murphy

Public Health Capstone Projects

This project developed a new universal caregiver resource guide for caregivers within the Area Agency on Aging, in order to improve resource navigation and workflow efficiency. Resources were collected, verified, and organized into a new, streamlined guide via the ARIA chatbot, covering multiple needs. Caregiver resources were collected and verified by the capstone student and mentor, Michael Kroeker, and organized into a centralized knowledge base within the ARIA chatbot. A mixed methods evaluation was conducted utilizing a 5-point Likert scale with three quantitative questions and one open-ended qualitative question. The data was given to the SeniorLine staff, who wanted to …

Predicting And Decoding Allosteric Binding Sites Using Protein Language Models And Structure-Based Machine Learning: An Energy Landscape-Guided Explainable Ai Framework, Kamila Riedlová, Vít Skrhák, William G. Gatlin, Max Ludwick, Lucas Turano, Marian Novotný, David Hoksza, Gennady M. Verkhivker

Mathematics, Physics, and Computer Science Faculty Articles and Research

Computational prediction of allosteric binding sites in protein structures remains a persistent challenge, as these regulatory pockets evade detection by both sequence-based and structure-based algorithms. Both computational and physical origins of this predictive asymmetry remain insufficiently understood. In this study, we systematically examine the determinants of binding site predictability using a dual framework that integrates a fine-tuned protein language model and the structure-based method P2Rank as complementary tools probing a diverse data set of 453 human kinases, together with a physics-based interpretability layer derived from energy landscape frustration analysis. Both predictors exhibit a sharp and reproducible dichotomy on protein kinases, …

Toward Vehicle-Agnostic Driving Signatures For Cognitive Impairment Prediction From Naturalistic Driving Data, Aadarsha Gopala Reddy

McKelvey School of Engineering Graduate Student Theses & Dissertations

This thesis studies whether naturalistic driving data can help predict binary Clinical Dementia Rating (CDR) status while accounting for differences across vehicles. The final analytic dataset comprised 26,968 participant-weeks from 304 participants. Weekly driving features were derived from real-world telematics data and combined with four demographic covariates. Primary model comparisons used leave-one-participant-out (LOGO) cross-validation, with one individual held out at a time and pooled participant-level metrics used as the main reporting surface.

The main comparison includes six model families evaluated on the same dataset under a shared LOGO framework. Performance remained modest overall. GRU-DANN had the highest participant-level ROC AUC …

Interpreting American Sign Language: A Literature Review Of Assistive Technologies, Natalie Louise Paradiso, Emma Grace Kochenderfer

Student Scholar Symposium Abstracts and Posters

American Sign Language (ASL) is a visually elaborate, spatially oriented linguistic methodology that relies on combinations of hand movements, body positioning, facial expressions, and motion/spatial perception, aspects of which make interpretation difficult for automated machine recognition. Current assistive technology approaches to ASL interpretation are generally within the categories of computer vision models (including deep learning, multi-focus image fusion, and keypoint tracking) and wearable, multimodal/sensor-based approaches (such as smart glasses and inertial-sensor gloves). Within controlled environments, computer vision models perform well. However, when applied to conditions such as non-manual signs/features, signer variability, and rapid assimilation, they falter in processing all aspects …

Developing Narrative-Based Stem Learning Tool For K-6 Visually Impaired Students, Daniel Tsivkovski, Dylan Ravel, Jeffrey Kraskouskas, Brandon Foley, Maryam Etezad, Franceli Cibrian, Rajeev Joshi, Ariel Han

Student Scholar Symposium Abstracts and Posters

This research develops a free, accessible web application that enables K-6 students who are blind or visually impaired (BVI) to learn STEM concepts using refreshable braille displays. Currently, most online learning tools are not designed for BVI students, creating a significant educational barrier.

The application interfaces with commercial braille displays and uses narrative-based learning to make STEM content approachable and engaging. By presenting material as personalized interactive stories generated with the help of Artificial Intellligence (AI), students can connect with concepts while developing braille reading skills. The curriculum design prioritizes accessibility through the Accessible Rich Internet Applications (ARIA) standards and …

Propasafe-Hybrid: A Text-Based Hybrid Propaganda Detection Tool, Thomas Kimmeth, Avijit Roy, Vivek Sharma

Publications and Research

Propagandistic content increasingly circulates through online news and social media, where readers often encounter it with limited scrutiny, highlighting the need for reliable and fine-grained detection. This paper introduces Propasafe-Hybrid, a sentence-level system that integrates a fine-tuned transformer classifier with LLM-based technique classification to identify, label, and explain specific propaganda strategies. The pipeline generates actionable outputs, including highlighted sentences, technique assignments, and concise rationales, so users can immediately understand why a sentence was flagged and how each label was determined. To control inference cost, Propasafe-Hybrid employs a cost-aware pre-filtering stage that forwards only high-likelihood sentences to LLMs, reducing token usage …

Improving Semantic Precision In Text-To-Image Diffusion Models Via Latent-Space Optimization And Semantically-Parsed Evaluation, Mohammad Rouie Miab

McKelvey School of Engineering Graduate Student Theses & Dissertations

Text-to-image diffusion models can produce visually impressive images from natural-language prompts, but they often fail to satisfy the detailed semantic constraints expressed in compositional prompts. Typical failure modes include omitted objects, merged entities, incorrect quantities, incorrect attribute binding, and leakage of one entity's attributes onto another. This thesis studies the problem of semantic precision in text-to-image generation: how faithfully a generated image satisfies the structured meaning of its prompt.   The thesis makes two linked contributions. First, it presents a training-free inference-time refinement method for diffusion-based image generation. The method operates directly in latent space during denoising and uses noun-phrase-aware cross-attention …

Largest 2-Regular Subgraphs In Complete S-Partite Graphs, Yiyang Jiang

McKelvey School of Engineering Graduate Student Theses & Dissertations

In this thesis, we focus on the class of complete $S$-partite graphs, for $S$ an undirected graph possibly with self-loops, and address the problem of finding largest $2$-regular subgraphs of these graphs, which can be formulated as an integer linear program. Roughly speaking, a complete $S$-partite graph is obtained by replacing every single node of $S$ with a number of nodes, preserving the edge/non-edge relations of $S$. Our motivation in studying largest $2$-regular subgraphs is rooted in the structural systems theory, particularly in the problem of finding largest subnetworks that can sustain controllability or asymptotic stability of the corresponding subsystems. …