Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation", In Proceedings of The ACM Conference on Foundations of Software Engineering (FSE 2025), Trondheim, Norway, June 2025
☆34Dec 20, 2025Updated 2 months ago
Alternatives and similar repositories for AlphaTrans
Users that are interested in AlphaTrans are comparing it to the libraries listed below
Sorting:
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- ☆44Oct 27, 2025Updated 4 months ago
- Measure Linux kernel's modified condition/decision coverage (MC/DC)☆12Feb 3, 2026Updated 3 weeks ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- An MLIR-based compiler from C/C++ to AMD-Xilinx Versal AIE☆18Aug 5, 2022Updated 3 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 9 months ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- PERM GaussianKG☆10Nov 24, 2021Updated 4 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆38Feb 6, 2026Updated 3 weeks ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- An efficient storage system for concurrent graph processing☆10Feb 1, 2021Updated 5 years ago
- ☆12May 2, 2022Updated 3 years ago
- ☆13Dec 17, 2025Updated 2 months ago
- A unified programming framework for high and portable performance across FPGAs and GPUs☆11Mar 23, 2025Updated 11 months ago
- ☆11Apr 10, 2023Updated 2 years ago
- ☆12Feb 29, 2020Updated 6 years ago
- Repository for ICLR'23 Long-tailed Learning Requires Feature Learning☆10Feb 22, 2023Updated 3 years ago
- Implementation for the PHM paper at ICLR'21☆13Mar 1, 2023Updated 2 years ago
- A Pytorch implementation of "Rare Tokens Degenerate All Tokens: Improving Neural Text Generation via Adaptive Gradient Gating for Rare To…☆10Apr 20, 2022Updated 3 years ago
- ☆15Feb 21, 2026Updated last week
- A demo 1-to-1 implementation with high availability in Golang for Raft, based on 6.824's raft labs. (NJU dissys course's lab code)☆13Dec 30, 2021Updated 4 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated 11 months ago
- AccelOpt: Self-improving Agents for AI Accelerator Kernel Optimization☆23Feb 18, 2026Updated last week
- Vivado HLS study notes, courses, documents.☆12Dec 7, 2019Updated 6 years ago
- Small PDF manipulation scripts☆15Apr 16, 2025Updated 10 months ago
- Binary Neural Network-based COVID-19 Face-Mask Wear and Positioning Predictor on Edge Devices☆12Jul 1, 2021Updated 4 years ago
- Topochecker, a topological model checker☆19Nov 19, 2019Updated 6 years ago
- Full guide of 6.828 OS Lab☆15Aug 29, 2020Updated 5 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 15, 2024Updated last year
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- The Cubicle model checker☆14Jan 12, 2026Updated last month
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- egraph <-> json☆16Dec 29, 2025Updated 2 months ago
- Slides from 2021-12-15 talk, "TVM Developer Bootcamp – Writing Hardware Backends"☆11Jan 20, 2022Updated 4 years ago
- Provenance/Replay OBservation Engine: record what your processes are doing and replay it later☆14Feb 18, 2026Updated last week
- Graph Learning at Scale: Characterizing and Optimizing Pre-Propagation GNNs (MLSys'25)☆17Apr 4, 2025Updated 10 months ago
- Refinement type checking and inference tool for Rust