PLDI 2023
Sat 17 - Wed 21 June 2023 Orlando, Florida, United States
  • Attending
    • Venue: Orlando World Center Marriott
    • PLDI'23 Attendee's Guide
    • Registration
    • Code of Conduct
    • Sponsorship
    • Visa
    • Volunteers
    • Childcare
  • Program
    • PLDI Program
    • Your Program
    • Sat 17 Jun
    • Sun 18 Jun
    • Mon 19 Jun
    • Tue 20 Jun
    • Wed 21 Jun
  • Tracks
      • PLDI 2023
      • FCRC
      • PLDI Research Papers
      • Social
      • Research Artifacts
      • Tutorials
      • Workshops and Tutorials
      • SRC
      • Volunteering
      • W@PLDI
      • LGBTQ+ Lunch
      • SIGPLAN
      • Co-hosted Conferences
      • ISMM
      • LCTES
      • Workshops
      • ARRAY
      • ASA
      • CSC
      • CTSTA
      • DRAGSTERS
      • EGRAPHS
      • Infer
      • PLARCH
      • PLMW@PLDI
      • SOAP
  • Organization
      • PLDI 2023 Committees
      • Organizing Committee
      • Track Committees
      • PLDI Research Papers
      • Research Artifacts
      • Workshops and Tutorials
      • SRC
      • Volunteering
      • Contributors
      • People Index
      • Co-hosted Conferences
      • ISMM
        • Organizing Committee
        • Program Committee
      • LCTES
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • Workshops
      • ARRAY
        • Organizing Committee
        • Program Committee
      • ASA
        • Organizing Committee
      • CSC
        • Organizing Committee
        • Program Committee
      • CTSTA
        • Organizing Committee
        • Program Committee
      • DRAGSTERS
        • Organizing Committee
        • Program Committee
      • EGRAPHS
        • Organizing Committee
        • Program Committee
      • Infer
        • Organizing Committee
        • Program Committee
      • PLARCH
        • Organizing Committee
        • Program Committee
      • PLMW@PLDI
        • Organizing Committee
      • SOAP
        • 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 2023 (series) / PLDI Research Papers /

PLDI Review Committee PLDI Research Papers

Nate Foster

Nate Foster Associate Editor

Cornell University

United States

Vinod Grover

Vinod Grover Area Chair

NVIDIA

United States

Matthias Hauswirth

Matthias Hauswirth Area Chair

USI Lugano

Switzerland

Michael Hicks

Michael Hicks Area Chair

Amazon Web Services and the University of Maryland

United States

Shan Lu

Shan Lu Area Chair

University of Chicago

United States

Sukyoung Ryu

Sukyoung Ryu Area Chair

KAIST

South Korea

John Regehr

John Regehr Area Chair

University of Utah

Adam Chlipala

Adam Chlipala Distinguished Reviewer

Massachusetts Institute of Technology

United States

Benjamin Delaware

Benjamin Delaware Distinguished Reviewer

Purdue University

United States

Christos Dimoulas

Christos Dimoulas Distinguished Reviewer

PLT @ Northwestern University

United States

Eric Eide

Eric Eide Distinguished Reviewer

University of Utah

United States

Andreas Rossberg

Andreas Rossberg Distinguished Reviewer

Independent

Germany

Michelle Mills Strout

Michelle Mills Strout Distinguished Reviewer

Hewlett Packard Enterprise

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University, Sweden

Umut A. Acar

Umut A. Acar

Carnegie Mellon University

United States

Jade Alglave

Jade Alglave

University College London

France

Jason Ansel

Jason Ansel

Meta

United States

Sotiris Apostolakis

Sotiris Apostolakis

Google

United States

Dan Barowy

Dan Barowy

Williams College

United States

small-avatar

Ryan Beckett

Microsoft Research, USA

Walter Binder

Walter Binder

USI Lugano

Switzerland

Rastislav Bodík

Rastislav Bodík

Google Research, Brain Team

United States

Michael D. Bond

Michael D. Bond

Ohio State University, USA

small-avatar

Mihai Budiu

VMware Research Group

Calin Cascaval

Calin Cascaval

Google Research

New Zealand

Satish Chandra

Satish Chandra

Meta Platforms

United States

Swarat Chaudhuri

Swarat Chaudhuri

University of Texas at Austin

United States

James Cheney

James Cheney

University of Edinburgh

United Kingdom

Stephen Chong

Stephen Chong

Harvard University

United States

Loris D'Antoni

Loris D'Antoni

University of Wisconsin-Madison

United States

Yaniv David

Yaniv David

Columbia University

United States

Maryam Mehri Dehnavi

Maryam Mehri Dehnavi

University of Toronto

Canada

small-avatar

Brian Demsky

University of California at Irvine

Dana Drachsler Cohen

Dana Drachsler Cohen

Technion

Israel

small-avatar

Kevin Ellis

Cornell University

United States

Xinyu Feng

Xinyu Feng

Nanjing University

China

Irene Finocchi

Irene Finocchi

Luiss Guido Carli

Italy

Alcides Fonseca

Alcides Fonseca

University of Lisbon

Portugal

Zhoulai Fu

Zhoulai Fu

State University of New York, Korea

François Gauthier

François Gauthier

Oracle Labs

Australia

Paul Gazzillo

Paul Gazzillo

University of Central Florida

United States

Pierre Geneves

Pierre Geneves

CNRS/LIG

France

small-avatar

Guy Gueta

VMWare

Sam Guyer

Sam Guyer

Tufts University

United States

Kihong Heo

Kihong Heo

KAIST

South Korea

Josiah Hester

Josiah Hester

Georgia Institute of Technology

United States

Jan Hoffmann

Jan Hoffmann

Carnegie Mellon University

United States

Chung-Kil Hur

Chung-Kil Hur

Seoul National University

South Korea

Limin Jia

Limin Jia

Carnegie Mellon University

Alexandra Jimborean

Alexandra Jimborean

University of Murcia

Spain

Gowtham Kaki

Gowtham Kaki

University of Colorado Boulder

United States

Fredrik Kjolstad

Fredrik Kjolstad

Stanford University

United States

Eric Koskinen

Eric Koskinen

Stevens Institute of Technology

United States

Robbert Krebbers

Robbert Krebbers

Radboud University Nijmegen

Netherlands

Viktor Kunčak

Viktor Kunčak

EPFL, Switzerland

Switzerland

Ori Lahav

Ori Lahav

Tel Aviv University

Israel

Akash Lal

Akash Lal

Microsoft Research

Leonidas Lampropoulos

Leonidas Lampropoulos

University of Maryland, College Park

Greece

Owolabi Legunsen

Owolabi Legunsen

Cornell University

United States

Mohsen Lesani

Mohsen Lesani

University of California at Riverside

Yao Li

Yao Li

Portland State University

United States

small-avatar

Yu David Liu

SUNY Binghamton

United States

Alexey Loginov

Alexey Loginov

Meta

United States

Nuno P. Lopes

Nuno P. Lopes

INESC-ID; Instituto Superior Técnico - University of Lisbon

Portugal

Brandon Lucia

Brandon Lucia

Carnegie Mellon University, USA

Konstantinos Mamouras

Konstantinos Mamouras

Rice University

United States

Jedidiah McClurg

Jedidiah McClurg

Colorado State University

United States

Charith Mendis

Charith Mendis

University of Illinois at Urbana-Champaign

United States

Dimitris Mitropoulos

Dimitris Mitropoulos

University of Athens

Greece

Toby Murray

Toby Murray

University of Melbourne

Australia

Magnus O. Myreen

Magnus O. Myreen

Chalmers University of Technology

Cyrus Omar

Cyrus Omar

University of Michigan

United States

Peter-Michael Osera

Peter-Michael Osera

Grinnell College

United States

Oded Padon

Oded Padon

VMware Research

United States

small-avatar

Zoe Paraskevopoulou

Northeastern University

United States

Hila Peleg

Hila Peleg

Technion

Israel

small-avatar

Lauren Pick

University of Wisconsin-Madison and University of California, Berkeley

United States

Ruzica Piskac

Ruzica Piskac

Yale University

United States

Louis-Noël Pouchet

Louis-Noël Pouchet

Colorado State University, USA

Jorge A. Pérez

Jorge A. Pérez

University of Groningen

Netherlands

Jonathan Ragan-Kelley

Jonathan Ragan-Kelley

Massachusetts Institute of Technology

United States

small-avatar

Mukund Raghothaman

University of Southern California

United States

Veselin Raychev

Veselin Raychev

DeepCode AG

Alastair Reid

Alastair Reid

Arm Ltd

United Kingdom

Noam Rinetzky

Noam Rinetzky

Tel Aviv University

Israel

Cindy Rubio-González

Cindy Rubio-González

University of California at Davis

United States

Susmit Sarkar

Susmit Sarkar

University of St. Andrews

Ilya Sergey

Ilya Sergey

National University of Singapore

Singapore

Thomas Shull

Thomas Shull

Oracle Labs

Jeremy G. Siek

Jeremy G. Siek

Indiana University, USA

United States

Gagandeep Singh

Gagandeep Singh

University of Illinois at Urbana-Champaign

United States

KC Sivaramakrishnan

KC Sivaramakrishnan

IIT Madras and Tarides

India

Gang (Gary) Tan

Gang (Gary) Tan

Pennsylvania State University

United States

Xulong Tang

Xulong Tang

University of Pittsburgh

Joseph Tassarotti

Joseph Tassarotti

NYU

United States

Zachary Tatlock

Zachary Tatlock

University of Washington

United States

Sam Tobin-Hochstadt

Sam Tobin-Hochstadt

Indiana University

Jean-Baptiste Tristan

Jean-Baptiste Tristan

Amazon Web Services

United States

David Van Horn

David Van Horn

University of Maryland

United States

Niki Vazou

Niki Vazou

IMDEA Software Institute

small-avatar

Freek Verbeek

Open University of the Netherlands, The Netherlands

Abhinav Verma

Abhinav Verma

The Pennsylvania State University

Chao Wang

Chao Wang

University of Southern California

United States

Ke Wang

Ke Wang

Visa Research

United States

James R. Wilcox

James R. Wilcox

University of Washington, Seattle

United States

Ningning Xie

Ningning Xie

University of Toronto

Canada

Yingfei Xiong

Yingfei Xiong

Peking University

China

small-avatar

Jeremy Yallop

University of Cambridge

United Kingdom

Peisen Yao

Peisen Yao

Zhejing University

China

Greta Yorsh

Greta Yorsh

Jane Street

Ayal Zaks

Ayal Zaks

Mobileye

Yizhou Zhang

Yizhou Zhang

University of Waterloo

Canada

He Zhu

He Zhu

Rutgers University, USA

xSun 25 May 17:34

PLDI 2023


using conf.researchr.org (v1.69.0)
Support page

Tracks

FCRC
PLDI Research Papers
Social
Research Artifacts
Tutorials
Workshops and Tutorials
SRC
Volunteering
W@PLDI
LGBTQ+ Lunch
SIGPLAN

Co-hosted Conferences

ISMM 2023
LCTES 2023

Workshops

ARRAY 2023
ASA 2023
CSC 2023
CTSTA 2023
DRAGSTERS 2023
EGRAPHS 2023
Infer 2023
PLARCH 2023
PLMW@PLDI 2023
SOAP 2023

Attending

Venue: Orlando World Center Marriott
PLDI'23 Attendee's Guide
Registration
Code of Conduct
Sponsorship
Visa
Volunteers
Childcare
Sign Up