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
Rooms
Tracks
Badges
Your Program
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 |