Aldous, Peter , Flores Montoya, Antonio , Saven, Avi , "Retypd Revisited (working title)" . Principles of Programming Languages.
Hooker, Joshua , Aldous, Peter , Mercer, Eric , Ogles, Benjamin , Storey, Kyle , Powell, S Jacob, (2019) "JPF-HJ: A Tool for Task Parallel Program Analysis" (Issue: 4, vol. 44).
Ogles, Benjamin , Aldous, Peter , Mercer, Eric , (2019) "Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order" . 2019 Formal Methods in Computer Aided Design.
Jones, Joseph , Wasson, James , Brown, Sean , Poulsen, Seth , Aldous, Peter , Mercer, Eric , (2018) "Memory safety in C by abstract interpretation" . Java PathFinder Workshop.
Nakade, Radha , Mercer, Eric , Aldous, Peter , McCarthy, Jay , (2018) "Model Checking Task Parallel Programs for Data-race" . Tenth NASA Formal Methods Symposium.
Storey, Kyle , Powell, Jacob , Ogles, Ben , Hooker, Joshua , Aldous, Peter , Mercer, Eric , (2018) "Optimized Sound and Complete Data Race Detection in Structured Parallel Programs" . The 31st International Workshop on Languages and Compilers for Parallel Computing.