Write a Blog >>
ISMM 2019
Sun 23 Jun 2019
Phoenix, Arizona, United States
co-located with
PLDI 2019
Toggle navigation
Attending
Venue: Phoenix Convention Center
PLDI 2019
Registration
Code of Conduct
Sponsorship
Hotels
Student participation and support
Visa
Tourist Information
Childcare
Accessibility FAQ
Program
ISMM Program
Your Program
Sun 23 Jun
Track/Call
Organization
ISMM 2019 Committees
Organizing Committee
Program Committee
External Review Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2019
(
series
) /
ISMM 2019
(
series
) /
Phoenix Convention Center
/
Room information: 212B
Venue
Phoenix Convention Center
Room name
212B
Floor
0
Room number
212B
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
PPET
PLDI Tutorials
at
212B
09:00
2h
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita Kapoor
University of Delhi, Delhi
11:20 - 12:30
PPET
PLDI Tutorials
at
212B
11:20
70m
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita Kapoor
University of Delhi, Delhi
14:00 - 15:30
DRLT
PLDI Tutorials
at
212B
14:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita Kapoor
University of Delhi, Delhi
16:00 - 17:30
DRLT
PLDI Tutorials
at
212B
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 I
DPA
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 II
DPA
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 III
DPA
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 IV
DPA
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
Max Schaefer
GitHub
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
212B
PLDI Tutorials
PPET
PLDI Tutorials
PPET
PLDI Tutorials
DRLT
PLDI Tutorials
DRLT
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
212B
DPA
Session I
DPA
Session II
DPA
Session III
DPA
Session IV
Sat 22 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
212B
PLDI Tutorials
Probabilistic Programming using Edward/TensorFlow
09:00 - 11:00
PLDI Tutorials
Probabilistic Programming using Edward/TensorFlow
11:20 - 12:30
PLDI Tutorials
Deep Reinforcement Learning using TensorFlow
14:00 - 15:30
PLDI Tutorials
Deep Reinforcement Learning using TensorFlow
16:00 - 17:30
Sun 23 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
212B
DPA
The K Framework
09:30 - 10:00
DPA
MetaDL and Beyond: Custom Program Analyses in Datalog
10:00 - 10:30
DPA
Datafun: A higher-order functional Datalog
10:30 - 11:00
DPA
Fast and Precise Disassembly using Datalog
11:30 - 12:00
DPA
Gigahorse: Thorough Smart Contract Decompilation and Security Analyses
12:00 - 12:30
DPA
Now You See Me, Now You Don't: Querying with Hybrid Temporal Logic
14:00 - 14:30
DPA
Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP
14:30 - 15:00
DPA
Tunable abstract abstract machines
15:00 - 15:30
DPA
Precise Program Reasoning using Probabilistic Methods
16:00 - 16:30
DPA
Variant analysis with QL
16:30 - 17:00
x
Mon 30 Dec 19:00