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
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 11:00: PPETPLDI Tutorials at 212B
09:00 - 11:00
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
11:20 - 12:30: PPETPLDI Tutorials at 212B
11:20 - 12:30
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
14:00 - 15:30: DRLTPLDI Tutorials at 212B
14:00 - 15:30
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
16:00 - 17:30: DRLTPLDI Tutorials at 212B
16:00 - 17:30
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:30 - 11:00: Session IDPA at 212B
Chair(s): Neville GrechUniversity of Athens
09:30 - 10:00
Talk
The K Framework
DPA
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA
10:00 - 10:30
Talk
MetaDL and Beyond: Custom Program Analyses in Datalog
DPA
Christoph ReichenbachLund University
10:30 - 11:00
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 - 12:00
Talk
Fast and Precise Disassembly using Datalog
DPA
Vineeth KashyapGrammaTech, Inc.
12:00 - 12:30
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 - 14:30
Talk
Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
DPA
Mistral ContrastinUniversity of Cambridge, UK
14:30 - 15:00
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 - 15:30
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 - 16:30
Talk
Precise Program Reasoning using Probabilistic Methods
DPA
Mukund RaghothamanUniversity of Pennsylvania, USA
16:30 - 17:00
Talk
Variant analysis with QL
DPA

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

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

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

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

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change