Software Engineering

A Common Interface for Automatic Differentiation JMLR 2026 A Compilation-Based Under-Constrained Execution Engine OSDI 2026 A Composable Emulation Framework for Whitebox Switches NSDI 2026 Acumen: A Platform for Encrypted and Accountable Collaborative Editing OSDI 2026 Agentic Rubrics as Contextual Verifiers for SWE Agents ACL 2026 AIRCoder: Adaptive Integration of Multi-dimensional Retrieval for Repository-level Code Completion ACL 2026 AKCIT at SemEval-2026 Task 13: A Lightweight LightGBM Baseline for Cross-Language Detection of LLM-Generated Code SemEval 2026 Aletheia: Automated Detection of Data Integrity Violations in Microservices OSDI 2026 Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation ACL 2026 CASS: Nvidia to AMD Transpilation with Data, Models, and Benchmark ACL 2026 ChatHLS: Towards Systematic Design Automation and Optimization for High-Level Synthesis ACL 2026 ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning ACL 2026 CODESTRUCT: Code Agents over Structured Action Spaces ACL 2026 contestant001 at SemEval-2026 Task 13 Stylometric and TF-IDF-Based Detection of Machine-Generated Code SemEval 2026 Controlling Opaque-Component Effects with Semisolates and Try OSDI 2026 CoQuIR: A Comprehensive Benchmark for Code Quality-Aware Information Retrieval ACL 2026 Detecting and Diagnosing Errors in Serving Archived Web Pages NSDI 2026 Diagnosing Performance Issues in Application-Defined Resources OSDI 2026 ECO: An AI-Driven Code Efficiency Optimizer for Warehouse Scale Computers (Operational Systems) OSDI 2026 EGSS: Entropy-guided Stepwise Scaling for Reliable Software Engineering ACL 2026 Extracting Database Access-Control Policies from Web Applications OSDI 2026 Eywa: Automating Model-Based Testing using LLMs NSDI 2026 Feedback-guided Adaptive Testing of Distributed Systems Designs NSDI 2026 FMISUYotkovaKastreva at SemEval-2026 Task 13: Lightweight Detection of LLM-Generated Code via Stylometric Signals SemEval 2026 Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis ACL 2026