[SAS] Commercial-Grade Static Analyzers in Datalog
Software development and quality assurance teams use static analyzers to find bugs and adhere to industry standards. Static analyzers must rapidly adapt to various programming styles and project requirements. In addition, they must scale to process large code bases with adequate precision. Unfortunately, implementing commercial-grade static analyzers is tedious, error-prone, time-consuming, and costly.
This talk will outline the rapid implementation of commercial-grade static analyzers in modern Datalog languages and present some industrial use cases. We will discuss the performance challenges of modern Datalog engines used for implementing static analyzers and techniques to make static analyzers scale and truly declarative.
Видео [SAS] Commercial-Grade Static Analyzers in Datalog канала ACM SIGPLAN
This talk will outline the rapid implementation of commercial-grade static analyzers in modern Datalog languages and present some industrial use cases. We will discuss the performance challenges of modern Datalog engines used for implementing static analyzers and techniques to make static analyzers scale and truly declarative.
Видео [SAS] Commercial-Grade Static Analyzers in Datalog канала ACM SIGPLAN
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
TyDe 2021 - Interactive Haskell Type Inference Exploration (Extended Abstract)[OCaml'22] Efficient “out of heap” pointers for multicore OCaml[PriSC'22] Composing Secure CompilersWarping Cache Simulation of Polyhedral Programs[SLE] Property-Based Testing: Climbing the Stairway to Verification[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement[CPP'23] CompCert: a journey through the landscape of mechanized semantics for verified co...Low-Latency, High-Throughput Garbage CollectionDISTAL: The Distributed Tensor Algebra CompilerIRDL: An IR Definition Language for SSA CompilersEfficient Compilation of Algebraic Effect Handlers[ICFP'22] Safe Couplings: Coupled Refinement TypesWebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation LogicInterval Universal Approximation for Neural Networks (Teaser)[POPL'22] Layered and Object-Based Game Semantics[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites[VMCAI'22] Making PROGRESS in Property Directed ReachabilityPrinciples and Patterns of JastAdd-Style Reference Attribute GrammarsNatural Language-Guided Programming