Follow
George Stelle
George Stelle
Verified email at lanl.gov - Homepage
Title
Cited by
Cited by
Year
Internet topology over time
B Edwards, S Hofmeyr, G Stelle, S Forrest
arXiv preprint arXiv:1202.3993, 2012
302012
Modeling internet-scale policies for cleaning up malware
S Hofmeyr, T Moore, S Forrest, B Edwards, G Stelle
Economics of Information Security and Privacy III, 149-170, 2013
262013
Beyond the blacklist: modeling malware spread and the effect of interventions
B Edwards, T Moore, G Stelle, S Hofmeyr, S Forrest
Proceedings of the 2012 New Security Paradigms Workshop, 53-66, 2012
252012
Task parallel incomplete cholesky factorization using 2d partitioned-block layout
K Kim, S Rajamanickam, G Stelle, HC Edwards, SL Olivier
arXiv preprint arXiv:1601.05871, 2016
162016
OpenMPIR: Implementing OpenMP Tasks with Tapir
G Stelle, WS Moses, SL Olivier, P McCormick
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 3, 2017
142017
Modeling Internet-Scale Policies for Cleaning up Malware.
SA Hofmeyr, T Moore, S Forrest, B Edwards, G Stelle
WEIS, 2011
82011
Verifiably lazy: Verified compilation of call-by-need
G Stelle, D Stefanovic
Proceedings of the 30th Symposium on Implementation and Application of …, 2018
52018
Using a complementary emulation-simulation co-design approach to assess application readiness for processing-in-memory systems
G Stelle, SL Olivier, D Stark, AF Rodrigues, KS Hemmert
2014 Hardware-Software Co-Design for High Performance Computing, 64-71, 2014
52014
Cactus environment machine: Shared environment call-by-need
G Stelle, D Stefanovic, SL Olivier, S Forrest
Trends in Functional Programming: 17th International Conference, TFP 2016 …, 2019
42019
Scheduling chapel tasks with qthreads on manycore: A tale of two schedulers
N Evans, SL Olivier, R Barrett, G Stelle
Proceedings of the 7th International Workshop on Runtime and Operating …, 2017
42017
Hierarchical Task-Data Parallelism using Kokkos and Qthreads.
HC Edwards, SL Olivier, JW Berry, GE Mackey, S Rajamanickam, M Wolf, ...
Sandia National Lab.(SNL-NM), Albuquerque, NM (United States), 2016
42016
Correctness of dynamic dependence analysis for implicitly parallel tasking systems
W Lee, G Stelle, P McCormick, A Aiken
2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC …, 2018
12018
Implementing OpenMP tasks with tapir
G Stelle, WS Moses, SL Olivier, P McCormick
Proceedings of LLVM-HPC, 1-12, 2017
12017
In Situ Optimization and Late Lowering of Compute Kernels
GW Stelle
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2022
2022
The Ristra Project: FY20/21 Milestone Report
DJ Daniel, AL Hungerford, BK Bergen, DB Bowen, TP Burke, ...
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2020
2020
Synthesis via Tactics
G Stelle
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2020
2020
Concurrency in LLVM
GW Stelle, PS McCormick, AD Wilson, KA Perry-Holby
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2019
2019
Verifiably Lazy
G Stelle, D Stefanovic
2019
Shared-environment Call-by-need
GW Stelle
The University of New Mexico, 2019
2019
Preventing Data Races with Refinement Types
GW Stelle
Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20