George Stelle

I am a research scientist at Los Alamos National Laboratory, where I work on compiling parallel programs. Other interests include verified computing, type systems, embedded languages, and machine learning.

Gibson, K., Li, P.-E., Li, V., Dix, M., Hung, L.-W., Stelle, G. W., Babinski, M., Chain, P., & Hu, B. (2025 (in submission)). PRIME: Protein representation inference for mutation evaluation. Nature Biotechnology.

Pereira, R., Stelle, G., & Carribault, P. (2024). Taskgrind: Heavyweight dynamic binary instrumentation for parallel programs analysis. SC24-w: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, 214–221.

Stelle, G., & Stefanovic, D. (2018). Verifiably lazy: Verified compilation of call-by-need. Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 49–58. https://doi.org/10.1145/3310232.3310236

Lee, W., Stelle, G., McCormick, P., & Aiken, A. (2018). Correctness of dynamic dependence analysis for implicitly parallel tasking systems. 2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 17–24. https://doi.org/10.1109/Correctness.2018.00007

Stelle, G., Moses, W. S., Olivier, S. L., & McCormick, P. (2017). OpenMPIR: Implementing OpenMP tasks with tapir. Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 3:1–3:12. https://doi.org/10.1145/3148173.3148186

Evans, N., Olivier, S. L., Barrett, R., & Stelle, G. (2017). Scheduling chapel tasks with qthreads on manycore: A tale of two schedulers. Proceedings of the 7th International Workshop on Runtime and Operating Systems for Supercomputers ROSS 2017, 4:1–4:8. https://doi.org/10.1145/3095770.3095774

Stelle, G., Stefanovic, D., Olivier, S. L., & Forrest, S. (2016). Cactus environment machine. In D. Van Horn & J. Hughes (Eds.), Trends in functional programming (pp. 24–43). Springer International Publishing.

Stelle, G., Olivier, S. L., Stark, D., Rodrigues, A. F., & Hemmert, K. S. (2014). Using a complementary emulation-simulation co-design approach to assess application readiness for processing-in-memory systems. 2014 Hardware-Software Co-Design for High Performance Computing, 64–71. https://doi.org/10.1109/Co-HPC.2014.5

Hofmeyr, S., Moore, T., Forrest, S., Edwards, B., & Stelle, G. (2013). Modeling internet-scale policies for cleaning up malware. In B. Schneier (Ed.), Economics of information security and privacy III (pp. 149–170). Springer New York.

Edwards, B., Moore, T., Stelle, G., Hofmeyr, S., & Forrest, S. (2012). Beyond the blacklist: Modeling malware spread and the effect of interventions. Proceedings of the 2012 New Security Paradigms Workshop, 53–66. https://doi.org/10.1145/2413296.2413302

George Stelle

Research

Publications

Software