Write a Blog >>
WAX 2019
Sat 22 - Wed 26 June 2019
Phoenix, Arizona, United States
co-located with
PLDI 2019
Toggle navigation
Attending
Venue: Phoenix Convention Center
Program
Complete Program
Your Program
Sat 22 Jun
Sun 23 Jun
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Track/Call
Organization
WAX 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
WAX 2019
WAX 2015
Sign in
Sign up
PLDI 2019
(
series
) /
WAX 2019 (
series
) /
Phoenix Convention Center
/
Room information: 229AB
Venue
Phoenix Convention Center
Room name
229AB
Floor
0
Room number
229AB
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
Mon 24 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 08:45
Welcome!
PLDI Research Papers
at
229AB
08:45 - 09:45
Concurrency I
PLDI Research Papers
at
229AB
Chair(s):
Alastair F. Donaldson
Google and Imperial College London
08:45
20m
Talk
Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
PLDI Research Papers
Christopher Pulte
University of Cambridge
,
Jean Pichon-Pharabod
University of Cambridge
,
Jeehoon Kang
KAIST
,
Sung-Hwan Lee
Seoul National University, South Korea
,
Chung-Kil Hur
Seoul National University
Media Attached
09:05
20m
Talk
Accelerating Sequential Consistency for Java with Speculative Compilation
PLDI Research Papers
Lun Liu
University of California at Los Angeles, USA
,
Todd Millstein
University of California, Los Angeles
,
Madan Musuvathi
Microsoft Research
DOI
Pre-print
Media Attached
09:25
20m
Talk
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
PLDI Research Papers
Aleksandar Prokopec
Oracle Labs
,
Andrea Rosà
University of Lugano, Switzerland
,
David Leopoldseder
Johannes Kepler University Linz
,
Gilles Duboscq
Oracle Labs
,
Petr Tuma
Charles University
,
Martin Studener
JKU Linz, Austria
,
Lubomír Bulej
Charles University
,
Yudi Zheng
Oracle Labs
,
Alex Villazón
Universidad Privada Boliviana, Bolivia
,
Doug Simon
Oracle Labs
,
Thomas Wuerthinger
Oracle Labs
,
Walter Binder
University of Lugano, Switzerland
10:00 - 11:00
Concurrency II
PLDI Research Papers
at
229AB
Chair(s):
Dan Grossman
University of Washington
10:00
20m
Talk
Model Checking for Weakly Consistent Libraries
PLDI Research Papers
Michalis Kokologiannakis
Max Planck Institute for Software Systems (MPI-SWS)
,
Azalea Raad
MPI-SWS, Germany
,
Viktor Vafeiadis
MPI-SWS, Germany
Pre-print
Media Attached
10:20
20m
Talk
Towards Certified Separate Compilation for Concurrent Programs
PLDI Research Papers
Hanru Jiang
University of Science and Technology of China
,
Hongjin Liang
Nanjing University, China
,
Siyang Xiao
University of Science and Technology of China, China
,
Junpeng Zha
University of Science and Technology of China, China
,
Xinyu Feng
Nanjing University
Pre-print
Media Attached
10:40
20m
Talk
Robustness Against Release/Acquire Semantics
PLDI Research Papers
Ori Lahav
Tel Aviv University
,
Roy Margalit
Tel Aviv University, Israel
Pre-print
14:00 - 15:30
Synthesis
PLDI Research Papers
at
229AB
Chair(s):
Nuno P. Lopes
Microsoft Research
14:00
20m
Talk
Resource-Guided Program Synthesis
PLDI Research Papers
Tristan Knoth
University of California at San Diego, USA
,
Di Wang
Carnegie Mellon University
,
Nadia Polikarpova
University of California, San Diego
,
Jan Hoffmann
Carnegie Mellon University
Media Attached
14:20
20m
Talk
Using Active Learning to Synthesize Models of Applications That Access Databases
PLDI Research Papers
Jiasi Shen
Massachusetts Institute of Technology
,
Martin C. Rinard
Massachusetts Institute of Technology
DOI
Media Attached
14:40
20m
Talk
Synthesizing Database Programs for Schema Refactoring
PLDI Research Papers
Yuepeng Wang
University of Texas at Austin
,
James Dong
University of Texas at Austin, USA
,
Rushi Shah
UT Austin
,
Işıl Dillig
UT Austin
Media Attached
15:00
20m
Talk
Synthesis and Machine Learning for Heterogeneous Extraction
PLDI Research Papers
Arun Iyer
Microsoft Research, India
,
Manohar Jonnalagedda
Inpher Inc., Switzerland
,
Suresh Parthasarathy
Microsoft Research, India
,
Arjun Radhakrishna
Microsoft
,
Sriram Rajamani
Microsoft Research
Media Attached
16:00 - 17:00
Memory Management
PLDI Research Papers
at
229AB
Chair(s):
Erez Petrank
Technion
16:00
20m
Talk
AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
PLDI Research Papers
Thomas Shull
University of Illinois at Urbana-Champaign
,
Jian Huang
University of Illinois at Urbana-Champaign
,
Josep Torrellas
University of Illinois at Urbana-Champaign
Media Attached
16:20
20m
Talk
Mesh: Compacting Memory Management for C/C++ Applications
PLDI Research Papers
Bobby Powers
University of Massachusetts, Amherst
,
David Tench
University of Massachusetts at Amherst, USA
,
Emery D. Berger
University of Massachusetts, Amherst
,
Andrew McGregor
Pre-print
Media Attached
16:40
20m
Talk
Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
PLDI Research Papers
Chenxi Wang
UCLA
,
Huimin Cui
Institute of Computing Technology, Chinese Academy of Sciences
,
Ting Cao
Microsoft Research
,
John Zigman
University of Sydney, Australia
,
Haris Volos
,
Onur Mutlu
ETH Zurich
,
Fang Lv
Institute of Computing Technology, Chinese Academy of Sciences
,
Xiaobing Feng
ICT CAS
,
Guoqing Harry Xu
UCLA
Pre-print
Media Attached
Tue 25 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 09:30
Bug Finding & Testing I
PLDI Research Papers
at
229AB
Chair(s):
Cindy Rubio-González
University of California, Davis
08:30
20m
Talk
Lazy Counterfactual Symbolic Execution
PLDI Research Papers
William T. Hallahan
Yale University
,
Anton Xue
Yale University
,
Maxwell Troy Bland
University of California at San Diego, USA
,
Ranjit Jhala
University of California, San Diego
,
Ruzica Piskac
Yale University, USA
Media Attached
08:50
20m
Talk
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
PLDI Research Papers
Blake Loring
,
Duncan Mitchell
Royal Holloway, University of London
,
Johannes Kinder
Bundeswehr University Munich
Media Attached
09:10
20m
Talk
Effective Floating-Point Analysis via Weak-Distance Minimization
PLDI Research Papers
Zhoulai Fu
IT University of Copenhagen, Denmark
,
Zhendong Su
ETH Zurich
10:00 - 11:00
Bug Finding & Testing II
PLDI Research Papers
at
229AB
Chair(s):
Jens Palsberg
University of California, Los Angeles (UCLA)
10:00
20m
Talk
Parser-Directed Fuzzing
PLDI Research Papers
Björn Mathis
CISPA Helmholtz Center for Information Security
,
Rahul Gopinath
CISPA Helmholtz Center for Information Security
,
Michaël Mera
CISPA, Germany
,
Alexander Kampmann
CISPA Helmholtz Center for Information Security
,
Matthias Höschele
CISPA, Germany
,
Andreas Zeller
Saarland University
Media Attached
10:20
20m
Talk
Continuously Reasoning about Programs using Differential Bayesian Inference
PLDI Research Papers
Kihong Heo
University of Pennsylvania, USA
,
Mukund Raghothaman
University of Pennsylvania, USA
,
Xujie Si
University of Pennsylvania
,
Mayur Naik
University of Pennsylvania
Media Attached
10:40
20m
Talk
Sparse Record and Replay with Controlled Scheduling
PLDI Research Papers
Christopher Lidbury
Imperial College London
,
Alastair F. Donaldson
Google and Imperial College London
14:00 - 15:30
Static Analysis
PLDI Research Papers
at
229AB
Chair(s):
Martin C. Rinard
Massachusetts Institute of Technology
14:00
20m
Talk
Abstract Interpretation under Speculative Execution
PLDI Research Papers
Meng Wu
Virginia Tech
,
Chao Wang
USC
Media Attached
14:20
20m
Talk
A Fast Analytical Model of Fully Associative Caches
PLDI Research Papers
Tobias Gysi
ETH Zurich, Switzerland
,
Tobias Grosser
ETH Zurich
,
Laurin Brandner
ETH Zurich, Switzerland
,
Torsten Hoefler
ETH Zurich
Media Attached
14:40
20m
Talk
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
PLDI Research Papers
Laith Sakka
Purdue University
,
Kirshanthan Sundararajah
Purdue University
,
Ryan R. Newton
Indiana University
,
Milind Kulkarni
Purdue University
Media Attached
15:00
20m
Talk
Size-Change Termination as a Contract
PLDI Research Papers
Phúc C. Nguyễn
University of Maryland
,
Thomas Gilray
University of Maryland
,
Sam Tobin-Hochstadt
Indiana University
,
David Van Horn
University of Maryland, USA
Media Attached
16:00 - 17:00
Dynamics: Analysis and Compilation
PLDI Research Papers
at
229AB
Chair(s):
Nadia Polikarpova
University of California, San Diego
16:00
20m
Talk
SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features
PLDI Research Papers
David Mitchel Perry
Purdue University
,
Dohyeong Kim
Purdue University
,
Roopsha Samanta
Purdue University
,
Xiangyu Zhang
Purdue University
Pre-print
Media Attached
16:20
20m
Talk
Computing Summaries of String Loops in C for Better Testing and Refactoring
PLDI Research Papers
Timotej Kapus
Imperial College London
,
Oren Ish-Shalom
Tel Aviv University, Israel
,
Shachar Itzhaky
Technion, Israel
,
Noam Rinetzky
Tel Aviv University
,
Cristian Cadar
Imperial College London
Link to publication
Pre-print
Media Attached
16:40
20m
Talk
Reusable Inline Caching for JavaScript Performance
PLDI Research Papers
Jiho Choi
University of Illinois at Urbana-Champaign
,
Thomas Shull
University of Illinois at Urbana-Champaign
,
Josep Torrellas
University of Illinois at Urbana-Champaign
Wed 26 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 09:30
Verification I
PLDI Research Papers
at
229AB
Chair(s):
Chung-Kil Hur
Seoul National University
08:30
20m
Talk
Semantic Program Alignment for Equivalence Checking
PLDI Research Papers
Berkeley Churchill
Stanford University
,
Oded Padon
Stanford University
,
Rahul Sharma
Microsoft Research
,
Alex Aiken
Stanford University
Media Attached
08:50
20m
Talk
Verified Compilation on a Verified Processor
PLDI Research Papers
Andreas Lööw
Chalmers University of Technology
,
Ramana Kumar
DeepMind
,
Yong Kiam Tan
Carnegie Mellon University, USA
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
,
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
Oskar Abrahamsson
Chalmers University of Technology, Sweden
,
Anthony Fox
University of Cambridge, UK
DOI
Pre-print
Media Attached
09:10
20m
Talk
Argosy: Verifying Layered Storage Systems with Recovery Refinement
PLDI Research Papers
Tej Chajed
Massachusetts Institute of Technology, USA
,
Joseph Tassarotti
Boston College
,
M. Frans Kaashoek
Massachusetts Institute of Technology, USA
,
Nickolai Zeldovich
Massachusetts Institute of Technology, USA
DOI
Pre-print
Media Attached
10:00 - 11:00
Verification II
PLDI Research Papers
at
229AB
Chair(s):
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
10:00
20m
Talk
Verification of Programs under the Release-Acquire Semantics
PLDI Research Papers
Parosh Aziz Abdulla
Uppsala University, Sweden
,
Jatin Arora
IIT Bombay, India
,
Mohamed Faouzi Atig
Uppsala University
,
Shankaranarayanan Krishna
IIT Bombay, India
10:20
20m
Talk
A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture
PLDI Research Papers
Sandeep Dasgupta
University of Illinois at Urbana-Champaign, USA
,
Daejun Park
University of Illinois at Urbana-Champaign
,
Theodoros Kasampalis
University of Illinois at Urbana-Champaign, USA
,
Vikram S. Adve
University of Illinois at Urbana-Champaign
,
Grigore Roşu
University of Illinois at Urbana-Champaign
Link to publication
DOI
Pre-print
Media Attached
10:40
20m
Talk
An Applied Quantum Hoare Logic
PLDI Research Papers
Li Zhou
Department of Computer Science and Technology, Tsinghua University
,
Nengkun Yu
University of Technology Sydney, Australia
,
Mingsheng Ying
University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.
Media Attached
Mon 24 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
229AB
PLDI Research Papers
Welcome!
PLDI Research Papers
Concurrency I
PLDI Research Papers
Concurrency II
PLDI Research Papers
Synthesis
PLDI Research Papers
Memory Management
Tue 25 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
229AB
PLDI Research Papers
Bug Finding & Testing I
PLDI Research Papers
Bug Finding & Testing II
PLDI Research Papers
Static Analysis
PLDI Research Papers
Dynamics: Analysis and Compilation
Wed 26 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
30
9:00
30
10:00
30
229AB
PLDI Research Papers
Verification I
PLDI Research Papers
Verification II
Mon 24 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
15
30
45
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
229AB
PLDI Research Papers
Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model
08:45 - 09:05
PLDI Research Papers
Accelerating Sequential Consistency for Java with Speculative Compilation
09:05 - 09:25
PLDI Research Papers
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
09:25 - 09:45
PLDI Research Papers
Model Checking for Weakly Consistent Libraries
10:00 - 10:20
PLDI Research Papers
Towards Certified Separate Compilation for Concurrent Programs
10:20 - 10:40
PLDI Research Papers
Robustness Against Release/Acquire Semantics
10:40 - 11:00
PLDI Research Papers
Resource-Guided Program Synthesis
14:00 - 14:20
PLDI Research Papers
Using Active Learning to Synthesize Models of Applications That Access ...
14:20 - 14:40
PLDI Research Papers
Synthesizing Database Programs for Schema Refactoring
14:40 - 15:00
PLDI Research Papers
Synthesis and Machine Learning for Heterogeneous Extraction
15:00 - 15:20
PLDI Research Papers
AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability
16:00 - 16:20
PLDI Research Papers
Mesh: Compacting Memory Management for C/C++ Applications
16:20 - 16:40
PLDI Research Papers
Panthera: Holistic Memory Management for Big Data Processing over Hybri ...
16:40 - 17:00
Tue 25 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
15
30
45
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
229AB
PLDI Research Papers
Lazy Counterfactual Symbolic Execution
08:30 - 08:50
PLDI Research Papers
Sound Regular Expression Semantics for Dynamic Symbolic Execution of Ja ...
08:50 - 09:10
PLDI Research Papers
Effective Floating-Point Analysis via Weak-Distance Minimization
09:10 - 09:30
PLDI Research Papers
Parser-Directed Fuzzing
10:00 - 10:20
PLDI Research Papers
Continuously Reasoning about Programs using Differential Bayesian Inference
10:20 - 10:40
PLDI Research Papers
Sparse Record and Replay with Controlled Scheduling
10:40 - 11:00
PLDI Research Papers
Abstract Interpretation under Speculative Execution
14:00 - 14:20
PLDI Research Papers
A Fast Analytical Model of Fully Associative Caches
14:20 - 14:40
PLDI Research Papers
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees
14:40 - 15:00
PLDI Research Papers
Size-Change Termination as a Contract
15:00 - 15:20
PLDI Research Papers
SemCluster: Clustering of Imperative Programming Assignments Based on Q ...
16:00 - 16:20
PLDI Research Papers
Computing Summaries of String Loops in C for Better Testing and Refactoring
16:20 - 16:40
PLDI Research Papers
Reusable Inline Caching for JavaScript Performance
16:40 - 17:00
Wed 26 Jun
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
229AB
PLDI Research Papers
Semantic Program Alignment for Equivalence Checking
08:30 - 08:50
PLDI Research Papers
Verified Compilation on a Verified Processor
08:50 - 09:10
PLDI Research Papers
Argosy: Verifying Layered Storage Systems with Recovery Refinement
09:10 - 09:30
PLDI Research Papers
Verification of Programs under the Release-Acquire Semantics
10:00 - 10:20
PLDI Research Papers
A Complete Formal Semantics of x86-64 User-Level Instruction Set Archit ...
10:20 - 10:40
PLDI Research Papers
An Applied Quantum Hoare Logic
10:40 - 11:00
x
Wed 13 Nov 07:58