Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. - Shuying Liang; Andrew W. Keep; Matthew Might; Steven Lyde; Thomas Gilray; Petey Aldous; David Van Horn (SPSM@CCS, 2013)

Static Analysis of Non-interference in Expressive Low-Level Languages. - Peter Aldous; Matthew Might (SAS, 2015)

A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages. - Peter Aldous; Matthew Might (IEEE Symposium on Security and Privacy Workshops, 2016)

Noninterference in Expressive Low-Level Languages. - Peter Aldous (2017)

Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. - Kyle Storey; Sheridan Jacob Powell; Benjamin Ogles; Joshua Hooker; Peter Aldous; Eric Mercer (LCPC, 2018)

Model-Checking Task Parallel Programs for Data-Race. - Radha Nakade; Eric Mercer; Peter Aldous; Jay McCarthy (NFM, 2018)

Memory safety in C by abstract interpretation. - Joseph Jones; James Wasson; Sean Brown; Seth Poulsen; Peter Aldous; Eric Mercer (ACM SIGSOFT Softw. Eng. Notes, 2018)

Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. - Benjamin Ogles; Peter Aldous; Eric Mercer (FMCAD, 2019)

Model-checking task-parallel programs for data-race. - Radha Nakade; Eric Mercer; Peter Aldous; Kyle Storey; Benjamin Ogles; Joshua Hooker; Sheridan Jacob Powell; Jay McCarthy (Innov. Syst. Softw. Eng., 2019)

JPF-HJ: A Tool for Task Parallel Program Analysis. - Joshua Hooker; Peter Aldous; Eric Mercer; Benjamin Ogles; Kyle Storey; Sheridan Jacob Powell (ACM SIGSOFT Softw. Eng. Notes, 2019)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)