PLDI 2022
Mon 13 - Fri 17 June 2022 San Diego, California, United States
  • Attending
    • Venue: The Catamaran Resort, San Diego
    • Virtual Attendance
    • Registration
    • Code of Conduct
    • Sponsorship
    • Visa
    • Childcare
    • Students
    • Student Volunteers
    • Restaurants
    • COVID
    • Jobs
  • Program
    • Complete Program
    • Your Program
    • Filter by Day
      • Mon 13 Jun
      • Tue 14 Jun
      • Wed 15 Jun
      • Thu 16 Jun
      • Fri 17 Jun
      • Sat 18 Jun
      • Sun 19 Jun
      • Mon 20 Jun
      • Tue 21 Jun
  • Tracks
      • PLDI 2022
      • Research Artifacts
      • PLDI
      • Tutorials
      • Workshops and Tutorials
      • SIGPLAN Track
      • SRC
      • Student Volunteering
      • W@PLDI
      • Co-hosted Conferences
      • ISMM
      • LCTES
      • Workshops
      • ARRAY
      • ASA
      • Commute
      • EGRAPHS
      • Infer
      • MAPS
      • PLMW
      • SOAP
        • SOAP
        • - Static Analysis for Data Scientists
        • - Using static analysis to scale security at Meta
  • Organization
      • PLDI 2022 Committees
      • Organizing Committee
      • Track Committees
      • Research Artifacts
      • PLDI
      • Workshops and Tutorials
      • SIGPLAN Track
      • SRC
      • Student Volunteering
      • W@PLDI
      • Contributors
      • People Index
      • Co-hosted Conferences
      • ISMM
        • Organizing Committee
        • Program Committee
        • External Review Committee
        • Steering Committee
      • LCTES
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • Workshops
      • ARRAY
        • Organizing Committee
        • Program Committee
      • ASA
        • Organizing Committee
        • Program Committee
      • Commute
        • Organizing Committee
        • Program Committee
      • EGRAPHS
        • Organizing Committee
        • Program Committee
      • Infer
        • Organizing Committee
        • Program Committee
      • MAPS
        • Organizing Committee
        • Program Committee
      • PLMW
        • Organizing Committee
      • SOAP
        • Organizing Committee
        • Program Committee
  • Search
  • Series
    • Series
    • PLDI 2023
    • PLDI 2022
    • PLDI 2021
    • PLDI 2020
    • PLDI 2019
    • PLDI 2018
    • PLDI 2017
    • PLDI 2016
    • PLDI 2015
  • Sign in
  • Sign up
PLDI 2022 (series) / PLDI Research Papers /

PLDI PLDI

Işil Dillig

Işil Dillig Program Chair

University of Texas at Austin

United States

Sara Achour

Sara Achour

MIT

United States

Aws Albarghouthi

Aws Albarghouthi

University of Wisconsin-Madison

United States

Sorav Bansal

Sorav Bansal

IIT Delhi and CompilerAI Labs

India

small-avatar

Osbert Bastani

University of Pennsylvania

United States

James Bornholt

James Bornholt

University of Texas at Austin

United States

Fraser Brown

Fraser Brown

Stanford University, USA

Ting Cao

Ting Cao

Microsoft Research

China

Tej Chajed

Tej Chajed

Massachusetts Institute of Technology, USA

United States

Bor-Yuh Evan Chang

Bor-Yuh Evan Chang

University of Colorado Boulder & Amazon

Sarah E. Chasins

Sarah E. Chasins

University of California at Berkeley

United States

Shumo Chu

Shumo Chu

University of Washington, USA

China

Albert Cohen

Albert Cohen

Google

France

small-avatar

Brian Demsky

University of California, Irvine

Mike Dodds

Mike Dodds

Galois, Inc.

Dana Drachsler Cohen

Dana Drachsler Cohen

Technion

Israel

Constantin Enea

Constantin Enea

Ecole Polytechnique / LIX / CNRS

France

Yu Feng

Yu Feng

University of California, Santa Barbara

United States

Kostas Ferles

Kostas Ferles

UT Austin

United States

Nate Foster

Nate Foster

Cornell University

United States

Nick Giannarakis

Nick Giannarakis

University of Wisconsin-Madison

Klaus v. Gleissenthall

Klaus v. Gleissenthall

Vrije Universiteit Amsterdam, Netherlands

Laure Gonnord

Laure Gonnord

Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France

France

Colin Gordon

Colin Gordon

Drexel University

United States

Justin Gottschlich

Justin Gottschlich

Merly, Inc. / University of Pennsylvania

United States

Neville Grech

Neville Grech

University of Malta

Malta

Vinod Grover

Vinod Grover

NVIDIA

United States

Ronghui Gu

Ronghui Gu

Columbia University

United States

Hui Guan

Hui Guan

University of Massachusetts, Amherst

United States

Mary Hall

Mary Hall

University of Utah

Kihong Heo

Kihong Heo

KAIST

South Korea

Steven Holtzen

Steven Holtzen

Northeastern University

United States

Tony Hosking

Tony Hosking

Australian National University

Australia

Justin Hsu

Justin Hsu

Cornell University

United States

Jeff Huang

Jeff Huang

Texas A&M University

United States

small-avatar

Jeevana Priya Inala

MIT

United States

Susmit Jha

Susmit Jha

SRI

United States

small-avatar

Zhihao Jia

Carnegie Mellon University

Ralf Jung

Ralf Jung

MPI-SWS

Germany

Jeehoon Kang

Jeehoon Kang

KAIST

South Korea

small-avatar

Manos Kapritsos

University of Michigan, USA

Vineeth Kashyap

Vineeth Kashyap

GrammaTech, Inc.

India

Baris Kasikci

Baris Kasikci

University of Michigan, USA

Zachary Kincaid

Zachary Kincaid

Princeton University, USA

Milind Kulkarni

Milind Kulkarni

Purdue University

United States

Shuvendu K. Lahiri

Shuvendu K. Lahiri

Microsoft Research

United States

Akash Lal

Akash Lal

Microsoft Research

Patrick Lam

Patrick Lam

University of Waterloo

James Larus

James Larus

EPFL

Doug Lea

Doug Lea

State University of New York (SUNY) Oswego

United States

small-avatar

Hugh Leather

University of Edinburgh, UK

Caroline Lemieux

Caroline Lemieux

University of British Columbia

United States

Hongjin Liang

Hongjin Liang

Nanjing University

China

Fan Long

Fan Long

University of Toronto, Canada

Rupak Majumdar

Rupak Majumdar

MPI-SWS

Germany

Saeed Maleki

Saeed Maleki

Microsoft Research

United States

small-avatar

Vikash K. Mansinghka

MIT

Ruben Martins

Ruben Martins

Carnegie Mellon University

United States

Jedidiah McClurg

Jedidiah McClurg

Colorado School of Mines

United States

Erik Meijer

Erik Meijer

Facebook

United States

Charith Mendis

Charith Mendis

University of Illinois at Urbana-Champaign

United States

Mira Mezini

Mira Mezini

TU Darmstadt

Germany

Ana Milanova

Ana Milanova

Rensselaer Polytechnic Institute

Anders Miltner

Anders Miltner

Simon Fraser University

United States

Eliot Moss

Eliot Moss

University of Massachusetts Amherst

Vijayaraghavan Murali

Vijayaraghavan Murali

Meta Platforms, Inc.

United States

Peter Müller

Peter Müller

ETH Zurich

Switzerland

Vijay Nagarajan

Vijay Nagarajan

University of Edinburgh, UK

Santosh Nagarakatte

Santosh Nagarakatte

Rutgers University

United States

Chandrakana Nandi

Chandrakana Nandi

Certora, inc.

United States

Satish Narayanasamy

Satish Narayanasamy

University of Michigan

Jorge A. Navas

Jorge A. Navas

Certora, inc.

United States

Michael F. P. O'Boyle

Michael F. P. O'Boyle

University of Edinburgh

United Kingdom

Hakjoo Oh

Hakjoo Oh

Korea University

South Korea

Sreepathi Pai

Sreepathi Pai

University of Rochester

United States

Jens Palsberg

Jens Palsberg

University of California, Los Angeles (UCLA)

United States

Erez Petrank

Erez Petrank

Technion, Israel

Phitchaya Mangpo Phothilimthana

Phitchaya Mangpo Phothilimthana

Google

Ruzica Piskac

Ruzica Piskac

Yale University

United States

Clément Pit-Claudel

Clément Pit-Claudel

EPFL, AWS

United States

Nadia Polikarpova

Nadia Polikarpova

University of California at San Diego

United States

Raghu Prabhakar

Raghu Prabhakar

SambaNova Systems, Inc.

United States

Corina S. Păsăreanu

Corina S. Păsăreanu

Carnegie Mellon University

United States

Shaz Qadeer

Shaz Qadeer

Facebook

United States

Xiaokang Qiu

Xiaokang Qiu

Purdue University, USA

Arjun Radhakrishna

Arjun Radhakrishna

Microsoft

United States

small-avatar

Mukund Raghothaman

University of Southern California

United States

Robert Rand

Robert Rand

University of Chicago

United States

John Regehr

John Regehr

University of Utah

Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

United States

Gabriel Rodríguez

Gabriel Rodríguez

Universidade da Coruña

Spain

Sukyoung Ryu

Sukyoung Ryu

KAIST

South Korea

small-avatar

Leonid Ryzhyk

VMware Research

Malavika Samak

Malavika Samak

CSAIL, MIT

United States

Roopsha Samanta

Roopsha Samanta

Purdue University

United States

small-avatar

Eric Schkufza

Stanford University

Koushik Sen

Koushik Sen

University of California at Berkeley

United States

Xipeng Shen

Xipeng Shen

North Carolina State University; Facebook

United States

Xujie Si

Xujie Si

McGill University, Canada

KC Sivaramakrishnan

KC Sivaramakrishnan

IIT Madras and Tarides

India

Calvin Smith

Calvin Smith

University of Texas Austin

United States

Deian Stefan

Deian Stefan

University of California at San Diego

United States

Zhendong Su

Zhendong Su

ETH Zurich

Switzerland

Tachio Terauchi

Tachio Terauchi

Waseda University

Japan

Aditya V. Thakur

Aditya V. Thakur

University of California at Davis

United States

Sean Treichler

Sean Treichler

NVIDIA

United States

David Van Horn

David Van Horn

University of Maryland

United States

Thomas Wahl

Thomas Wahl

GrammaTech, Inc.

United States

Chenglong Wang

Chenglong Wang

University of Washington, USA

Xinyu Wang

Xinyu Wang

University of Michigan

United States

Yuepeng Wang

Yuepeng Wang

Simon Fraser University

Thomas Wies

Thomas Wies

New York University

United States

Xiaodi Wu

Xiaodi Wu

Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD

Nobuko Yoshida

Nobuko Yoshida

Imperial College London

Danfeng Zhang

Danfeng Zhang

Pennsylvania State University

United States

Qirun Zhang

Qirun Zhang

Georgia Institute of Technology, USA

Xin Zhang

Xin Zhang

Peking University

China

Yizhou Zhang

Yizhou Zhang

University of Waterloo

Canada

Zhiqiang Zuo

Zhiqiang Zuo

Nanjing University

China

xWed 22 Mar 14:59

PLDI 2022

contact form

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

Tracks

Research Artifacts
PLDI
Tutorials
Workshops and Tutorials
SIGPLAN Track
SRC
Student Volunteering
W@PLDI

Co-hosted Conferences

ISMM 2022
LCTES 2022

Workshops

ARRAY 2022
ASA 2022
Commute
EGRAPHS 2022
Infer 2022
MAPS 2022
PLMW
SOAP 2022

Attending

Venue: The Catamaran Resort, San Diego
Virtual Attendance
Registration
Code of Conduct
Sponsorship
Visa
Childcare
Students
Student Volunteers
Restaurants
COVID
Jobs
Sign Up