External Program Committee PLDI Research Papers

Amal Ahmed

Northeastern University, USA

United States

June Andronick

CSIRO's Data61 and UNSW

Australia

Sara Baghsorkhi

Intel Labs

Hans-J. Boehm

Google

Julian Dolby

IBM Research, USA

Nate Foster

Cornell University

United States

Tony Hosking

Australian National University / Data61

Australia

Aditya Kanade

Indian Institute of Science, Bangalore

Viktor Kunčak

EPFL, Switzerland

Switzerland

Sorin Lerner

University of California at San Diego, USA

Ondřej Lhoták

University of Waterloo

Canada

Madan Musuvathi

Microsoft Research

Guilherme Ottoni

Facebook

Erez Petrank

Technion, Israel

Grigore Roşu

University of Illinois at Urbana-Champaign

United States

Ilya Sergey

Yale-NUS College and National University of Singapore

Singapore

Armando Solar-Lezama

Massachusetts Institute of Technology, USA

Manu Sridharan

University of California Riverside

United States

Zachary Tatlock

University of Washington, Seattle

United States

Martin Vechev

ETH Zurich, Switzerland