Kyle Storey

According to our database, Kyle Storey authored at least 7 papers between 2018 and 2025.

Collaborative distances:

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

2025

Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems.

Kyle Storey, Eric Mercer

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

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

A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder.

Kyle Storey, Eric Mercer, Pavel Parízek

ACM SIGSOFT Softw. Eng. Notes, 2019

Symbolic data race detection for Habanero programs.

Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey

ACM SIGSOFT Softw. Eng. Notes, 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

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