SPLASH 2020 (series) / SAS 2020 (series) / SAS 2020 - 27th Static Analysis Symposium /
On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Thu 19 Nov 2020 01:40 - 02:00 at SPLASH-III - 3 Chair(s): Francesco Ranzato, Michael Homer
Wed 18 Nov 2020 13:40 - 14:00 at SPLASH-III - 3 Chair(s): Patrick Cousot, Michael Homer
Wed 18 Nov 2020 13:40 - 14:00 at SPLASH-III - 3 Chair(s): Patrick Cousot, Michael Homer
Preprint (sas20.pdf) | 706KiB |
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
13:00 - 14:20: 3SAS / DLS 2020 at SPLASH-III +12h Chair(s): Patrick CousotNew York University, Michael HomerVictoria University of Wellington | |||
13:00 - 13:20 Research paper | Exact and Linear-Time Gas-Cost Analysis SAS Pre-print | ||
13:20 - 13:40 Talk | Python 3 Types in the Wild: A Tale of Two Type Systems DLS 2020 Ingkarat Rak-amnouykitRensselaer Polytechnic Institute, Daniel McCrevanRensselaer Polytechnic Institute, Ana MilanovaRensselaer Polytechnic Institute, Martin HirzelIBM Research, Julian DolbyIBM Research, USA Link to publication DOI Pre-print Media Attached | ||
13:40 - 14:00 Research paper | On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs SAS Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy File Attached | ||
14:00 - 14:20 Talk | Wasm/k: Delimited Continuations for WebAssembly DLS 2020 Donald PinckneyNortheastern University, Arjun GuhaUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst Link to publication DOI Pre-print Media Attached |
Thu 19 Nov Times are displayed in time zone: Central Time (US & Canada) change
Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change