:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lin, Jingbo, Yu, Yi, Yang, Zhang, Zhao, Yafan
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2407.05652
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Migrating Esope to Fortran 2008 using model transformations
by: Sow, Younoussa, et al.
Published: (2026)

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit
by: Wan, Yao, et al.
Published: (2023)

Smaller but Better: Self-Paced Knowledge Distillation for Lightweight yet Effective LCMs
by: Chen, Yujia, et al.
Published: (2024)

LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
by: Zhang, Kunpeng, et al.
Published: (2026)

Evaluating AI-generated code for C++, Fortran, Go, Java, Julia, Matlab, Python, R, and Rust
by: Diehl, Patrick, et al.
Published: (2024)

The Sustainability Assessment Framework Toolkit: A Decade of Modeling Experience
by: Lago, Patricia, et al.
Published: (2024)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
by: Baksys, Mantas, et al.
Published: (2025)

MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
by: Yang, Tianyi, et al.
Published: (2022)

Portability of Fortran's `do concurrent' on GPUs
by: Caplan, Ronald M., et al.
Published: (2024)

Tokalator: A Context Engineering Toolkit for Artificial Intelligence Coding Assistants
by: Farajijobehdar, Vahid, et al.
Published: (2026)

Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
by: Gao, Zhipeng, et al.
Published: (2024)

Darkit: A User-Friendly Software Toolkit for Spiking Large Language Model
by: Du, Xin, et al.
Published: (2024)

Learning to Solve and Verify: A Self-Play Framework for Code and Test Generation
by: Lin, Zi, et al.
Published: (2025)

EZInput: A Cross-Environment Python Library for Easy UI Generation in Scientific Computing
by: Saraiva, Bruno M., et al.
Published: (2026)

EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows
by: Ali, Muhammad Rizwan, et al.
Published: (2025)

In-IDE Toolkit for Developers of AI-Based Features
by: Sokolov, Yaroslav, et al.
Published: (2026)

CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit
by: Cao, Jialun, et al.
Published: (2024)

From Legacy Fortran to Portable Kokkos: An Autonomous Agentic AI Workflow
by: Gupta, Sparsh, et al.
Published: (2025)

UCRBench: Benchmarking LLMs on Use Case Recovery
by: Xiao, Shuyuan, et al.
Published: (2025)

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
by: Wu, Jingwen, et al.
Published: (2025)

WaveCoder: Widespread And Versatile Enhancement For Code Large Language Models By Instruction Tuning
by: Yu, Zhaojian, et al.
Published: (2023)

Online-Optimized RAG for Tool Use and Function Calling
by: Pan, Yu, et al.
Published: (2025)

HardRace: A Dynamic Data Race Monitor for Production Use
by: Sun, Xudong, et al.
Published: (2024)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits?
by: Voria, Gianmario, et al.
Published: (2024)

A Toolkit for Measuring the Impacts of Public Funding on Open Source Software Development
by: Osborne, Cailean, et al.
Published: (2024)

Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation
by: Wang, Chong, et al.
Published: (2024)

GView: A Versatile Assistant for Security Researchers
by: Zaharia, Raul, et al.
Published: (2024)

EngThrive: Make It Fast and Easy to Do Great Work
by: Houck, Brian, et al.
Published: (2026)

A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing
by: Dick, Steffen, et al.
Published: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
by: Zhao, Jianhong, et al.
Published: (2024)

FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks
by: Kim, Brian Hyeongseok, et al.
Published: (2024)

ExeCoder: Empowering Large Language Models with Executability Representation for Code Translation
by: He, Minghua, et al.
Published: (2025)

Improving Retrieval-Augmented Deep Assertion Generation via Joint Training
by: Zhang, Quanjun, et al.
Published: (2025)

MetaLint: Easy-to-Hard Generalization for Code Linting
by: Naik, Atharva, et al.
Published: (2025)

Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm
by: Lin, Yi, et al.
Published: (2026)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

JC-Finder: Detecting Java Clone-based Third-Party Library by Class-level Tree Analysis
by: Zhao, Lida, et al.
Published: (2025)

Uncovering Non-native Speakers' Experiences in Global Software Development Teams -- A Bourdieusian Perspective
by: Wang, Yi, et al.
Published: (2025)