Benjamin Ogles

According to our database, Benjamin Ogles authored at least 7 papers between 2018 and 2023.

Collaborative distances:

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

2023

Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression.

Yu Huang, Tao Wang, Zihui Yin, Eric Mercer, Benjamin Ogles

IEEE Trans. Parallel Distributed Syst., 2023

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

A Predictive Analysis for Detecting Deadlock in MPI Programs.

Yu Huang, Benjamin Ogles, Eric Mercer

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 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

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