View Computer Science directory
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, Fall 2022

CS 4450

Analysis of Programming Languages, Fall 2022

CS 1400

Fundamentals of Programming, Fall 2022

CS 4490

Compiler Construction, Summer 2022

CS 4450

Analysis of Programming Languages, Spring 2022

CS 4490

Compiler Construction, Spring 2022

CS 4490

Compiler Construction, Spring 2022

CS 489R

Undergraduate Research Project, Spring 2022

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.