Participants, ACL2 Workshop 2015

Brock, Andrew                   Oracle
Chau, Cuong Kim                 The University of Texas at Austin
Coglio, Alessandro              Kestrel Institute
Cowles, John R.                 University of Wyoming
Davis, Jared                    Centaur Technology
Dunham, Curtis                  ARM
Ebergen, Jo                     Oracle Labs
Gamboa, Ruben                   University of Wyoming
Goel, Shilpi                    The University of Texas at Austin
Greenstreet, Mark               UBC
Greve, David                    Rockwell Collins
Hardin, David                   Rockwell Collins
Hunt, Warren A.                 UT Austin
Jain, Mitesh                    Northeastern University
Johnson, Ian                    LogicBlox Inc.
Kaufmann, Matt                  Univ. of Texas at Austin
Kini, Keshav                    University of Texas at Austin
Mehta, Mihir                    UT Austin
Moore, J Strother               University of Texas At Austin
Nadezhin, Dmitry Yuryevich      Oracle Corporation
O'Leary, John W                 Intel Corporation
Peng, Yan                       University of British Columbia
Rager, David L                  Oracle
Raju, Dhananjay                 UT Austin
Russinoff, David M              Intel Corp.
Schmaltz, Julien                Eindhoven University of Technology
Selfridge, Benjamin Gordon      UT Austin
Slobodova, Anna                 Centaur Technology
Smith, Eric                     Kestrel Institute
Staley, Scott                   Ford Motor Company (Retired)
Sumners, Robert                 Advanced Micro Devices
Swords, Sol                     Centaur Technology Inc.
Wetzler, Nathan                 
Young, Bill                     UT Austin