PLMW 2020 Contributors - PLMW 2020

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

co-located with POPL 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (16)

B Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USAUnited States Session Chair of Morning 1 (part of PLMW) Organizer in Organizing Committee within the PLMW-track
William J. BowmanBowman, William J. University of British ColumbiaCanada Panel Panelist in Panelists within the PLMW-track
D Işıl DilligDillig, Işıl University of Texas AustinUnited States Automated Program Verification using Abductive Reasoning Invited Speaker in Invited speakers within the PLMW-track
Derek DreyerDreyer, Derek MPI-SWSGermany How to Write Papers So People Can Read Them Invited Speaker in Invited speakers within the PLMW-track
F Kenny FonerFoner, Kenny Galois How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond Panel Panelist in Panelists within the PLMW-track Invited Speaker in Invited speakers within the PLMW-track
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Panel Panelist in Panelists within the PLMW-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Research as a collaborative effort Invited Speaker in Invited speakers within the PLMW-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Panel Panelist in Panelists within the PLMW-track
H Andrew K. HirschHirsch, Andrew K. Max Planck Institute for Software SystemsGermany Panel Panelist in Panelists within the PLMW-track
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States Session Chair of Afternoon 1 (part of PLMW) Organizer in Organizing Committee within the PLMW-track
K Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Session Chair of Morning 2 (part of PLMW) Organizer in Organizing Committee within the PLMW-track
Lindsey KuperKuper, Lindsey University of California, Santa Cruz Making Progress Under Uncertainty in SMT Solving, Research, and Life Invited Speaker in Invited speakers within the PLMW-track
L Xavier LeroyLeroy, Xavier Collège de FranceFrance Theorem provers are a P.L. researcher's best friend Invited Speaker in Invited speakers within the PLMW-track
P Brigitte PientkaPientka, Brigitte McGill University Opening
S Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Panel Panelist in Panelists within the PLMW-track
Y Nobuko YoshidaYoshida, Nobuko Imperial College London Session Chair of Afternoon 2 (part of PLMW) Organizer in Organizing Committee within the PLMW-track