Peter Aldous

Visiting Faculty


My research focuses on programming languages and security. My lab's current research projects include proving information security and thread safety in full-scale languages. We are also beginning work in verification of security software.


Email: [PGP key]

Keybase: peteraldous

Office: 2250 TMCB. Fall 2018 office hours MWF 11am-12pm.


  1. Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, and Eric Mercer. "Memory safety in C by abstract interpretation." Java PathFinder Workshop (JPF 2018). Lake Buena Vista, FL, USA.
    Paper: [PDF] Citation: [BibTeX] Publisher: [ACM]
  2. Kyle Storey, Jacob Powell, Ben Ogles, Joshua Hooker, Peter Aldous, and Eric Mercer. "Optimized Sound and Complete Data Race Detection in Structured Parallel Programs." The 31st International Workshop on Languages and Compilers for Parallel Computing (LCPC 2018). Salt Lake City, UT, USA.
    Paper: [PDF] Citation: [BibTeX] Publisher: [Springer]
  3. Radha Nakade, Eric Mercer, Peter Aldous, and Jay McCarthy. "Model Checking Task Parallel Programs for Data-race." Tenth NASA Formal Methods Symposium (NFM 2018). Newport News, VA, USA.
    Paper: [PDF] Citation: [BibTeX] Publisher: [Springer]
  4. Peter Aldous and Matthew Might. "Static analysis of non-interference in expressive low-level languages." Static Analysis Symposium 2015 (SAS 2015). Saint-Malo, France. September 2015.
    Paper: [pdf] Citation: [BibTeX] Publisher: [Springer]
  5. Shuying Liang, Andrew W. Keep, Matthew Might, David Van Horn, Steven Lyde, Thomas Gilray and Petey Aldous. "Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation." 3rd Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM 2013). Long paper category. Berlin, Germany. November 2013.
    Paper: [pdf] Citation: [BibTeX] Publisher: [ACM]

Extended Abstracts

  1. Peter Aldous and Matthew Might. "A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages." LangSec Workshop at IEEE Security & Privacy, 2016 (LangSec 2016). Research Reports category. San Jose, California, USA. May 2016.
    Paper: [pdf] Slides: [pdf] Citation: [BibTeX] Publisher: [IEEE]