conftrace_

static analysis

30 papers

Explore in graph

Co-occurring keywords

distributed system (96) large language model (13587) code generation (746) code completion (43) program analysis (33) malware detection (25) language model (4599) software development (26) runtime verification (9) dynamic analysis (5)

Papers

AutoMalDesc: Large-Scale Script Analysis for Cyber Threat Research AAAI 2026
Bridging Kernel Drivers and Virtual Device Models with LLM-Powered Automation ACL 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
CRScore: Grounding Automated Evaluation of Code Review Comments in Code Claims and Smells NAACL 2025
Paralegal: Practical Static Analysis for Privacy Bugs OSDI 2025
Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems OSDI 2025
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025
Can We Statically Locate Knowledge in Large Language Models? Financial Domain and Toxicity Reduction Case Studies EMNLP 2024
Efficient Exposure of Partial Failure Bugs in Distributed Systems with Inferred Abstract States NSDI 2024
CoCoMIC: Code Completion by Jointly Modeling In-file and Cross-file Context COLING 2024
Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback ACL 2024
Honeycomb: Secure and Efficient GPU Executions via Static Validation OSDI 2023
A Static Evaluation of Code Completion by Large Language Models ACL 2023
Can Large Language Models Reason about Program Invariants? ICML 2023
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context NIPS 2023
CrossCodeEval: A Diverse and Multilingual Benchmark for Cross-File Code Completion NIPS 2023
KSplit: Automating Device Driver Isolation OSDI 2022
Demystifying and Checking Silent Semantic Violations in Large Distributed Systems OSDI 2022
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing OSDI 2022
Horcrux: Automatic JavaScript Parallelism for Resource-Efficient Web Computation OSDI 2021
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs OSDI 2021
Understanding, Detecting and Localizing Partial Failures in Large System Software NSDI 2020
Epistemic Integrity Constraints for Ontology-Based Data Management AAAI 2020
Performance Contracts for Software Network Functions NSDI 2019