Kyle Storey

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 6

Top Topics

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Innov. Syst. Softw. Eng.

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)
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, Eric Mercer, Pavel Parízek
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey
Symbolic data race detection for Habanero programs. 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)