PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / SOAP 2017 (series) /
SOAP 2017 Program
This is the SOAP 2017 program - see the full program for PLDI 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 08:45 | |||
08:30 15mDay opening | Opening SOAP |
08:45 - 09:30 | |||
08:45 45mTalk | Journey to Find Bugs in JavaScript Web Applications in the WildInvited Talk SOAP Sukyoung Ryu KAIST File Attached |
09:30 - 10:30 | |||
09:30 20mTalk | Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction SOAP DOI File Attached | ||
09:50 20mTalk | A Datalog Model of Must-Alias Analysis SOAP George Balatsouras University of Athens, Kostas Ferles University of Texas at Austin, USA, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens DOI File Attached | ||
10:10 20mTalk | An Efficient Tunable Selective Points-to Analysis for Large Codebases SOAP Behnaz Hassanshahi Oracle Labs, Australia, Raghavendra Kagalavadi Oracle Labs, Australia, Paddy Krishnan , Bernhard Scholz University of Sydney, Australia, Yi Lu Oracle DOI File Attached |
11:00 - 11:45 | |||
11:00 45mTalk | Static Analysis of Java ReflectionInvited Talk SOAP Jingling Xue UNSW Australia |
11:45 - 12:30 | |||
11:45 22mTalk | SootKeeper: Runtime Reusability for Modular Static Analysis SOAP Florian Kübler TU Darmstadt, Germany, Patrick Müller TU Darmstadt, Germany, Ben Hermann University of Paderborn DOI Pre-print | ||
12:07 22mTalk | Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses SOAP Anastasios Antoniadis , Konstantinos Triantafyllou University of Athens, Greece, Yannis Smaragdakis University of Athens DOI Pre-print File Attached |
14:00 - 14:45 | |||
14:00 45mTalk | WALA EverywhereInvited Talk SOAP Julian Dolby IBM Thomas J. Watson Research Center Media Attached |
14:45 - 15:30 | |||
14:45 22mTalk | Systematic Approaches for Increasing Soundness and Precision of Static Analyzers SOAP Esben Andreasen Aarhus University, Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University DOI File Attached | ||
15:07 22mTalk | On the Construction of Soundness Oracles SOAP Jens Dietrich Massey University, Li Sui Massey University, New Zealand, Shawn Rasheed Massey University, Amjed Tahir Massey University DOI Media Attached |
16:00 - 16:20 | |||
16:00 20mTalk | Hermes: Assessment and Creation of Effective Test Corpora SOAP Michael Reif TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Ben Hermann University of Paderborn, Mira Mezini TU Darmstadt DOI Pre-print File Attached |
16:20 - 18:00 | |||
16:20 1h40mMeeting | Open Discussion SOAP |