Write a Blog >>
LCTES 2019
Sat 22 - Fri 28 June 2019 Phoenix, Arizona, United States
co-located with PLDI 2019
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

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 Kapoor University of Delhi, Delhi
11:20 - 12:30
11:20
70m
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita Kapoor University of Delhi, Delhi
14:00 - 15:30
14:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita Kapoor University of Delhi, Delhi
16:00 - 17:30
16:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita Kapoor University of Delhi, Delhi

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

09:30 - 11:00
Session IDPA at 212B
Chair(s): Neville Grech University of Athens
09:30
30m
Talk
The K Framework
DPA
Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA
10:00
30m
Talk
MetaDL and Beyond: Custom Program Analyses in Datalog
DPA
Christoph Reichenbach Lund University
10:30
30m
Talk
Datafun: A higher-order functional Datalog
DPA
Michael Arntzenius University of Birmingham, UK
11:30 - 12:30
Session IIDPA at 212B
Chair(s): Max Schaefer GitHub
11:30
30m
Talk
Fast and Precise Disassembly using Datalog
DPA
Vineeth Kashyap GrammaTech, Inc.
12:00
30m
Talk
Gigahorse: Thorough Smart Contract Decompilation and Security Analyses
DPA
Neville Grech University of Athens
14:00 - 15:30
Session IIIDPA at 212B
Chair(s): Max Schaefer GitHub
14:00
30m
Talk
Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
DPA
Mistral Contrastin University of Cambridge, UK
14:30
30m
Talk
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
30m
Talk
Tunable abstract abstract machines
DPA
Thomas Gilray The University of Alabama at Birmingham
16:00 - 17:00
Session IVDPA at 212B
Chair(s): Neville Grech University of Athens
16:00
30m
Talk
Precise Program Reasoning using Probabilistic Methods
DPA
Mukund Raghothaman University of Pennsylvania, USA
16:30
30m
Talk
Variant analysis with QL
DPA

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

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

Sun 23 Jun

Displayed time zone: Tijuana, Baja California change

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