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

"…</p><h3><b>Installation</b></h3><h4><b>install Dependencies</b></h4><p dir="ltr">Our artifact depends on several packages, please run the following command to install all necessary dependencies.</p><pre><pre>sudo apt-get install -y wget git build-essential python3 python python-pip python3-pip tmux cmake libtool libtool-bin automake autoconf autotools-dev m4 autopoint libboost-dev help2man gnulib bison flex texinfo zlib1g-dev libexpat1-dev libfreetype6 libfreetype6-dev libbz2-dev liblzo2-dev libtinfo-dev libssl-dev pkg-config libswscale-dev libarchive-dev liblzma-dev liblz4-dev doxygen libncurses5 vim intltool gcc-multilib sudo --fix-missing<br></pre></pre><pre><pre>pip install numpy && pip3 install numpy && pip3 install sysv_ipc<br></pre></pre><h4><b>Download the Code</b></h4><p dir="ltr">Download <b>DD4AV</b> from the Figshare website to your local machine and navigate to the project directory:</p><pre><pre>cd DD4AV<br></pre></pre><h4><b>Configure Environment and Install the Tool</b></h4><p dir="ltr">For convenience, we provide shell scripts to automate the installation process. …"

RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices حسب RealBench RealBench (22275393)

"…<br>The supplemented materials for Review #2570C is in the ''Response to Review #2570C.md''.<br><br><br></pre><p dir="ltr">This repository contains the implementation of **RealBench**, a comprehensive benchmark and evaluation framework for repository-level code aligned with real-world software development practices.…"

Concurrent spin squeezing and field tracking with machine learning حسب Junlei Duan (18393642)

"…Randomly signal generating codeb.Deep learning codec.data pre-processing code The network is implemented using the torch 1.13.1 framework and CUDA 11.6 on Python 3.8.8. …"

Data and some code used in the paper:<b>Expansion quantization network: A micro-emotion detection and annotation framework</b> حسب Zhou (20184816)

"…</p><p dir="ltr">GPU：NVIDIA GeForce RTX 3090 GPU</p><p dir="ltr">Bert-base-cased pre-trained model: https://huggingface.co/google-bert/bert-base-cased</p><p dir="ltr">python=3.7，pytorch=1.9.0，cudatoolkit=11.3.1，cudnn=8.9.7.29.…"

Compiled Global Dataset on Digital Business Model Research حسب Dimas Fauzan Aryadefa (22123186)

"…</p><p dir="ltr">For the modeling component, annual publication growth is projected from 2025–2034 using a logistic growth model (S-curve) implemented in Python. Outputs include both CSV tables and PNG charts that depict historical trends and forward-looking projections. …"

Global Graph Dataset حسب Winston Yap (13771969)

"…These functionalities have been implemented with the Urbanity python package which provides functionalities for saving, loading, visualising, processing, and converting urban graphs to machine learning friendly formats (PyG and DGL). …"

kececilayout حسب Mehmet Keçeci (14301782)

"…<p dir="ltr"><b>Kececi Layout (Keçeci Yerleşimi)</b>: A deterministic graph layout algorithm designed for visualizing linear or sequential structures with a characteristic "zig-zag" or "serpentine" pattern.</p><p dir="ltr"><i>Python implementation of the Keçeci layout algorithm for graph visualization.…"

Concurrent spin squeezing and field tracking with machine learning حسب Junlei Duan (18393642)

"…<p dir="ltr">The dataset contains:</p><ol><li>Steady_squeezing.zip <b>a)</b> data for steady squeezing data and characteraztion <b>b)</b> data for pulse RF magnetormeter</li><li>Tracking1.zip <b>a)</b> data of OU process for Deep learning <b>b)</b> data of OU-jump process for Deep learning</li><li>Tracking2.zip <b>a)</b> data of white noise process in backaction experiment <b>b) </b>data of white noise process in rearrange experiment</li><li>Code <b>a)</b> Randomly signal generating code <b>b)</b> Deep learning codec.data pre-processing code</li></ol><p dir="ltr">The network is implemented using the torch 1.13.1 framework and CUDA 11.6 on Python 3.8.8. …"

IGD-cyberbullying-detection-AI حسب Bryan James (19921044)

"…</p><pre>pip install -r requirements.txt</pre><h2>Datasets</h2><p dir="ltr">The repository contains preprocessed datasets for both <b>Cyberbullying detection</b> and <b>IGD</b>. …"

Optimized Bayesian regularization-back propagation neural network using data-driven intrusion detection system in Internet of Things حسب Ashok Kumar K (21441108)

"…The proposed DIDS-BRBPNN-BBWOA-IoT method is implemented using Python. The performance of the DIDS-BRBPNN-BBWOA-IoT approach is examined using performance metrics like accuracy, precision, recall, f1-score, specificity, error rate; computation time, and ROC. …"

Data and code for: Automatic fish scale analysis حسب Christian Vogelmann (21646472)

"…<p dir="ltr">This dataset accompanies the publication:<br><b>"Automatic fish scale analysis: age determination, annuli and circuli detection, length and weight back-calculation of coregonid scales"</b><br></p><p dir="ltr">It provides all essential data and statistical outputs used for the <b>verification and validation</b> of the <i>Coregon Analyzer</i> – a Python-based algorithm for automated biometric fish scale measurement.…"

Mean Annual Habitat Quality and Its Driving Variables in China (1990–2018) حسب ChenXi Zhu (21374876)

"…</p><p dir="ltr">(HQ: Habitat Quality; CZ: Climate Zone; FFI: Forest Fragmentation Index; GPP: Gross Primary Productivity; Light: Nighttime Lights; PRE: Mean Annual Precipitation Sum; ASP: Aspect; RAD: Solar Radiation; SLOPE: Slope; TEMP: Mean Annual Temperature; SM: Soil Moisture)</p><p dir="ltr"><br>A Python script used for modeling habitat quality, including mean encoding of the categorical variable climate zone (CZ), multicollinearity testing using Variance Inflation Factor (VIF), and implementation of four machine learning models to predict habitat quality.…"