conftrace_
← Applications
Computer Science › Applications ›

Software Engineering

593 papers

Papers per year

3
1
51
131
'10
'15
'20
'25

Papers

Enhancing Cross-Language Code Translation via Task-Specific Embedding Alignment in Retrieval-Augmented Generation NAACL 2025
Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs NAACL 2025
VEP: A Two-stage Verification Toolchain for Full eBPF Programmability NSDI 2025
PreAcher: Secure and Practical Password Pre-Authentication by Content Delivery Networks NSDI 2025
Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems OSDI 2025
KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads OSDI 2025
Paralegal: Practical Static Analysis for Privacy Bugs OSDI 2025
AlchemistCoder: Harmonizing and Eliciting Code Capability by Hindsight Tuning on Multi-source Data NIPS 2024
EffiBench: Benchmarking the Efficiency of Automatically Generated Code NIPS 2024
Mercury: A Code Efficiency Benchmark for Code Large Language Models NIPS 2024
A Systematic Review of NeurIPS Dataset Management Practices NIPS 2024
Verified Code Transpilation with LLMs NIPS 2024
SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering NIPS 2024
MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution NIPS 2024
OSWorld: Benchmarking Multimodal Agents for Open-Ended Tasks in Real Computer Environments NIPS 2024
MILP-StuDio: MILP Instance Generation via Block Structure Decomposition NIPS 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
EvoCodeBench: An Evolving Code Generation Benchmark with Domain-Specific Evaluations NIPS 2024
Assemblage: Automatic Binary Dataset Construction for Machine Learning NIPS 2024
SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning NIPS 2024
Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation NIPS 2024
ACES: Generating a Diversity of Challenging Programming Puzzles with Autotelic Generative Models NIPS 2024
kGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution NIPS 2024
SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents NIPS 2024
Croissant: A Metadata Format for ML-Ready Datasets NIPS 2024