CMU SEI 2018 Research Review
• Collection
Publisher
Software Engineering Institute
Topic or Tag
Abstract
This collection of presentations and posters and other material from our Research Review demonstrates our DoD-funded research in the following areas: risk reduction for rapid, affordable software development; creating operational resilience; making the recently possible mission practical; and automating test and evaluation. Among the presentations in the event were brief discussions called "lightning talks"; those short talks are included in this collection.
Collection Items
Automated Code Repair
• Video
By Software Engineering Institute
This video explores automated repair of invalid memory accesses and the use of separation logic to detect and reason about software defects.
WatchAutomated Code Generation for Future-Compatible High-Performance Graph Libraries
• Video
By Software Engineering Institute
Watch researchers, Scott McMillan and Franz Franchetti, discuss "Continuous Iterative Development and Deployment Practices".
WatchAssuring Non-Deterministic Software-Based Systems
• Presentation
By Dionisio de Niz
This Research Review 2018 presentation discusses explainable AI and runtime assurance enforcer research.
Learn MoreCausal Learning & Discovery
• Video
By Software Engineering Institute
Watch CMU Researchers David Danks and Robert Stoddard discuss the challenges of causal learning.
WatchOperational Cyber Risk Reduction
• Presentation
By April Galyardt, Josh Hammerstein
Reducing risk so that the U.S. Government and DoD can field and operate systems to support missions, even in the face of a capable adversary.
Learn MoreModern Software Lifecycle Practices
• Presentation
By Ipek Ozkaya, Sam Procter
Discussion of FY18 DoD Line-funded research into technical debt and security engineering.
Learn MorePanel Session: Applying Artificial Intelligence
• Video
By Software Engineering Institute
Watch the Research Review 2018 Applying Artificial Intelligence Panel Session.
WatchPanel Session: Rapid Velocity Software Development for Mature Organizations
• Video
By Software Engineering Institute
This panel session discusses the changes that speed makes and the decisions that need to be considered differently because of the ability to accomplish goals faster.
WatchScaling Software Testing and Evaluation
• Presentation
By Lori Flynn
Discussion of FY18 CMU SEI research in test and evaluation.
Learn MoreContinuous Iterative Development and Deployment Practices
• Presentation
By Eileen Wrubel, Hasan Yasar
Discussion of Agile and DevOps approaches at the SEI Research Review 2018.
Learn MoreSoftware for Mission
• Presentation
By Kevin A. Pitstick, Oren Wright
Discussion of DoD Line-funded research into video summarization and biometric algorithms
Learn MoreCapitalizing on Cloud Technologies
• Presentation
By Dale Alleshouse
Dale Alleshouse discusses how the DoD can capitalize on cloud technologies.
Learn MoreYou Can Prove It With Less: Data Science Tasks Using Challenge-Based Acquisition
• Presentation
By Ritwik Gupta
Ritwik Gupta discusses the ARPA functional map of the world and XV challenges.
Learn MoreExplainable AI and Human Computer Interaction
• Presentation
By April Galyardt
Watch Dr. April Galyardt discuss implications for explainable AI at the 2018 Research Review.
Learn MoreMission-Capable Quantum Computing for Software Verification and Validation
• Presentation
By Jason Larkin
Dr. Larkin discusses how Software VV is important and difficult for the DoD to implement.
Learn MoreHow Human-Centered Design can help create DoD Capability
• Presentation
By Barbora Batokova
Two brief lighting talks about human-centered design in DoD technology.
Learn MoreProject Summaries and Posters: 2018 Research Review
• Annual Review
By Software Engineering Institute
This booklet contains descriptions of CMU SEI research projects and images of related posters.
ReadBuilding Knowledge from Inference: Logical Language Models for Cybersecurity
• Presentation
By Lena Pons
Two lightning talks about cybersecurity and cloud computing.
Learn MoreLeveraging Emerging Changes in Computing
• Presentation
By Grace Lewis
This presentation was delivered by Grace Lewis at the SEI Research Review 2018.
Learn MorePart of a Collection
SEI Research Review Collection