Boa: A language and a BIGDATA repository for Democratizing Ultra-Large-Scale Software Repository Mining
Dr. Hridesh Rajan – Iowa State University
Using a Push-Button Verifying Compiler to Build Verified Software Components
Dr. Murali Sitaraman – Clemson University
Supporting Software Evolution through Model Transformation
Dr. Jeff Gray – University of Alabama
Large-Scale Quantum Computing Architectures: A Systems Perspective
Dr. Fred Chong – University of California at Santa Barbara