Peter Aldous

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 9

Top Topics

Abstract Interpretation

Highly Expressive

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Innov. Syst. Softw. Eng.

IEEE Symposium on Security and Privacy Workshops

Publications

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
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
Model-checking task-parallel programs for data-race. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Benjamin Ogles, Peter Aldous, Eric Mercer
Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. FMCAD (2019)
Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell
JPF-HJ: A Tool for Task Parallel Program Analysis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy
Model-Checking Task Parallel Programs for Data-Race. NFM (2018)
Kyle Storey, Sheridan Jacob Powell, Benjamin Ogles, Joshua Hooker, Peter Aldous, Eric Mercer
Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. LCPC (2018)
Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, Eric Mercer
Memory safety in C by abstract interpretation. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Peter Aldous, Matthew Might
A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages. IEEE Symposium on Security and Privacy Workshops (2016)
Peter Aldous, Matthew Might
Static Analysis of Non-interference in Expressive Low-Level Languages. SAS (2015)