Sharma, Rahul; Nori, Aditya V.; Aiken, Alex Bias-variance tradeoffs in program analysis. (English) Zbl 1284.68202 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 127-137 (2014). Cited in 1 Document MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68Q60 Specification and verification (program logics, model checking, etc.) 68T05 Learning and adaptive systems in artificial intelligence Keywords:machine learning; program analysis; verification Software:Interproc; PAGAI; YOGI PDFBibTeX XMLCite \textit{R. Sharma} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 127--137 (2014; Zbl 1284.68202) Full Text: DOI