Peter Aldous

According to our database, Peter Aldous authored at least 11 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

2019

JPF-HJ: A Tool for Task Parallel Program Analysis.

Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell

ACM SIGSOFT Softw. Eng. Notes, 2019

Model-checking task-parallel programs for data-race.

Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy

Innov. Syst. Softw. Eng., 2019

Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order.

Benjamin Ogles, Peter Aldous, Eric Mercer

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Memory safety in C by abstract interpretation.

Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, Eric Mercer

ACM SIGSOFT Softw. Eng. Notes, 2018

Model-Checking Task Parallel Programs for Data-Race.

Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Optimized Sound and Complete Data Race Detection in Structured Parallel Programs.

Kyle Storey, Sheridan Jacob Powell, Benjamin Ogles, Joshua Hooker, Peter Aldous, Eric Mercer

Proceedings of the Languages and Compilers for Parallel Computing, 2018

2017

Noninterference in Expressive Low-Level Languages.

Peter Aldous

PhD thesis, 2017

2016

A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages.

Peter Aldous, Matthew Might

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

2015

Static Analysis of Non-interference in Expressive Low-Level Languages.

Peter Aldous, Matthew Might

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2013

Sound and precise malware analysis for android via pushdown reachability and entry-point saturation.

Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn

Proceedings of the SPSM'13, 2013