Vijayaraghavan Murali

Finding Likely Errors with Bayesian Specifications

2017 · arXiv (Cornell University)

We present a Bayesian framework for learning probabilistic specifications from large, unstructured code corpora, and a method to use this framework to statically detect anomalous, hence likely buggy, program behavior. The distinctive insight here is …

Learning to Learn to Predict Performance Regressions in Production at Meta

2023

Catching and attributing code change-induced performance regressions in production is hard; predicting them beforehand, even harder. A primer on automatically learning to predict performance regressions in software, this article gives an account of the experiences …