-
AlphaLLVM Public
The AlphaLLVM programming language compiler.
-
DiTOX Public
A powerful utility that performs differential testing and automatic fault detection in the ONNX Optimizer. Contribution accepted and appeared in ACM SIGPLAN CC'26.
-
SeQTO Public
A utility for selective quantization tuning of ONNX models. Contribution accepted and to appear in IEEE/ACM ICSE '26 (NIER Track).
-
-
MutateNN Public
A suite for mutation testing and analysis of DNNs utilized for image recognition tasks and deployed on a variety hardware acceleration devices. Paper contribution accepted and presented in ICST Mut…
Python Apache License 2.0 UpdatedJan 17, 2026 -
DeltaNN Public
A comprehensive suite for compiling, optimizing, executing and analyzing pretrained DNNs under different computational environment settings. Source code for work presented at ICSME'23.
-
FetaFix Public
Automatic Fault Localization and Repair of Deep Learning Model Conversions between Frameworks. Presented at ASE'23 and EASE'25.
-
UsersOrdersAPI Public
Basic API Project For User & Order Management. This is the sample test project for Software Testing Course at the University of Edinburgh.
-
-
-
sandwood Public
Forked from oracle/sandwoodSandwood - A JVM based Java like Probabilistic Programming Language
Java Other UpdatedAug 21, 2024 -
DeltaNN-Results Public
The Results of DeltaNN, as provided in the paper presented at ICSME '23.
UpdatedJul 9, 2023 -
-
CSD-HY340 Public
Forked from vervelak/CSD-HY340Compiler and Virtual Machine for Alpha, a small, dynamic programming language. Version 0.1.0, unstable.
C UpdatedApr 19, 2013
{{ message }}