Bias-variance tradeoffs in program analysis

DOI10.1145/2535838.2535853zbMath1284.68202OpenAlexW1966242183MaRDI QIDQ5408411

Rahul Sharma, Aditya V. Nori, Alex Aiken

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

verificationprogram analysismachine learning

Mathematics Subject Classification ID

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

Related Items (1)

From invariant checking to invariant inference using randomized search

Uses Software

• Interproc
• YOGI
• PAGAI

This page was built for publication: Bias-variance tradeoffs in program analysis