I agree that this site is using cookies. You can find further informations here.
X
Storey, Kyle
113  results:
Search for persons X
?
1

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes.  45 (2021)  2 - p. 20-22 , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

A Sound Dynamic Partial Order Reduction Engine for Java Pat..:

Storey, Kyle ; Mercer, Eric ; Parizek, Pavel
ACM SIGSOFT Software Engineering Notes.  44 (2021)  4 - p. 15 ff. , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes.  45 (2020)  2 - p. 20-22 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

JPF-HJ: A Tool for Task Parallel Program Analysis:

Hooker, Joshua ; Aldous, Peter ; Mercer, Eric...
ACM SIGSOFT Software Engineering Notes.  44 (2019)  4 - p. 19 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

A Sound Dynamic Partial Order Reduction Engine for Java Pat..:

Storey, Kyle ; Mercer, Eric ; Parizek, Pavel
ACM SIGSOFT Software Engineering Notes.  44 (2019)  4 - p. 15 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Model-checking task-parallel programs for data-race:

Nakade, Radha ; Mercer, Eric ; Aldous, Peter...
Innovations in Systems and Software Engineering.  15 (2019)  3-4 - p. 289-306 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Symbolic data race detection for Habanero programs:

Namakonov, Egor ; Mercer, Eric ; Parizek, Pavel.
ACM SIGSOFT Software Engineering Notes.  44 (2019)  4 - p. 18 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

A Sound Dynamic Partial Order Reduction Engine for Java Pat..:

Storey, Kyle ; Mercer, Eric ; Parizek, Pavel
ACM SIGSOFT Software Engineering Notes.  44 (2019)  4 - p. 15-19 , 2019
Link: https://doi.org/10.1145/..
 
?
9

Optimized Sound and Complete Data Race Detection in Structu..:

, In: Languages and Compilers for Parallel Computing; Lecture Notes in Computer Science,
Storey, Kyle ; Powell, Jacob ; Ogles, Ben... - p. 94-111 , 2019
Link: https://doi.org/10.1007/..
 
?
10

MicroRNA regulation below zero: Differential expression of ..:

Biggar, Kyle K. ; Dubuc, Adrian ; Storey, Kenneth
Cryobiology.  59 (2009)  3 - p. 317-321 , 2009
Link: https://doi.org/10.1016/..
 
?
11

Influence of side chain lengths in mechanophore‐containing ..:

Mehringer, Kyle D. ; Vagholkar, Parth K. ; Davis, Brad J....
Journal of Polymer Science.  61 (2023)  22 - p. 2851-2865 , 2023
Link: https://doi.org/10.1002/..
 
?
12

Synthesis and Morphology of High‐Molecular‐Weight Polyisobu..:

Mehringer, Kyle D. ; Davis, Brad J. ; Kemp, Lisa K....
Macromolecular Rapid Communications.  43 (2022)  24 - p. , 2022
Link: https://doi.org/10.1002/..
 
?
13

Long-Chain Branched Polypentenamer Rubber: Topological Impa..:

Weller, Daniel W. ; Halbach, Robert ; Rohde, Brian...
ACS Applied Polymer Materials.  3 (2021)  5 - p. 2498-2506 , 2021
Link: https://doi.org/10.1021/..
 
?
14

Characterization of ice recrystallization inhibition activi..:

Le Tri, Dung ; Childers, Christine L. ; Adam, Madeleine K....
Journal of Thermal Biology.  84 (2019)  - p. 426-430 , 2019
Link: https://doi.org/10.1016/..
 
?
15

Navigating oxygen deprivation: liver transcriptomic respons..:

Biggar, Kyle K. ; Zhang, Jing ; Storey, Kenneth B.
PeerJ.  7 (2019)  - p. e8144 , 2019
Link: https://doi.org/10.7717/..
 
1-15