Program committee



Name Affiliation
Katrin Reitsma
Kedar Namjoshi Bell Labs, Nokia
Limin Jia chair CMU
Ronghui Gu Columbia University
Scott Moore Galois, Inc.
William Harris Galois Inc.
Taesoo Kim chair Georgia Institute of Technology
J. Sukarno Mertoguno Georgia Tech
Tamara Rezk INRIA Sophia-Antipolis
Michael Steiner Intel
Richard Chow Intel Labs
Lotfi Ben Othmane Iowa State University
Min Xu Mastercard
Chris Hawblitzel Microsoft Research
Marcus Peinado Microsoft Research
Hamed Okhravi MIT Lincoln Laboratory
Cristina Cifuentes Oracle Labs
Gang Tan Penn State
Trent Jaeger Penn State University
Cedric Hebert SAP Security Research
Luca Compagna SAP Security Research
Chia-Che Tsai Texas A&M University
Deian Stefan UC San Diego
Tuba Yavuz University of Florida
William Mansky University of Illinois at Chicago
Toby Murray University of Melbourne and Data61
Daniel Genkin University of Michigan
Mayur Naik University of Pennsylvania
Fan Long University of Toronto
Yuan Tian University of Virginia
Dominique Devriese Vrije Universiteit Brussel