Artifact Evaluation Committee Research Artifacts

Mehrdad Afshari

Vivibe LLC

United States

Spenser Bauman

Indiana University

Joshua Cranmer

UIUC

Monika Dhok

IISC

Will Dietz

University of Illinois at Urbana-Champaign

United States

Marko Dimjašević

University of Utah, USA

Dana Drachsler Cohen

Technion

Israel

Jean-Baptiste Jeannin

Carnegie Mellon University

Xiangqi Li

University of Utah

Petr Maj

ReactorLabs

David Menendez

Rutgers University

Nhat Minh Le

ENS Paris

France

José Morales

IMDEA Software Institute

Pavel Panchekha

University of Washington

Justin Pombrio

Chenxiong Qian

Georgia Tech

John Regehr

University of Utah

Malavika Samak

Indian Institute of Science, Bangalore

India

Vilhelm Sjoberg

Yale University

Chengnian Sun

University of California at Davis, USA

Jubi Taneja

University of Utah

India

Zachary Tatlock

University of Washington

Niki Vazou

UC San Diego

Shiyi Wei

Virginia Tech

James R. Wilcox

University of Washington

United States

Doug Woos

University of Washington

United States

Adarsh Yoga

Rutgers University, USA