Software Engineering

From Intention to Practice: Towards Systematic Validation of NIDS Rule Enforcement NSDI 2026 From Laboratory to Real-World Applications: Benchmarking Agentic Code Reasoning at the Repository Level ACL 2026 GraCE: Unlocking CUDA Graphs with Compiler Support for ML Workloads OSDI 2026 High Fidelity Models for Large Scale Stateful Services (Operational Systems) OSDI 2026 Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization NSDI 2026 Ichnaea: A Framework for Precise Tracking of Memory Objects OSDI 2026 Incr: Faster Re-Execution via Bolt-On Incrementalization OSDI 2026 jwmalloc: A Verified Memory Allocator for Mobile Devices OSDI 2026 KeepON: Supporting Deterministic Traffic on Standard NICs NSDI 2026 Königsberg at SemEval-2026 Task 13: Beyond Language Models: A Low-Resource Feature-Driven and Data-Flow Embedding Approach for Machine-Generated Code Detection SemEval 2026 kSTEP: Characterization and Deterministic Testing of Linux CPU Scheduler Bugs OSDI 2026 LAFED at SemEval-2026 Task 13: Language-Agnostic Feature Engineering for Cross-Lingual AI-Generated Code Detection SemEval 2026 Late Code Chunking: A Code Chunking Strategy for Repository-Level Code Completion ACL 2026 LATE-IIMAS at Semeval-2026 Task 13: Evaluating GNNs, PLMs, LLMs, and Stylometry for Automatic Code Identification SemEval 2026 Leveraging Generative AI for Extracting Business Requirements from Legacy COBOL and PL/I Code ACL 2026 Lifting Optimized Binaries to Canonical Compiler IR via Structure-Aware Retrieval and Iterative Verification ACL 2026 LogicEval: A Systematic Framework for Evaluating Automated Repair Techniques for Logical Vulnerabilities in Real-World Software ACL 2026 MALTO at SemEval-2026 Task 13: Detecting Human, AI, and Hybrid Code via Hard Negative Mining and Curriculum-Driven Ensembles SemEval 2026 Matryoshka: Realizing Hyperscale Data Center Network Design for the AI Era NSDI 2026 Mimesys: Generating Realistic Executable Testing Environments from Resource Usage Traces OSDI 2026 MindFlayer at SemEval-2026 Task 13:LACR-ENS: Calibration-Aware Ensemble Routing for Cross-Language AI-Generated Code Detection SemEval 2026 MirrorNet: High-fidelity and Scalable Network Emulation for Software-defined WAN NSDI 2026 Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine OSDI 2026 MPK: A Compiler and Runtime for Mega-Kernelizing Tensor Programs OSDI 2026 Neuro-Symbolic Proof Generation for Scaling Systems Software Verification OSDI 2026