← Applications
Computer Science › Applications ›

Software Engineering

567 directly classified papers

Papers per year

Papers

AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agents ACL 2024
Mercury: A Code Efficiency Benchmark for Code Large Language Models NIPS 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
Assemblage: Automatic Binary Dataset Construction for Machine Learning NIPS 2024
Bridging the Gap between Source Code and Requirements Using GPT (Student Abstract) AAAI 2024
AlchemistCoder: Harmonizing and Eliciting Code Capability by Hindsight Tuning on Multi-source Data NIPS 2024
Purpose Enhanced Reasoning through Iterative Prompting: Uncover Latent Robustness of ChatGPT on Code Comprehension IJCAI 2024
Croissant: A Metadata Format for ML-Ready Datasets NIPS 2024
ACES: Generating a Diversity of Challenging Programming Puzzles with Autotelic Generative Models NIPS 2024
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? ACL 2024
CodeInsight: A Curated Dataset of Practical Coding Solutions from Stack Overflow ACL 2024
Correct and Optimal: The Regular Expression Inference Challenge IJCAI 2024
EffiLearner: Enhancing Efficiency of Generated Code via Self-Optimization NIPS 2024
SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents NIPS 2024
Visual Layout Composer: Image-Vector Dual Diffusion Model for Design Layout Generation CVPR 2024
Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring IJCAI 2024
Using Symmetries to Lift Satisfiability Checking AAAI 2024
MILP-StuDio: MILP Instance Generation via Block Structure Decomposition NIPS 2024
AdaCCD: Adaptive Semantic Contrasts Discovery Based Cross Lingual Adaptation for Code Clone Detection AAAI 2024
MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution NIPS 2024
Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States NSDI 2024
INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness NIPS 2024
Proof Logging for Smart Extensional Constraints (Extended Abstract) IJCAI 2024
Automated CPU Design by Learning from Input-Output Examples IJCAI 2024
Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting AAAI 2024