The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025) by zixuan yuan (17602152)

“…</li><li><ul><li><code><strong>DBDS</strong></code>: The code implements our proposed dynamic scheduling execution method, which systematically explores task interleaving for atomicity violation detection, enhanced by an effective prefix-directed strategy.…”

Genosophus: A Dynamical-Systems Diagnostic Engine for Neural Representation Analysis by Alan Glanz (22109698)

“…</p><h2><b>Included Files</b></h2><h3><b>1. </b><code><strong>GenosophusV2.py</strong></code></h3><p dir="ltr">Executable Python implementation of the Genosophus Engine.…”

adnus by Mehmet Keçeci (14301782)

“…<p dir="ltr">adnus (AdNuS): Advanced Number Systems</p><p dir="ltr">adnus is a Python library that provides an implementation of various advanced number systems. …”

Attention and Cognitive Workload by Rui Varandas (11900993)

“…</p><p dir="ltr">The data for subject 2 do not include the 2nd part of the acquisition (python task) because the equipment stopped acquiring; subject 3 has the 1st (N-Back task and mental subtraction) and the 2nd part (python tutorial) together in the <code>First part</code> folder (file <code>D1_S3_PB_description.json</code> indicates the start and end of each task); subject 4 only has the mental subtraction task in the 1st part acquisition and in subject 8, the subtraction task data is included in the 2nd part acquisition, along with python task.…”

Missing Value Imputation in Relational Data Using Variational Inference by Simon Fontaine (7046618)

“…Additional results, implementation details, a Python implementation, and the code reproducing the results are available online. …”

Audio Datasets of belt conveyor rollers in mines by Juan Liu (19687435)

“…</li><li><b>Python Code: </b>This code validates the accuracy and usability of the audio feature datasets in real-time monitoring of belt conveyor roller operational states.…”

GeoGraphNetworks: Shapefile-Derived Datasets for Accurate and Scalable Graphical Representations by Harish Sharma (18881935)

“…The rail line infrastructure of the USA is represented as a single network that covers the entire country and includes connectivity to Canada. …”

Advancing Solar Magnetic Field Modeling by Carlos António (21257432)

“…<br><br>We developed a significantly faster Python code built upon a functional optimization framework previously proposed and implemented by our team. …”

Spotted owl habitat quality maps and disturbance attribution analysis by Josh Barry (7573823)

“…<p dir="ltr">This dataset includes annual spatial maps of spotted owl nesting habitat quality in Southern California and an accompanying ArcPython script used to attribute negative annual habitat change to wildfire (Barry et al., 2025). …”

Data and software for "Social networks affect redistribution decisions and polarization" by Milena Tsvetkova (11217969)

“…</p><p dir="ltr">The repository contains data in .csv and .xlsx format, model code in .nlogox Netlogo format, analysis code in .ipynb Jupyter notebooks, and helping code in .py Python files.…”

Missing and Unaccounted-for People in Mexico (1960s–2025) by Montserrat Mora (20430644)

“…</li><li><b>Requirements File:</b> A <code>requirements.txt</code> file listing the necessary Python libraries to run the script seamlessly.…”

RabbitSketch by tong zhang (20852432)

“…RabbitSketch achieves significant speedups compared to existing implementations, ranging from 2.30x to 49.55x.In addition, we provide flexible and easy-to-use interfaces for both Python and C++. …”

face recognation with Flask by Muammar, SST, M.Kom (21435692)

“…Built using the <b>Flask</b> web framework (Python), this system provides a lightweight and scalable solution for implementing facial recognition capabilities in real-time or on-demand through a browser interface.…”

Physiotherapist-Assisted Wrist Movement Protocol for EEG-Based Corticokinematic Coherence Assessment by Fanni Kovács (21733838)

“…</li></ol><h4><b>Movement File Structure</b></h4><p dir="ltr">Each entry contains:</p><ul><li><code><strong>time</strong></code>: a 32-bit unsigned integer indicating the timestamp in milliseconds,</li><li><code><strong>x</strong></code>, <code><strong>y</strong></code>, <code><strong>z</strong></code>: 16-bit signed integers representing acceleration along the respective axes,</li><li><code><strong>trigger</strong></code>: an 8-bit unsigned integer used to mark event-related triggers for synchronization with the EEG data (e.g., movement onset).…”

Cognitive Fatigue by Rui Varandas (11900993)

“…<br></p><p dir="ltr"><b>HCI features</b> encompass keyboard, mouse, and screenshot data. Below is a Python code snippet for extracting screenshot files from the screenshots CSV file.…”

Keyhole Imagery Global Coverage Dataset (1960–1984) by Hao Li (20223762)

“…</li><li><b>Code</b>: Python scripts implementing the three-step workflow (imagery classification, global grid generation, and point-based property calculation).…”

Recursive generation of substructures using point data by Jackie R (18359715)

“…<p dir="ltr">The dataset contains generated substructure using POI in China, the pseudo code for the algorithm and python implement of the algorithm. …”

Demonstration of Isosteric Heat of Adsorption Calculation using AIFs and pyGAPs by Jack Evans (11275386)

“…</p><p dir="ltr">The calculation is performed using the Clausius-Clapeyron method as implemented in the <code><strong>pyGAPS</strong></code> Python library for adsorption science. …”

<b>Testing AI Applications Under Nondeterminism, Drift, and Resource Constraints</b> by Nariman Mani (21380459)

“…<ul><li>A <b>Python repo</b> with minimal implementations of all five layers<br>(<b>COL</b>, <b>SCL</b>, <b>CDM</b>, <b>RPE</b>, <b>RAS</b>) plus an <b>orchestrator</b> and utilities.…”

Soulware-Lite by Abhiram Gnyanijaya (21572942)

“…It operates as middleware to intercept user inputs and LLM outputs, performing real-time semantic auditing, belief-state tracking, introspective alignment scoring (KRW, deltaΨ), and automated self-correction.…”