Participants, ACL2 Workshop 2018

Brock, Andrew           ArterisIP
Chau, Cuong             The University of Texas at Austin
Coglio, Alessandro      Kestrel Institute
Cowles, John            University of Wyoming
Gamboa, Ruben           University of Wyoming
Goel, Shilpi            Centaur Technology, Inc.
Greenstreet, Mark R.    University of British Columbia
Greve, David            Rockwell Collins
Guermond, Nathan        Kestrel Institute
Hardin, David           Rockwell Collins
Hunt, Jr., Warren A.    UT Austin
Kaufmann, Matt          University of Texas at Austin
Kini, Keshav            Oracle
Kwan, Carl              University of British Columbia
McCarthy, Eric          Kestrel Institute
Mehta, Mihir            University of Texas at Austin
Peng, Yan               University of British Columbia
Rager, David            Oracle
Rane, Ashay             UT Austin
Ray, Sandip             University of Florida
Reid, Alastair          ARM Ltd
Russinoff, David        Arm
Slobodova, Anna         Centaur Technology
Smith, Eric             Kestrel Institute
Sumners, Rob            Centaur Technology
Swords, Sol             Centaur Technology, Inc.
Temel, Mertcan          University of Texas at Austin
Westfold, Stephen       Kestrel Institute
Wetzler, Nathan         Individual