bug detection

A Compilation-Based Under-Constrained Execution Engine OSDI 2026 Lazy Testing of Machine-Learning Models IJCAI 2025 LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs ACL 2025 MeshTest: End-to-End Testing for Service Mesh Traffic Management NSDI 2025 Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025 Automatic Bug Detection in LLM-Powered Text-Based Games Using LLMs ACL 2024 Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation OSDI 2024 Sanitizing Large Language Models in Bug Detection with Data-Flow EMNLP 2024 Large Language Models of Code Fail at Completing Code with Potential Bugs NeurIPS 2023 Adaptive Testing and Debugging of NLP Models ACL 2022 Automatic Reliability Testing For Cluster Management Controllers OSDI 2022 Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures OSDI 2022 DURINN: Adversarial Memory and Thread Interleaving for Detecting Durable Linearizability Bugs OSDI 2022 On Distribution Shift in Learning-based Bug Detectors ICML 2022 SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers NSDI 2022 Metha: Network Verifiers Need To Be Correct Too! NSDI 2021 Self-Supervised Bug Detection and Repair NeurIPS 2021 AGAMOTTO: How Persistent is your Persistent Memory Application? OSDI 2020 Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing OSDI 2020 HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS ICLR 2020 Understanding, Detecting and Localizing Partial Failures in Large System Software NSDI 2020 Concurrency Debugging with MaxSMT AAAI 2019 Dataplane equivalence and its applications NSDI 2019 Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018 Correct by Construction Networks Using Stepwise Refinement NSDI 2017