SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Tue 19 Oct 2021 13:55 - 14:30 at Currents - Afternoon 1

Deep Learning techniques are applied in software systems rapidly. Therefore, it becomes necessary to specify Deep Learning (DL) application programming interfaces (APIs) for desired output. Unlike traditional software, DL-specific development occupies bugs that exhibit not only crashes but also yield low accuracy and high training time issues. Inspired by the design-by-contract (DbC) methodology, this work proposes a preemptive measure against such bugs, we call it DL Contract. DL Contract aims to document properties of DL libraries and provide developers with a mechanism to prevent low accuracy and high training time-related bugs during development. One of the main challenges towards DL Contract is to specify properties of the training process, which is inaccessible at the functional interface of the DL libraries. Thus, we introduce the notion of ML variable that allows developers to specify the properties of model architecture, data, and training behavior. To evaluate the utility of DL Contract, we intend to utilize benchmarks from prior works on DL bug detection and repair after implementing DL Contract for Python-based DL libraries.

Tue 19 Oct

Displayed time zone: Central Time (US & Canada) change

13:50 - 15:10
13:55
35m
Doctoral symposium paper
Towards Deep Learning SpecificationVirtual
Doctoral Symposium
Shibbir Ahmed Iowa State University
Pre-print
14:30
35m
Doctoral symposium paper
Avoiding Monomorphization Bottlenecks with Phase-based SplittingVirtual
Doctoral Symposium
Sophie Kaleba University of Kent
Pre-print