static analysis

TypeT5: Seq2seq Type Inference using Static Analysis ICLR 2023 Demystifying and Checking Silent Semantic Violations in Large Distributed Systems OSDI 2022 KSplit: Automating Device Driver Isolation 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 Epistemic Integrity Constraints for Ontology-Based Data Management AAAI 2020 Understanding, Detecting and Localizing Partial Failures in Large System Software NSDI 2020 Performance Contracts for Software Network Functions NSDI 2019 VulSniper: Focus Your Attention to Shoot Fine-Grained Vulnerabilities IJCAI 2019 Inferring Generative Model Structure with Static Analysis NeurIPS 2017 Early Detection of Configuration Errors to Reduce Failure Damage OSDI 2016 Mal-ID: Automatic Malware Detection Using Common Segment Analysis and Meta-Features JMLR 2012 Static Analysis of Binary Executables Using Structural SVMs NeurIPS 2010