Presenter Full Schedule · Contributors · Organizations · Search Program · My Schedule · Happening NowMore…Search ProgramMy ScheduleHappening NowSameerah HelalUniversity of California, DavisPresentationsWorkshopTowards Verifying Exact Conditions for Implementations of Density Functional ApproximationsDebugging and Correctness ToolsFault-Tolerance, Reliability, Maintainability, and AdaptabilitySoftware Engineering W