CMU SEI 2018 Research Review
• Collection
Publisher
Software Engineering Institute
Subjects
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
Automatically Understanding Executables
• Poster
By Cory Cohen
This poster describes research aimed at reducing the cost of manual executable analysis for vulnerability discovery and malware analysis.
Download
Causal Models for Software Cost Control (SCOPE)
• Poster
By Michael D. Konrad
This poster describes work in applying causal learning to program datasets to better understand which factors can reduce costs.
Download
Automatic Code Generation for Graph Algorithms
• Poster
By Scott McMillan, Franz Franchetti (Carnegie Mellon University)
This poster describes automated code generation of high-performance libraries of graph algorithms, tuned for different hardware architectures.
Download
Automated Code Repair to Ensure Memory Safety (2018)
• Poster
By William Klieber
This poster describes a technique for automatically repairing potential violations of memory safety so that the program is provably memory-safe.
Download
Building a COTS Benchmark Baseline for Graph Analytics
• Poster
By Scott McMillan
This poster describes research aimed at building a benchmark baseline based on commercial off-the-shelf (COTS) field-programmable gate array (FPGA) hardware.
Download
Certifiable Distributed Runtime Assurance
• Poster
By Dionisio de Niz
This poster describes the use of enforcers to assure the safety of distributed cyber-physical systems.
Download
High Assurance Software-Defined IoT Security
• Poster
By Grace Lewis
This poster describes a solution for the secure use of IoT devices in the DoD by moving part of the security enforcement to the network.
Download
Infrastructure as Code
• Poster
By John Klein
This poster describes an approach and tools for recovering a deployed system's technical baseline.
Download
Integrated Safety and Security Engineering for Mission Critical Systems (2018)
• Poster
By Peter H. Feiler, Sam Procter
This poster describes progress in the first year of a three-year project aimed at understanding interactions between safety and security.
Download
Modeling and Explaining Sequential Behavior
• Poster
By Software Engineering Institute
This poster describes two research projects that offer novel solutions toward modeling and explaining sequential behavior.
Download