Digital Commons Network^™

De-Duplicating Silent Compiler Bugs Via Deep Semantic Representation, Junjie Chen, Xingyu Fan, Chen Yang, Shuang Liu, Jun Sun

Research Collection School Of Computing and Information Systems

The compiler bug duplication problem (where many test failures are caused by the same compiler bug) can lead to huge waste of time and resource in diagnosing test failures produced by compiler testing. It is particularly challenging with regard to the silent compiler bugs that do not produce any error messages. To address this problem, multiple white-box techniques were proposed, but they are inapplicable in many practical scenarios. Black-box techniques are more practical, but the existing ones are less effective as they often rely on irrelevant syntactic information. To bridge this gap, we propose a novel black-box technique (BLADE), which …

A Comprehensive Study Of Oop-Related Bugs In C++ Compilers, Bo Wang, Chong Chen, Junjie Chen, Bowen Xu, Chen Ye, Youfang Lin, Guoliang Dong, Jun Sun

Research Collection School Of Computing and Information Systems

Modern C++, a programming language characterized by its extensive use of object-oriented programming (OOP) features, is widely used for system programming. However, C++ compilers often struggle to correctly handle these sophisticated OOP features, resulting in numerous high-profile compiler bugs that can lead to crashes or miscompilation. Despite the significance of OOP-related bugs, existing studies largely overlook OOP features, hindering their ability to discover such bugs. To assist both compiler fuzzer designers and compiler developers, we conduct a comprehensive study of the compiler bugs caused by incorrectly handling C++ OOP-related features. First, we systematically extract 788 OOP-related C++ compiler bugs from …

Hd-Epic: A Highly-Detailed Egocentric Video Dataset, Toby Perrett, Ahmad Darkhalil, Saptarshi Sinha, Omar Emara, Sam Pollard, Kranti Kumar Parida, Kaiting Liu, Prajwal Gatti, Siddhant Bansal, Kevin Flanagan, Jacob Chalk, Zhifan Zhu, Rhodri Guerrier, Fahd Abdelazim, Bin Zhu, Davide Moltisanti, Michael Wray, Hazel Doughty, Dima Damen

Research Collection School Of Computing and Information Systems

We present a validation dataset of newly-collected kitchenbased egocentric videos, manually annotated with highly detailed and interconnected ground-truth labels covering: recipe steps, fine-grained actions, ingredients with nutritional values, moving objects, and audio annotations. Importantly, all annotations are grounded in 3D through digital twinning of the scene, fixtures, object locations, and primed with gaze. Footage is collected from unscripted recordings in diverse home environments, making HDEPIC the first dataset collected in-the-wild but with detailed annotations matching those in controlled lab environments. We show the potential of our highly-detailed annotations through a challenging VQA benchmark of 26K questions assessing the capability to …

Dupin: A Parallel Framework For Densest Subgraph Discovery In Fraud Detection On Massive Graphs, Jiaxin Jiang, Siyuan Yao, Yuchen Li, Qiange Wang, Bingsheng He, Min Chen

Research Collection School Of Computing and Information Systems

Detecting fraudulent activities in financial and e-commerce transaction networks is crucial. One effective method for this is Densest Subgraph Discovery (DSD). However, deploying DSD methods in production systems faces substantial scalability challenges due to the predominantly sequential nature of existing methods, which impedes their ability to handle large-scale transaction networks and results in significant detection delays. To address these challenges, we introduce Dupin, a novel parallel processing framework designed for efficient DSD processing in billion-scale graphs. Dupin is powered by a processing engine that exploits the unique properties of the peeling process, with theoretical guarantees on detection quality and efficiency. …

Community Detection In Heterogeneous Information Networks Without Materialization, Jiaxin Jiang, Siyuan Yao, Yuhang Chen, Bingsheng He, Yudong Niu, Yuchen Li, Shixuan Sun, Yongchao Liu

Research Collection School Of Computing and Information Systems

Community detection in heterogeneous information networks (HINs) poses significant challenges due to the diversity of entity types and the complexity of their interrelations. While traditional algorithms may perform adequately in some scenarios, many struggle with the high memory usage and computational demands of large-scale HINs. To address these challenges, we introduce a novel framework, SCAR, which efficiently uncovers community structures in HINs without requiring network materialization. SCAR leverages insights from meta-paths to interpret multi-relational data through compact vertex-based sketches, significantly reducing computational overhead and materialization overhead. We propose a sketch-based technique for estimating changes in modularity, improving both the precision …

Large Language Model For Vulnerability Detection And Repair: Literature Review And The Road Ahead, Xin Zhou, Sicong Cao, Xiaobing Sun, David Lo

Research Collection School Of Computing and Information Systems

The significant advancements in Large Language Models (LLMs) have resulted in their widespread adoption across various tasks within Software Engineering (SE), including vulnerability detection and repair. Numerous studies have investigated the application of LLMs to enhance vulnerability detection and repair tasks. Despite the increasing research interest, there is currently no existing survey that focuses on the utilization of LLMs for vulnerability detection and repair. In this paper, we aim to bridge this gap by offering a systematic literature review of approaches aimed at improving vulnerability detection and repair through the utilization of LLMs. The review encompasses research work from leading …

Keep The Balance: A Parameter-Efficient Symmetrical Framework For Rgb+X Semantic Segmentation, Jiaxin Cai, Jingze Su, Qi Li, Wenjie Yang, Shu Wang, Tiesong Zhao, Shengfeng He, Wenxi Liu

Research Collection School Of Computing and Information Systems

Multimodal semantic segmentation is a critical challenge in computer vision, with early methods suffering from high computational costs and limited transferability due to full fine-tuning of RGB-based pre-trained parameters. Recent studies, while leveraging additional modalities as supplementary prompts to RGB, still predominantly rely on RGB, which restricts the full potential of other modalities. To address these issues, we propose a novel symmetric parameter-efficient fine-tuning framework for multimodal segmentation, featuring with a modality-aware prompting and adaptation scheme, to simultaneously adapt the capabilities of a powerful pre-trained model to both RGB and X modalities. Furthermore, prevalent approaches use the global cross-modality correlations …

Learning Spatio-Temporal Dynamics For Trajectory Recovery Via Time-Aware Transformer, Tian Sun, Yuqi Chen, Baihua Zheng, Weiwei Sun

Research Collection School Of Computing and Information Systems

In real-world applications, GPS trajectories often suffer from low sampling rates, with large and irregular intervals between consecutive GPS points. This sparse characteristic presents challenges for their direct use in GPS-based systems. This paper addresses the task of map-constrained trajectory recovery, aiming to enhance trajectory sampling rates of GPS trajectories. Previous studies commonly adopt a sequence-to-sequence framework, where an encoder captures the trajectory patterns and a decoder reconstructs the target trajectory. Within this framework, effectively representing the road network and extracting relevant trajectory features are crucial for overall performance. Despite advancements in these models, they fail to fully leverage the …

Towards Uncertainty Aware Task Delegation And Human-Ai Collaborative Decision-Making, Min Hun Lee, Martyn Zhe Yu Tok

Research Collection School Of Computing and Information Systems

Despite the growing promise of artificial intelligence (AI) in supporting decision-making across domains, fostering appropriate human reliance on AI remains a critical challenge. In this paper, we investigate the utility of exploring distance-based uncertainty scores for task delegation to AI and describe how these scores can be visualized through embedding representations for human-AI decision-making. After developing an AI-based system for physical stroke rehabilitation assessment, we conducted a study with 19 health professionals and 10 students in medicine/health to understand the effect of exploring distance-based uncertainty scores on users’ reliance on AI. Our findings showed that distance-based uncertainty scores outperformed traditional …

Event-Based Eye Tracking: Event-Based Vision Workshop 2025, Qinyu Chen, Et. Al.

Research Collection School Of Computing and Information Systems

No abstract provided.

On Lexicographic Proof Rules For Probabilistic Termination, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevucký, Dorde Zikelic

Research Collection School Of Computing and Information Systems

We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous work have a limitation that impedes their automation: all of their components have to be non-negative in all reachable states. This might result in a LexRSM not existing even for simple terminating programs. Our contributions are twofold. First, we introduce a generalization of LexRSMs that allows for some …

Human-Computer Interaction And Artificial Intelligence For Ageing Population, Keng Siau, Hailiang Wang, Fiona Fui-Hoon Nah, Runyu Wang, Ruitong Che, Can Liu

Research Collection School Of Computing and Information Systems

As the global population ages rapidly, the field of human-computer interaction (HCI) is in urgent need of innovation, redesign, and reengineering to meet the evolving needs of older adults. The older demographic faces a range of challenges—including physical limitations, cognitive decline, reduced social in-tegration, and varying levels of technological literacy—that can hinder effective engagement with digital technologies. In response to these challenges, research-ers and designers are using inclusive and adaptive approaches to enhance acces-sibility, usability, and emotional well-being. This paper reviews key design prin-ciples in HCI for the ageing population and discusses how artificial intelligence (AI) tools, such as voice …

Unlocking The Power Of Socio-Knowledge Association For Enterprise Risk Identification In Stock Market, Zhenghao Liu, Keng Siau, Shaochen Yang, Feicheng Ma

Research Collection School Of Computing and Information Systems

Potential risk signals reflected in supply chain and equity connections between enterprises and social connections between investors are becoming crucial to identifying enterprise risks in addition to basic financial indicators. Traditional risk management systems face challenges in adapting to these complexities, highlighting the need for a proactive paradigm shift in risk management. Leveraging graph models such as social networks and knowledge graphs offers a promising approach to identifying and managing potential associated risks effectively. To bridge existing research gaps, a novel risk identification framework driven by social-knowledge graphs has been proposed, integrating graph deep learning and reinforcement learning techniques guided …

Large Language Models For Logical Fallacy Detection, Nicole Anne Hui-Ying Teo, Donghao Huang, Erik Cambria, Zhaoxia Wang

Research Collection School Of Computing and Information Systems

Identifying logical fallacies is essential for maintaining log-ical reasoning and reducing false information in a variety of domains, such as the media, law, and education. We present an extensive study on the use of large language models (LLMs) for logical fallacy detection and provide a comparative overview of model performance across various fallacy classes. We evaluate the logical fallacy detection capabilities of multiple state-of-the-art models (LLaMA, Qwen, Gemma, Phi) utilizing accuracy, precision, recall, and F1-score as assessment measures. Accord-ing to our findings, our models do well on simple fallacies like “circular reasoning,” but they have trouble with more interpretive reasoning …

The Right To Exit Religion, Zalman Rothschild

Articles

This Article argues that just over fifty years ago, in Wisconsin v. Yoder, the Supreme Court recognized what might be called a right to exit religion. In this decision, the Court expressed appreciation for preserving insular religious communities, while simultaneously articulating the principle that accommodations for such communities must not unduly restrict community members’ ability to exit should they wish to do so. Yet courts and scholars have largely overlooked Yoder’s recognition of a right to exit religion. To make this “right” more concrete, the Article examines impediments to it through a case study of one large insular religious community—the …

The Right Answer For The Wrong Reason: Preservice Science And Mathematics Teacher Preferences And Explanations Of Inquiry-Based Teaching, Elizabeth R. Goldberg, Taylor K. Darwin

School of Integrative Biological & Chemical Sciences Faculty Publications

Inquiry in science and mathematics education has a long and established history within the student-centered teaching movement because it can positively impact student learning, retention, and engagement. Yet few teachers have embraced these practices in the classroom. Potential reasons include misalignment of teachers’ attitudes about inquiry and a lack of understanding of what inquiry is and how to implement it in the classroom. This mixed-methods study compares these claims by examining preservice teachers’ attitudes and knowledge about inquiry-based teaching. Eighty-seven discussion posts were analyzed on preservice science and math teachers’ preferences for inquiry-based versus teacher-centered instruction at the beginning and …

Thriving In The Age Of Ai: Navigating Ai Identity Threat Through Ai Job Crafting, Yuming He

Theses and Dissertations in Business Administration

As artificial intelligence (AI) technologies like GenAI tools increasingly reshape the workplace, employees increasingly face threats to their work identity. Grounded in the identity threat response model and job crafting theory, this study investigates how AI identity threat influences employee AI job crafting behaviors and how these behaviors, in turn, affect vitality and learning. Using survey data from 521 full-time employees who actively engage with AI tools, the results indicate that AI identity threat stimulates both AI approach job crafting and AI avoidance job crafting. AI approach crafting enhances both vitality and learning, while AI avoidance crafting only supports vitality. …

Specialization Or Diversification? Creators’ Strategies On User-Generated Content Platforms, Ziwei Ye

Theses and Dissertations in Business Administration

Recent advancements in digital platforms have reshaped content creation and distribution. User-generated content (UGC), created and shared by internet users, is transforming entertainment, communication, and information sharing. The rise of UGC has fueled the growth of the "creator economy"—an ecosystem of creators, users, and advertisers facilitated by platforms such as YouTube and TikTok. While prior research has primarily explored how UGC platforms incentivize content quantity and quality, this study advances the literature by examining how creators' content strategies influence consumer attention and how platform mechanisms shape this relationship, offering new insights into the interplay between creator behavior and platform design. …

Property Testing Ai: An Efficient Frontier, Paul Sopher Lintilhac

Dartmouth College Ph.D Dissertations

In this dissertation, we take a step towards addressing the major problem of a lack of standardized and rigorous approaches to testing and evaluation of AI systems. Taking inspiration from both the fields of Property Testing and Property Based Testing (for programs), we develop a novel taxonomy of partially overlapping classes of properties of AI systems, including simple properties, compound properties, higher order properties, data relation properties, and architecture-utility properties. We argue that this taxonomy categorizes a diverse set of AI traits -- including accuracy, fairness, robustness, monotonicity, point-wise and global privacy properties, sensitivity, and more -- according to the …

Final Butte Priority Soils Operable Unit (Bpsou) Unreclaimed Sites: Ur-03 Site Remedial Action Work Plan (Rawp), Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Final Bpsou Unreclaimed Sites: Ur-05 Remedial Action Work Plan (Rawp), Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Modeling Femtosecond Laser Interaction With Glass For Optical Fabrication, Nathan Klein

Theses

The fabrication of precision optics is critical for a wide range of applications, including biosensors, virtual and augmented reality, medical imaging, and micro-electronics. However, it is challenging to meet the demands of these applications with conventional chemical and mechanical fabrication methods, as they can introduce chemical waste, mid-spatial-frequency errors, and subsurface damage that degrades image quality. Femtosecond lasers have emerged as a promising alternative, offering fast, non-contact, and chemical-free machining with single digit nanometer precision. This thesis presents a computational model designed to investigate the interaction process between a high-intensity femtosecond laser pulse and dielectric material. A pulse propagation model …

Investigating Hardware Injections In Ligo O3 Data: Simulated Signals From A Neutron Star In A Low-Mass X-Ray Binary, Jediah Gofhaone Tau

Theses

Simulated continuous gravitational wave (CW) signals, called hardware (HW) injections were added to the data in the LIGO detectors' third observing run (O3), including two periodic signals mimicking a spinning neutron star in a binary system, similar to the Low-Mass X-Ray Binary (LMXB) Scorpius X-1 (Sco X-1). Using a cross-correlation pipeline, which searched for CWs from Sco X-1 in O3, we searched for these HW injections, using an uncertainty around the true signal parameters akin to the uncertainty associated with the parameters of Sco X-1. One of the signals, residing in the 230-235 Hz frequency band, was detected. The other …

Observational Predictions For Convective Common Envelopes, Nikki Noughani

Theses

Common envelopes (CEs) are thought to be the main method for producing tight binary systems in the universe, as the orbital period shrinks by several orders of magnitude during this phase. Despite their importance for many stellar evolution channels, direct detections are rare, and thus observational constraints on common envelope physics are often inferred from post-CE populations. Recently, galactic population observations suggest that the CE phase must be highly inefficient at using orbital energy to drive envelope ejection for low-mass systems and highly efficient for high-mass systems. Such a dichotomy has been explained by an interplay between convection, radiation, and …

Artificial Intelligence & Defamation Law: An Excuse To Do Away With The Infamously Controversial Section 230?, Kathryn Binder

UC Law Journal

With the growing prevalence of artificial intelligence (AI) in various aspects of our lives, it is not surprising that it has become a subject of legal disputes and controversy. In 2023, an individual filed the first defamation lawsuit against AI company, OpenAI, for its ChatGPT service, leaving many to speculate how the court will proceed. This Note assesses the viability of defamation actions against generative AI platforms and their broader effect on defamation law. Particularly, this Note considers how courts may characterize these platforms and how specific characterizations could further the controversy over an already polarizing and hotly debated piece …

Poa Annua Ecology, Biology, And Integrated Weed Management Practices In Turfgrass, David Ervin

Environmental Science and Management Faculty Publications and Presentations

Poa annua L. is one of the most widespread and troublesome weeds of turfgrass. It persists as both an annual and perennial and is adaptable to almost any static maintenance regime, including adaptation to mowing heights and evolution of herbicide resistance. This management guide is intended to provide stakeholders with a summary of new and existing knowledge on integrated Poa annua management. Here we review the basic biology and ecology, as well as practical integrated weed management (IWM) strategies developed for its control.

Indigenous Science And The Legacy Of Fire: Resilience, Fuels, Mosaics, And Eco-Cultural Landscapes In Oregon’S Coastal And Cascade Range, Julia Alcalá

University Honors Theses

Most of Oregon's western Cascade and Coastal range is a landscape that has historically been considered devoid of mid to low-intensity fires by Western science. However, for time immemorial, Indigenous peoples have been stewarding the forests through the use of "good fire," creating diverse and heterogenous landscapes with mixed fire regimes, ranging from less than a decade to several centuries since the last fire, resulting in a mosaic of patchy forest, oak savannas, prairies, and wetlands. Yet centuries of Indigenous displacement, cultural assimilation, and suppression of cultural burning contributed to this prevailing belief. Despite that, in recent decades, Western scientists …

Surface Temperature Analysis Report: Kellogg Creek Restoration & Community Enhancement Project, Dalton Palin

University Honors Theses

Kellogg Creek is located in the Kellogg-Mt Scott watershed which flows through downtown Milwaukie, Oregon into the Willamette River. At the confluence of Kellogg Creek and the Willamette River is the Kellogg Dam. This dam impedes salmon, steelhead, and lamprey movement up Kellogg Creek, which is known historically as a salmon and steelhead rearing and migrating habitat. A plan to remove Kellogg Dam and restore 14 acres of Kellogg Creek is in progress by North Clackamas Watersheds Council (NCWC) and partners. Water temperature studies in Kellogg Creek have been conducted for the past several years, this report analyzed thermal surface …

An Exposition Of "Probabilistic Polynomials And Hamming Nearest Neighbors", Vivek Srirama

University Honors Theses

This paper is an exposition of the paper Probabilistic Polynomials and Hamming Nearest Neighbors by Josh Alman and Ryan Williams. It presents the findings of this paper in a more accessible format for Computer Science students earlier in their career who may not be as familiar with Computational Theory and its concepts as their PhD counterparts are. The paper assumes that the reader has a basic understanding of Algorithms and Complexity, typically obtained in an introductory level Algorithms course.

The paper by Alman and Williams analyzes a specific problem known as the Hamming Nearest Neighbor problem. All known solutions for …

Contract Quality Feature Extraction Using Llm, Aaron C. Washington

Theses and Dissertations

This study explored the potential insights generated from linguistic complexity measurements and large language model (LLM) based assessments on the quality of contract documents. By combining structured True/False prompts with log-probability analysis and ambiguity scoring, the study introduced novel contract-quality assessment methods. Results support a feature-driven approach to contract evaluation, one that offers automated, scalable insights for triaging risk and improving drafting practices. These assessment methods contribute to the growing field of legal natural language processing by offering modular tools for effective contract analysis.