Basic Research Innovation and Collaboration Center (BRICC)
4075 Wilson Blvd., Suite 350 | Liberty Room
Arlington, VA 22203
Agenda Day 1 – Tuesday, June 30, 2015
Time
8:00-9:00
9:00-9:30
Topic
Registration
Dr. Kathleen Kaplan,
AFOSR Systems & Software
Welcome
9:30-9:45
9:45-10:30
Speaker
BREAK
Multicore Real-Time Mixed-Criticality Framework for
Avionics
10:30-11:15 Parallel Discrete Event Simulation on Emerging Highperformance Multicore Clusters
11:15-11:30
Dr. Nael, Abu-Ghazaleh,
University of California, Riverside
BREAK
11:30-12:15 Semantic Approach to Behavior-Based IDS and Its
Applications
12:15-11:30
Dr. James Anderson,
University of North Carolina at Chapel
Hill
Dr. Victor Skormin,
Binghamton University
Dr. Bhavani Thuraisingham,
University of Texas at Dallas
LUNCH
13:30-14:15 A Holistic Approach to Networked Information Systems
Design and Analysis
Dr. P.R. Kumar,
Texas A&M University
14:15-15:00 Understanding and Quantifying the Impact of Moving
Target Defenses
Dr. Scott DeLoach,
Kansas State University
15:00-15:15
BREAK
15:15-16:00 A Comprehensive Theory of Algorithms for Wireless
Networks and Mobile Systems
Dr. Nancy Lynch,
MIT
16:00-17:00 Workshop/Discussion
17:00
MEETING ADJOURNED FOR THE DAY
Basic Research Innovation and Collaboration Center (BRICC)
4075 Wilson Blvd., Suite 350 | Liberty Room
Arlington, VA 22203
Agenda Day 2 – Wednesday, July 1, 2015
Time
Topic
Speaker
8:00-9:00
Registration
9:00-9:45
Redefining Analytics for Small High-Performance
Computing Clusters
9:45-10:00
Dr. Tim Kraska,
Brown University (YIP)
BREAK
10:00-10:45 Robust Software Design for Multi-Core Platforms
Dr. Carol Smidts,
Ohio State University
10:45-11:30 The Development of Efficient and Intelligent Algorithms
for a New Class of Multifunctional Reconfigurable
Antenna Systems
Dr. Bedri Cetiner,
Utah State University
11:30-11:45
BREAK
11:45-12:30 Perpetual Model Validation
12:30-13:30
Dr. Stanley Bak,
AFRL/RI
LUNCH
13:30-14:15 Cyber-Physical Systems Specification Mismatch and Safe Dr. Taylor Johnson,
Upgrades
University of Texas at Arlington
14:15-15:00 Creating An Integrated Management Layer to Administer Dr. Ningfang Mi,
Heterogeneous Resources in Dynamic Workflow Clusters Northeastern University (YIP)
15:00-15:15
BREAK
15:15-16:00 Virtual Machine-Level Software Transactional Memory:
Principles, Techniques and Implementation
Dr. Roberto Palmieri and Dr. Binoy
Ravindran,
Virginia Polytechnic Institute and
State University
16:00-17:00 Workshop/Discussion
17:00
MEETING ADJOURNED FOR THE DAY
Basic Research Innovation and Collaboration Center (BRICC)
4075 Wilson Blvd., Suite 350 | Liberty Room
Arlington, VA 22203
Agenda Day 3 – Thursday, July 2, 2015
Time
Topic
Speaker
8:00-9:00
Registration
9:00-9:45
Adaptive Runtime Verification and Recovery for Mission- Dr. Scott Smolka,
Critical Software
Stony Brook University
9:45-10:00
BREAK
10:00-10:45 Scalable, Fault-Tolerant Operating System for ManyCore and Multi-Core Platform
Dr. Antonio Barbalace and Dr. Binoy
Ravindran,
Virginia Polytechnic Institute and
State University
10:45-11:30 Megacore Operating System and Chip Architecture CoDesign
Dr. David Wentzlaff,
Princeton University (YIP)
11:30-11:45
BREAK
11:45-12:30 An Integrated Isogeometric Approach to the Engineering Dr. Michael Scott,
Design and Optimization of Aircraft Structures
Brigham Young University
12:30-13:30
LUNCH
13:30-14:15 Formal Model of a Multi-Core Kernel-based System
Dr. June Andronick,
NICTA & University of South Wales,
Australia
14:15-15:00 RASS: Resilient Autonomic Software Systems
Dr. Sam Malek,
GMU / University of California Irvine
15:00-15:15
BREAK
15:15-16:00 Fully Automated Concurrency Refactoring of Legacy
Sequential Programs on Chip Multiprocessors:
Techniques and Compiler/Virtual Machine
Dr. Roberto Palmieri and Dr. Binoy
Ravindran,
Virginia Polytechnic Institute and
State University
16:00-17:00 Workshop/Discussion
17:00
MEETING ADJOURNED FOR THE DAY