Peter Aldous

Faculty Member

Peter Aldous

Education

Ph D, University of Utah, 2017

Major: Computer science

BS, Brigham Young University, 2010

Major: Computer science

Teaching

CS 4450

Analysis of Programming Languages, Spring 2024

CS 4490

Compiler Construction, Spring 2024

CS 4490

Compiler Construction, Spring 2024

CS 489R

Undergraduate Research Project, Spring 2024

Scholarly/Creative Works

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.