Learning minimal abstractions

DOI10.1145/1926385.1926391zbMATH Open1284.68519OpenAlexW4252599801MaRDI QIDQ5408529FDOQ5408529

Authors: Percy Liang, Omer Tripp, Mayur Naik 

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926391

Recommendations

• Abstraction refinement guided by a learnt probabilistic model
• Learning a static analyzer from data
• scientific article; zbMATH DE number 1903343
• \(D^3\): data-driven disjunctive abstraction
• Computer Aided Verification

zbMATH Keywords

machine learningrandomizationconcurrencystatic analysisheap abstractions

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (9)

• Accelerating program analyses in Datalog by merging library facts
• Learning a static analyzer from data
• Title not available (Why is that?)
• Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses
• Finding suitable variability abstractions for lifted analysis
• \(D^3\): data-driven disjunctive abstraction
• Abstraction refinement guided by a learnt probabilistic model
• Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis
• Bias-variance tradeoffs in program analysis

This page was built for publication: Learning minimal abstractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408529)