Panelists PLMW

Aws Albarghouthi

University of Wisconsin-Madison

Thomas Ball

Microsoft Research

United States

Constantin Enea

Université Paris Diderot

France

Azadeh Farzan

University of Toronto

Canada

Jennifer Paykin

University of Pennsylvania

United States

Zachary Tatlock

University of Washington, Seattle

United States

David Walker

Princeton University

United States