Model-Based Embedded Software Testing and Monitoring
Dr. Ratnesh Kumar – Iowa State University
Molecular Computing: Computation by Chemistry and Geometry
Dr. David Doty – California Institute of Technology
Valuable Verification: Theorems that Pay
Dr. Jay McCarthy – Brigham Young University
Detecting and Repairing Performance Bugs
Adrian Nistor – University of Illinois at Urbana-Champaign
Gaining Better Understanding of Software through Visualizing the Memory Access Patterns of Executing Software
Dr. Paul Rosen – University of Utah
MASK: Masquerade of Mobile Applications Against Behavioral Tracking
Dr. Kang G. Shin – University of Michigan-Ann Arbor
Designing with Crowds
Anbang Xu – University of Illinois at Urbana-Champaign
Taming Big Data Variety: From Social Networks to Brain Networks
Xiangnan Kong – University of Illinois at Chicago
A New Multiple Protein Sequence Alignment Method
Dr. Xin Dang – LexisNexis Healthcare
Codes that No Longer Correct: New Faces of Error-Correcting Codes
Dr. Mahdi Cheraghchi – MIT