SEI Digital Library
Latest Publications
Automated Repair of Static Analysis Alerts
• Podcast
By David Svoboda
David Svoboda discusses Redemption, a new open source tool that automatically repairs common errors in C/C++ code generated from static analysis alerts.
ListenCan You Rely on Your AI? Applying the AIR Tool to Improve Classifier Performance
• Webcast
By Linda Parker Gates, Crisanne Nolan, Michael D. Konrad, Suzanne Miller, Nicholas Testa, David James Shepard
In this webcast, SEI researchers discuss a new AI Robustness (AIR) tool that allows users to gauge AI and ML classifier performance with confidence.
WatchCyber Career Pathways and Opportunities
• Podcast
By Randall F. Trzeciak
Randy Trzeciak discusses his career journey, resources for pursuing a career in cybersecurity, and the importance of building a diverse workforce.
ListenUsing LLMs to Automate Static-Analysis Adjudication and Rationales
• Article
By Lori Flynn, William Klieber
This article discusses a model for using large language models (LLMs) to handle static analysis output.
ReadRedemption: Automated Repair of Static Analysis Alerts
• Dataset
By Software Engineering Institute
The Redemption tool makes automated repairs to C and C++ source code based on defect alerts produced by static-analysis tools.
DownloadUsing a Scenario to Reason About Implementing a Zero Trust Strategy
• Webcast
By Timothy Morrow, Rhonda Brown, Elias Miller
In this webcast, Tim Morrow, Rhonda Brown and Elias Miller discuss an approach organizations can use to help develop the contextual awareness needed to apply a zero trust strategy.
WatchMy Story in Computing with Sam Procter
• Podcast
By Sam Procter
Sam Procter discusses influences that shaped his career, the importance of embracing diversity in his research and work, and the value of a work-life balance.
ListenExplainable Verification: Survey, Situations, and New Ideas
• White Paper
By Bjorn Andersson, Dionisio de Niz, Mark H. Klein
This report focuses on potential changes in software development practice and research that would help tools used for formal methods explain their output, making software practitioners more likely to trust …
Read2023 SEI Year in Review
• Annual Report
By Software Engineering Institute
The 2023 SEI Year in Review highlights the work of the institute undertaken during the fiscal year spanning October 1, 2022, to September 30, 2023.
ReadDeveloping and Using a Software Bill of Materials Framework
• Podcast
By Carol Woody, Michael S. Bandor
Carol Woody and Michael Bandor discuss a Software Bill of Materials framework to help organizations establish a comprehensive set of practices and processes.
Listen