Presentation
Taming the Digital Wild West: Using Domain Specific Languages to Enforce Correctness Properties in Data Science, Machine Learning, and Scientific Modeling
Presenter
Event Type
Workshop
W
Correctness
Debugging
Reliability
Verification
TimeMonday, 18 November 20193:30pm - 4:30pm
Location712
Description
Presenter