search menu icon-carat-right cmu-wordmark

CMU SEI 2017 Research Review Presentations and Posters

A collection of digital artifacts from our review of FY2017 DoD-funded research projects

Publisher:

Software Engineering Institute

This collection of presentations and posters from our 2017 Research Review exemplifies the way we value our applied research and development (AR&D) in software and cybersecurity according to its impact on capability of the U.S. Department of Defense (DoD) to continually and rapidly develop and deploy innovative, software-enabled components and systems that are affordable, resilient, and easy to modify. We focus our AR&D on data-driven, formally verified, and automated development support across the system lifecycle. We produce algorithms, tools, techniques, and practices that address critical technology gaps. Further, we deliver capabilities through an execution model that combines our AR&D with customer engagement and our deep expertise in forming, applying, and transitioning solutions that improve the state of the practice in software engineering and cybersecurity.

CMU SEI 2017 Research Review Summaries

October 2017
Author(s):

Short descriptions for FY2017 DoD-funded research projects

Automated Assurance of Security Policy Enforcement (2017)

October 2017
Author(s): Peter H. Feiler, Samuel Procter

Poster for a research project on saftey-critical system security policy enforcement

Automated Assurance of Security Policy Enforcement (2017)

October 2017
Author(s): Peter H. Feiler, Samuel Procter

Presentation on research to detect vulnerabilities early in the lifecycle in architecture models

Guided Architecture Trade Space Exploration for Safety-Critical Software Systems

October 2017
Author(s): Samuel Procter

Poster on research into tools to evaluate trade space for embedded systems

Guided Architecture Trade Space Exploration for Safety-Critical Software Systems

October 2017
Author(s): Samuel Procter

Presentation on research to create new tool prototype that automatically explores a system's trade space

Inference of Memory Bounds

October 2017
Author(s): William Klieber

Presentation on research to develop an algorithm to automatically infer the bounds of memory regions

Inference of Memory Bounds

October 2017
Author(s): William Klieber

Poster on research to develop an algorithm to automatically infer the bounds of memory regions

A Game-Theoretic Approach to Optimizing Behaviors in Acquisition

October 2017
Author(s): William E. Novak

This presentation discusses research on using game theory in acquisition.

Getting Contractors to Cooperate

October 2017
Author(s): William E. Novak

A poster describing work on a project entitled A Game-Theoretic Approach to Optimizing Acquisition Behaviors

Authentication and Authorization for Internet of Things (IoT) Devices in Edge Environments

October 2017
Author(s): Grace Lewis

Presentation on research to assure use of IoT devices in edge computing environments

Two Perspectives on IoT Security

October 2017
Author(s): Grace Lewis

Poster on a project called Authentication and Authorization for IoT Devices in Edge Environments

Automated Code Generation for High-Performance, Future-Compatible Graph Libraries

October 2017
Author(s): Scott McMillan

Poster on research into graph analytics

Automated Code Generation for High-Performance Graph Libraries

October 2017
Author(s): Scott McMillan

Presentation on research into graph analytics

What will the Robot do Next?

October 2017
Author(s): Jonathan Chu

Poster on research to develop algorithms for robots to explain their behaviors and adapt their behavior to enable users to accurately predict their actions

What will the Robot do Next?

October 2017
Author(s): Jonathan Chu

Presentation on research to build algorithms that allow robots to explain their behaviors to users and adapt their behavior during execution to enable users to accurately predict what they will do next

Why Does Software Cost So Much? Towards a Causal Model

October 2017
Author(s): Robert W. Stoddard, Michael D. Konrad

Poster on research to build an actionable, full causal model of software cost factors

Why Does Software Cost So Much? Towards a Causal Model

October 2017
Author(s): Robert W. Stoddard, Michael D. Konrad

Presentation on research to build an actionable, full causal model of software cost factors that is immediately useful to DoD programs and contract negotiators

Micro-Expressions: More than Meets the Eye

October 2017
Author(s): Satya Venneti, Oren Wright

Presentation on research to build an accurate, automatic micro-expression analysis prototype that outperforms humans in spotting and recognizing facial micro-expressions in near real time

Micro-Expressions: More than Meets the Eye

October 2017
Author(s): Satya Venneti, Oren Wright

Poster on research to build an accurate, automatic micro-expression analysis prototype that outperforms humans in spotting and recognizing facial micro-expressions in near real time

Technical Detection of Intended Violence Against Self or Others

October 2017
Author(s): Tracy Cassidy

Poster on research into determining the extent to which it is possible to technically detect indicators of employees who may be on a path to harm themselves and/or others within the workplace via insider threat detection tools

Technical Detection of Intended Violence against Self or Others

October 2017
Author(s): Tracy Cassidy

Presentation on research to use insider threat tools to detect indicators of employees who are may be on a path to harm themselves and/or others within the workplace

Technical Debt Analysis through Software Analytics

October 2017
Author(s): Ipek Ozkaya

Presentation on research to develop tools that pinpoint problematic design decisions and quantify their consequences for uncovering technical debt

Technical Debt Analysis through Software Analytics

October 2017
Author(s): Ipek Ozkaya

Poster on research to develop tools that integrate data from multiple, commonly available sources to pinpoint problematic design decisions and quantify their consequences in a repeatable and reliable way

Certifiable Distributed Runtime Assurance

October 2017
Author(s): Dionisio de Niz

Poster on research into the use of enforcers for runtime assurance of distributed systems

Certifiable Distributed Runtime Assurance

October 2017
Author(s): Dionisio de Niz

Presentation on research on the use of enforcers for runtime assurance in distributed systems

Rapid Expansion of Classification Models to Prioritize Static Analysis Alerts for C

October 2017
Author(s): Lori Flynn

Presentation on research a method to automatically classify and prioritize alerts that minimizes manual effort to address the large volume of alerts

Rapid Expansion of Classification Models to Prioritize Static Analysis Alerts for C

October 2017
Author(s): Lori Flynn

Poster on research to create a method to automatically classify and prioritize alterts

Cyber Affordance Visualization in Augmented Reality

October 2017
Author(s): Josh Hammerstein, Jeff Mattson

Poster on research to integrate cyber effects into tactical decision-making for soldiers

Cyber Affordance Visualization in Augmented Reality

October 2017
Author(s): Josh Hammerstein, Jeff Mattson

Presentation on research to integrate cyber effects into tactical decision-making for soldiers

Obsidian - A Safer Blockchain Programming Language

October 2017
Author(s): Eliezer Kanal, Michael Coblenz (Carnegie Mellon School of Computer Science)

Presentation on research by CMU and SEI to develop a novel programming language for secure blockchain software development

Obsidian - A Safer Blockchain Programming Language

October 2017
Author(s): Eliezer Kanal, Michael Coblenz (Carnegie Mellon School of Computer Science)

Poster on research by CMU and SEI to create a novel programming language for safer blockchain software development

Dynamic Design Analysis

October 2017
Author(s): Rick Kazman

Poster on research into dynamic dependencies that arise from the way modern systems are composed

Dynamic Design Analysis

October 2017
Author(s): Rick Kazman

Presentation on research to identify dynamic dependencies that result from the way modern systems are composed

Measuring Performance of Big Learning Workloads

October 2017
Author(s): Scott McMillan

Presentation on research to build a performance measurement workbench with tools to measure and report performance of large-scale ML platforms

Measuring Performance of Big Learning Workloads

October 2017
Author(s): Scott McMillan

Poster on research to build a performance measurement workbench with tools to measure and report performance of large-scale ML platforms

Events, Relationships, and Script Learning for Situational Awareness

October 2017
Author(s): Edwin J. Morris

Poster for research into using machine learning to extract patterns from high volumes of textual data

Events, Relationships, and Script Learning for Situational Awareness

October 2017
Author(s): Edwin J. Morris

Presentation on research to use machine learning to extract patterns from high volumes of textual data

Foundations for Summarizing and Learning Latent Structure in Video

October 2017
Author(s): Kevin A. Pitstick

Poster on use of machine learning to develop automated and semantically meaningful video summarization

Foundations for Summarizing and Learning Latent Structure in Video

October 2017
Author(s): Kevin A. Pitstick

Presentation on using machine learning to develop automated and semantically meaningful video summarization