David Bader; XScala; Supercomputing; Graph500; Sandia National Laboratories; high-performance computing