Presenter Full Schedule · Contributors · Organizations · Search ProgramSameerah HelalUniversity of California, DavisPresentationsWorkshopTowards Verifying Exact Conditions for Implementations of Density Functional Approximations9:43am - 10am EST Monday, 18 November 2024 B315Debugging and Correctness ToolsFault-Tolerance, Reliability, Maintainability, and AdaptabilitySoftware Engineering W