George Stelle

According to our database1, George Stelle authored at least 10 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems.
Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

Verifiably Lazy: Verified Compilation of Call-by-Need.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2017
OpenMPIR: Implementing OpenMP Tasks with Tapir.
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 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, 2017

2016
Task Parallel Incomplete Cholesky Factorization using 2D Partitioned-Block Layout.
CoRR, 2016

Cactus Environment Machine - Shared Environment Call-by-Need.
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

2014
Using a complementary emulation-simulation co-design approach to assess application readiness for processing-in-memory systems.
Proceedings of the 1st International Workshop on Hardware-Software Co-Design for High Performance Computing, 2014

2012
Internet Topology over Time
CoRR, 2012

Beyond the blacklist: modeling malware spread and the effect of interventions.
Proceedings of the New Security Paradigms Workshop, 2012

2011
Modeling Internet-Scale Policies for Cleaning up Malware.
Proceedings of the 10th Annual Workshop on the Economics of Information Security, 2011


  Loading...