VenuePhoenix Convention Center
Room name212B
Floor0
Room number212B
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 11:00
09:00
2h
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
11:20 - 12:30
11:20
70m
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
14:00 - 15:30
14:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
16:00 - 17:30
16:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi

Conference Day
Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

09:30 - 11:00
Session IDPA at 212B
Chair(s): Neville GrechUniversity of Athens
09:30
30m
Talk
The K Framework
DPA
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA
10:00
30m
Talk
MetaDL and Beyond: Custom Program Analyses in Datalog
DPA
Christoph ReichenbachLund University
10:30
30m
Talk
Datafun: A higher-order functional Datalog
DPA
Michael ArntzeniusUniversity of Birmingham, UK
11:30 - 12:30
Session IIDPA at 212B
Chair(s): Max SchaeferGitHub
11:30
30m
Talk
Fast and Precise Disassembly using Datalog
DPA
Vineeth KashyapGrammaTech, Inc.
12:00
30m
Talk
Gigahorse: Thorough Smart Contract Decompilation and Security Analyses
DPA
Neville GrechUniversity of Athens
14:00 - 15:30
Session IIIDPA at 212B
Chair(s): Max SchaeferGitHub
14:00
30m
Talk
Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
DPA
Mistral ContrastinUniversity of Cambridge, UK
14:30
30m
Talk
Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP
DPA
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
15:00
30m
Talk
Tunable abstract abstract machines
DPA
Thomas GilrayThe University of Alabama at Birmingham
16:00 - 17:00
Session IVDPA at 212B
Chair(s): Neville GrechUniversity of Athens
16:00
30m
Talk
Precise Program Reasoning using Probabilistic Methods
DPA
Mukund RaghothamanUniversity of Pennsylvania, USA
16:30
30m
Talk
Variant analysis with QL
DPA

Conference Day
Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
212B

Conference Day
Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
212B

Conference Day
Sat 22 Jun

Displayed time zone: Tijuana, Baja California change