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 11:00 - 11:40 at SPLASH-III - 2 Chair(s): Matthew Flatt, David Pichardie
Wed 18 Nov 2020 23:00 - 23:40 at SPLASH-III - 2 Chair(s): Matthew Flatt, Mihaela Sighireanu
Wed 18 Nov 2020 23:00 - 23:40 at SPLASH-III - 2 Chair(s): Matthew Flatt, Mihaela Sighireanu
| 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 NovDisplayed time zone: Central Time (US & Canada) change
Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change
11:00 - 12:20 | 2SAS / DLS at SPLASH-III +12h Chair(s): Matthew Flatt University of Utah, USA, David Pichardie Univ Rennes, ENS Rennes, IRISA | ||
11:00 40mTalk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
11:40 40mKeynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa Freudenberg Croquet Corp Media Attached | ||
23:00 - 00:20 | 2DLS / SAS at SPLASH-III Chair(s): Matthew Flatt University of Utah, USA, Mihaela Sighireanu LSV, ENS Paris-Saclay | ||
23:00 40mTalk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
23:40 40mKeynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa Freudenberg Croquet Corp Media Attached | ||
