vix.ing · top · new · best · stats · spec

Stephen F. Siegel

  1. Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL
    2023/12/25 by Maya Gokhale, Gokhale, Maya, Ganesh Gopalakrishnan +9 · 3 citations
    Computer Science · Decision Sciences · #Advanced Data Storage Technologies #B.8.1 #C.1.4 #Cloud Computing and Resource Management #D.0.3 #D.0.4 #D.1.3 #D.2.1 #D.2.5 #D.3.1 #Distributed #FOS: Computer and information sciences #G.1.2 #J.2 #Parallel #Scientific Computing and Data Management #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
  2. Model Checking Race-freedom When "Sequential Consistency for Data-race-free Programs" is Guaranteed
    2023/05/29 by Wenhao Wu, Jan Hückelheim, Wu, Wenhao +7 · 1 citation
    Computer Science · #Parallel Computing and Optimization Techniques #Distributed and Parallel Computing Systems #Cloud Computing and Resource Management
  3. Parameterized Verification of Deterministic MPI Programs
    2026/07/20 by Stephen F. Siegel
    #cs.PL #cs.LO