Loading…

Popular Events

 

#1

Break

#2

Welcome to the 2020 CMU SEI Research Review from the SEI Director

#3

Welcome to the 2020 CMU SEI Research Review from the CMU Vice-President of Research

#4

Realizing Algorithmic and Computational Advantage including the Need for an AI Engineering Discipline

#5

Break

#6

Advancing AI Engineering for Defense and National Security

#7

Introduction to Presentations

#8

Train but Verify: Towards Practical AI Robustness

#9

Investigating Techniques for Summarizing and Searching Video

#10

Break

#11

Ethics in AI Engineering

#12

Knowing When You Don’t Know: Engineering AI Systems in an Uncertain World

#13

Break

#14

Topics in Advanced Computing: The Promise and Challenges of Recommendation Systems for the DoD

#15

Break

#16

Bringing it all Together

#17

Break to Transition to Poster Rooms

#18

Concurrent Sessions: Four Poster Presentations and Discussions

#19

Poster: Characterizing and Detecting Mismatch in ML-Enabled Systems

#20

Poster: Improving Human Decision Making with AI Decision Support Systems

#21

Poster: Quantum Advantage Evaluation Framework

#22

Poster: Spiral/AIML: Resource-Constrained Co-Optimization for High-Performance, Data-Intensive Computing

#23

Welcome

#24

Engagement in all Facets of Cyberspace and Cyber-enabled Systems Essential to Mount an Effective Response

#25

Advancing Cyber Operator Tradecraft through Automated Static Binary Analysis: Program Reachability for Vulnerability and Malware Analysis

#26

Break

#27

Framing: Combining Automated Code Repair for Memory Safety and Static Code Analysis Systems

#28

Automated Code Repair for Memory Safety

#29

Static Code Analysis Classification

#30

Combining Automated Code Repair for Memory Safety and Static Code Analysis Systems

#31

Q&A: Combining Automated Code Repair for Memory Safety and Static Code Analysis Systems

#32

Break

#33

Framing: Implementing Cyber Security

#34

Implementing Cyber Security in DoD Supply Chains

#35

Break

#36

Toward the Use of Human-Machine Teaming and Fully Autonomous Operations

#37

AIDE: Artificial Intelligence Defense Evaluation

#38

About the President's Cup Competition

#39

Bringing it all Together

#40

Closing

#41

Welcome

#42

Enabling DoD to Produce Systems that are Agile and Responsive to its Missions

#43

Break

#44

Software Engineering’s Grand Challenges: Voices from Visionaries

#45

Break

#46

Framing

#47

Untangling the Knot: Enabling Rapid Software Evolution

#48

TwinOps – Digital Twins meet DevOps

#49

Q&A: TwinOps and Untangling the Knot

#50

Break