Digital Library
The SEI Digital Library provides access to more than 5,000 documents from three decades of research into best practices in software engineering. These documents include technical reports, presentations, webinars, podcasts and other materials searchable by user-supplied keywords and organized by topic, publication type, publication year, and author.
Latest Publications
-
Panel: Supercharging the Software Factory: Deploying Capability at the Speed of Relevance
November 11, 2019 • Video
By Anita Carleton
Watch as Ms. Anita Carleton, Director of the SEI Software Solutions Division, moderates discussion on deploying mission capability at the speed of relevance to maintain DoD competitve advantage by a distinguished panel of subject matter experts.
watch -
Projecting Quantum Computational Advantage Versus Classical State of the Art (video)
November 11, 2019 • Video
By Jason Larkin
Watch SEI researcher Dr. Jason Larkin discuss research to predict when (or whether) quantum computing will be mission-capable for hard combinatorial optimization problems in software verification and validation (V&V).
watch -
Spiral/AIML: Resource-Constrained Co-Optimization for High-Performance, Data-Intensive Computing
November 11, 2019 • Video
By Scott McMillan, Franz Franchetti (Carnegie Mellon University)
Watch SEI Principal Investigator, Dr. Scott McMillan, and research collaborator, CMU ECE Professor Franz Franchetti, discuss a community research effort to develop tools to reduce the prohibitive cost of implementing and re-implementing AI/ML software on
watch -
Recovering Meaningful Variable Names in Decompiled Code (video)
November 11, 2019 • Video
Watch CMU Institute for Software Research (ISR) assistant professor Dr. Bogdan Vasilescu discuss ongoing collaborative research with SEI in the reverse engineering of legacy systems using machine learning (ML) to identify variables.
watch -
Field Stripping a Weapons System: Building a Trustworthy Computer (video)
November 11, 2019 • Video
By Gabriel Somlo (SEI CERT)
Watch SEI principal investigator Dr. Gabriel Somlo discuss research to demonstrate the practicality of guaranteeing the trustworthiness of DoD fielded computer systems.
watch