PLDI 2019
Sat 22 - Wed 26 June 2019
Phoenix, Arizona, United States
Toggle navigation
Attending
Venue: Phoenix Convention Center
Registration
Code of Conduct
Sponsorship
Hotels
Student participation and support
Visa
Tourist Information
Childcare
Accessibility FAQ
Program
PLDI Program
Your Program
Filter by Day
Sat 22 Jun
Sun 23 Jun
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Tracks
PLDI 2019
PLDI Research Papers
PLDI Research Artifacts
PLDI Workshops
PLDI Tutorials
Student Research Competition (SRC)
Student Volunteering
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
Workshops
ARRAY
CHIUW
DBPL
DPA
DeepSpec
MAPL
PLMW @ PLDI
SOAP
WAX
Organization
PLDI 2019 Committees
Steering Committee
Organizing Committee
Track Committees
PLDI Research Papers
Program Committee
External Program Committee
External Review Committee
PLDI Research Artifacts
Student Research Competition (SRC)
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
CHIUW
Organizing Committee
Program Committee
DBPL
Organizing Committee
Program Committee
DPA
Organizing Committee
DeepSpec
Organizing Committee
MAPL
Organizing Committee
Program Committee
Steering Committee
PLMW @ PLDI
Organizing Committee
SOAP
Organizing Committee
Program Committee
WAX
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2019
(
series
) /
PLDI Research Papers
/
External Review Committee
PLDI Research Papers
Rajeev Alur
University of Pennsylvania
United States
Thomas Ball
Microsoft Research
United States
Osbert Bastani
University of Pennsylvania
United States
Swarnendu Biswas
IIT Kanpur
India
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Marc Brockschmidt
Microsoft Research
United Kingdom
Ting Cao
Microsoft Research
China
Stephen Chang
Northeastern University
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
China
Stephen Chong
Harvard University, USA
Christina Delimitriou
Cornell University
United States
Chen Ding
University of Rochester
Yufei Ding
UCSB
China
Alexandra (Sasha) Fedorova
University of British Columbia
Canada
Aarti Gupta
Princeton University
Peter Hawkins
Google
Kihong Heo
University of Pennsylvania, USA
United States
Jeff Huang
Texas A&M University
Alexandra Jimborean
Uppsala University
Sweden
Mahmut Taylan Kandemir
Pennsylvania State University, USA
United States
Eric Koskinen
Stevens Institute of Technology
Lindsey Kuper
University of California, Santa Cruz
Doug Lea
State University of New York (SUNY) Oswego
United States
Ondřej Lhoták
University of Waterloo
Canada
Tongping Liu
Anil Madhavapeddy
OCaml Labs
United Kingdom
Michaël Marcozzi
Imperial College London
United Kingdom
Darko Marinov
University of Illinois at Urbana-Champaign
United States
Saurav Muralidharan
NVIDIA
Magnus O. Myreen
Chalmers University of Technology, Sweden
Sweden
Santosh Nagarakatte
Rutgers University, USA
United States
Mayur Naik
University of Pennsylvania
Michael F. P. O'Boyle
University of Edinburgh
Sreepathi Pai
University of Rochester
United States
Luís Pina
George Mason University
United States
Markus Püschel
ETH Zürich
Switzerland
Sriram Rajamani
Microsoft Research
Aseem Rastogi
Microsoft Research
India
Veselin Raychev
DeepCode AG
Roopsha Samanta
Purdue University
Chris Seaton
Oracle Labs
United Kingdom
Sharon Shoham
Tel Aviv university
Israel
Manu Sridharan
University of California, Riverside
United States
Ankur Taly
Google
Petar Tsankov
ETH Zurich / ChainSecurity
Switzerland
Laurent Vanbever
ETH Zürich
Switzerland
Thomas F. Wenisch
University of Michigan, USA
Minjia Zhang
Microsoft Research
United States
Qirun Zhang
Georgia Institute of Technology
United States
Xiangyu Zhang
Purdue University
x
Thu 5 Dec 17:26