static analysis

A Compilation-Based Under-Constrained Execution Engine OSDI 2026 Aletheia: Automated Detection of Data Integrity Violations in Microservices OSDI 2026 AutoMalDesc: Large-Scale Script Analysis for Cyber Threat Research AAAI 2026 Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation ACL 2026 Diagnosing Performance Issues in Application-Defined Resources OSDI 2026 Dynamic-Static Synergistic Selection Method for Candidate Code Solutions with Generated Test Cases AAAI 2026 SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification ACL 2026 Themis: Detecting Distributed Concurrency Bugs through RPC-Driven Race-Directed Test Generation and Fuzzing NSDI 2026 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 CRScore: Grounding Automated Evaluation of Code Review Comments in Code Claims and Smells NAACL 2025 Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems OSDI 2025 IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities ICLR 2025 Paralegal: Practical Static Analysis for Privacy Bugs OSDI 2025 When Prompt Engineering Meets Software Engineering: CNL-P as Natural and Robust "APIs'' for Human-AI Interaction ICLR 2025 Can We Statically Locate Knowledge in Large Language Models? Financial Domain and Toxicity Reduction Case Studies EMNLP 2024 CoCoMIC: Code Completion by Jointly Modeling In-file and Cross-file Context COLING 2024 Coeditor: Leveraging Repo-level Diffs for Code Auto-editing ICLR 2024 DRSM: De-Randomized Smoothing on Malware Classifier Providing Certified Robustness ICLR 2024 Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States NSDI 2024 Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback ACL 2024 A Static Evaluation of Code Completion by Large Language Models ACL 2023 Can Large Language Models Reason about Program Invariants? ICML 2023 CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion NeurIPS 2023 Honeycomb: Secure and Efficient GPU Executions via Static Validation OSDI 2023 Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context NeurIPS 2023