A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud. - Adam Foltzer; Abhishek Kulkarni; Rebecca Swords; Sajith Sasidharan; Eric Jiang; Ryan Newton (ICFP, 2012)

SAW: the software analysis workbench. - Kyle Carter; Adam Foltzer; Joe Hendrix; Brian Huffman; Aaron Tomb (HILT, 2013)

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. - Tristan Ravitch; E. Rogan Creswick; Aaron Tomb; Adam Foltzer; Trevor Elliott; Ledah Casburn (PPREW@ACSAC, 2014)

Constructing Semantic Models of Programs with the Software Analysis Workbench. - Robert Dockins; Adam Foltzer; Joe Hendrix; Brian Huffman; Dylan McNamee; Aaron Tomb (VSTTE, 2016)

5Gen: A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs. - Kevin Lewi; Alex J. Malozemoff; Daniel Apon; Brent Carmer; Adam Foltzer; Daniel Wagner 001; David W. Archer; Dan Boneh; Jonathan Katz; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2016)

A Formal Approach to Constructing Secure Air Vehicle Software. - Darren D. Cofer; Andrew Gacek; John Backes; Michael W. Whalen; Lee Pike; Adam Foltzer; Michal Podhradsky; Gerwin Klein; Ihor Kuz; June Andronick; Gernot Heiser; Douglas Stuart (Computer, 2018)