SPLASH 2020 (series) / SAS 2020 (series) / SAS 2020 - 27th Static Analysis Symposium / Static Resource Analysis at Scale
Static Resource Analysis at ScaleInvited Talk
Wed 18 Nov 2020 23:00 - 23:40 at SPLASH-III - 2 Chair(s): Mihaela Sighireanu, Matthew Flatt
Wed 18 Nov 2020 11:00 - 11:40 at SPLASH-III - 2 Chair(s): Matthew Flatt, David Pichardie
Wed 18 Nov 2020 11:00 - 11:40 at SPLASH-III - 2 Chair(s): Matthew Flatt, David Pichardie
preprint (sas20.pdf) | 121KiB |
I have obtained my PhD in Programming Languages at MPI-SWS (Max Planck Institute for Software Systems, Saarbrücken, Germany) and Saarland University in January 2018. I was advised by Deepak Garg. I am currently a Software Engineer at Facebook’s Static Analysis team, Infer. Nowadays, I am working on a static analysis tool for detecting performance regressions at diff time.
Wed 18 Nov Times are displayed in time zone: Central Time (US & Canada) change
Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change
11:00 - 12:20: 2SAS / DLS at SPLASH-III +12h Chair(s): Matthew FlattUniversity of Utah, USA, David PichardieUniv Rennes, ENS Rennes, IRISA | |||
11:00 - 11:40 Talk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
11:40 - 12:20 Keynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa FreudenbergCroquet Corp Media Attached |
23:00 - 00:20: 2SAS / DLS at SPLASH-III Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay, Matthew FlattUniversity of Utah, USA | |||
23:00 - 23:40 Talk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
23:40 - 00:20 Keynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa FreudenbergCroquet Corp Media Attached |