Peter Aldous

Senior Scientist

GrammaTech, Inc.

About

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.

Contact

Email:

Proceedings Papers

  1. Benjamin Ogles, Peter Aldous and Eric Mercer. "Proving Data Race Freedom in Task Parallel Programs with a Weaker Partial Order." Formal Methods in Computer-Aided Design (FMCAD 2019). San Jose, CA, USA.
    Paper: [PDF] Conference: [WWW] Citation: [BibTeX]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]

Journal Papers

  1. Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, and Jay McCarthy. "Model-checking task-parallel programs for data-race." Innovations in Systems and Software Engineering. May 2019.
    Paper: [pdf] Citation: [BibTeX] Publisher: [Springer] Errata: [pdf]

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]

Dissertation