Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu. Commit-time incremental analysis. In Neville Grech, Thierry Lavoie, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA, June 22, 2019. pages 26-31, ACM, 2019. [doi]
Abstract is missing.