PLDI 2019 (series) / DPA 2019 (series) /
DPA 2019 Program
This is the DPA 2019 program - see the full program for PLDI 2019 and all affiliated events.
Filter Program
Dates
Sun 23 Jun 2019
Rooms
212B
Tracks
DPA
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 23 JunDisplayed time zone: Tijuana, Baja California change
Sun 23 Jun
Displayed time zone: Tijuana, Baja California change
09:30 - 11:00 | |||
09:30 30mTalk | The K Framework DPA Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA | ||
10:00 30mTalk | MetaDL and Beyond: Custom Program Analyses in Datalog DPA Christoph Reichenbach Lund University | ||
10:30 30mTalk | Datafun: A higher-order functional Datalog DPA Michael Arntzenius University of Birmingham, UK | ||
11:30 - 12:30 | |||
11:30 30mTalk | Fast and Precise Disassembly using Datalog DPA Vineeth Kashyap GrammaTech, Inc. | ||
12:00 30mTalk | Gigahorse: Thorough Smart Contract Decompilation and Security Analyses DPA Neville Grech University of Athens | ||
14:00 - 15:30 | |||
14:00 30mTalk | Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic DPA Mistral Contrastin University of Cambridge, UK | ||
14:30 30mTalk | Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP DPA Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) | ||
15:00 30mTalk | Tunable abstract abstract machines DPA Thomas Gilray The University of Alabama at Birmingham | ||
16:00 - 17:00 | |||
16:00 30mTalk | Precise Program Reasoning using Probabilistic Methods DPA Mukund Raghothaman University of Pennsylvania, USA | ||
16:30 30mTalk | Variant analysis with QL DPA Max Schaefer GitHub | ||