Research Review 2024
Research Review 2024
Thank you for joining us for the 2024 Carnegie Mellon University Software Engineering Institute (CMU SEI) Research Review! This annual event showcased the most innovative SEI research and development projects from the past year. The 2024 Research Review was in person in Pittsburgh, Pennsylvania, on Wednesday, November 13.
This year’s theme, Crafting Connections, highlighted CMU SEI's 40-year legacy of collaborating to align DoD needs with current and emerging technological advances. Learn about SEI’s collaborative research advancements designed to address the four big software challenges for national defense and security: capability, timeliness, affordability, and trustworthiness. Attendees learned how to integrate SEI tools, techniques, and processes into their own work contexts and hear about the positive impact of these technologies on the Defense Department’s mission.
Below, you'll find summaries of each of our highlighted projects. Recordings of all presentations will be available after the event.
On Crafting Connections
"Collaboration among government, industry, and academia is critical in the fast-changing world of software, cybersecurity, and AI. Attendees at this year’s Research Review will not only get an inside look at some of the SEI’s projects for national defense. They’ll also have the opportunity to forge their own new connections.”
— Tom Longstaff, Chief Technology Officer, CMU SEI
Download Slides and Posters
Download the Research Review presentation slides and posters from the CMU SEI digital library.
Have a Question?
If you have any questions about this event or our research, please reach out to us at info@sei.cmu.edu.
AI Robustness (AIR)
The SEI AIR tool offers a precedent-setting capability to improve the correctness of AI classifications and predictions with data-based confidence.
Read MoreCo-Design for Edge Artificial Intelligence: Application-Specific System on Chip
Principal Investigator
This project responds to a DoD need and opportunity to not only improve efficiency in targeted edge applications, but to do so at scale.
Read MoreTechniques for Detection of Information Flows Indicative of Inserted Malicious Code
Principal Investigator
Our goal is to enable analysts throughout the DoD to detect malicious code before it can compromise DoD systems.
Read MoreExplainable Verification for Rapid Certification
Principal Investigator
Qualifying FM tools can be expensive. However, with XM techniques, FM tools can be used without tool qualification and still align to standards.
Read MoreVessel: Modelling Container Reproducibility Failures
Principal Investigator
This two-year project plans to improve container reproducibility by creating an empirical analysis of open-source container build files to identify common reproducibility issues.
Read MoreTowards Compositional Assurance of Large-Scale Systems
Principal Investigator
Our objective is to develop the representations, algorithms, and associated tooling for automatically capturing and evaluating an argument architecture for a system from the argument architectures of its subsystems.
Read MoreResearch Review 2024 Poster Session
Principal Investigator
Dr. Anandi Hira, Dr. Jerome Hugues, James Ivers, Dr. Will Klieber, Dr. Justin Novak, Dr. Ipek Ozkaya, and Linda Parker Gates
The following researchers and projects will be highlighted in the CMU SEI Research Review 2024 Poster Session.
Read More