Benjamin Ogles

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Asynchronous Circuits

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Innov. Syst. Softw. Eng.

Publications

Yu Huang, Tao Wang, Zihui Yin, Eric Mercer, Benjamin Ogles
Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression. IEEE Trans. Parallel Distributed Syst. 34 (1) (2023)
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)
Yu Huang, Benjamin Ogles, Eric Mercer
A Predictive Analysis for Detecting Deadlock in MPI Programs. ASE (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)
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)