Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné. Value and allocation sensitivity in static Python analyses. In Paddy Krishnan, Christoph Reichenbach, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020. pages 8-13, ACM, 2020. [doi]
Abstract is missing.