synthesizing correct code for machine learning programs (video, esec/fse 2020)
Published 3 years ago • 20 plays • Length 8:43
Download video MP4
Download video MP3
Similar videos
-
1:03
synthesizing correct code for machine learning programs (teaser, esec/fse 2020)
-
17:08
inductive program synthesis over noisy data (video, esec/fse 2020)
-
17:05
testing machine learning code using polyhedral region (video, esec/fse 2020)
-
19:55
on decomposing a deep neural network into modules (video, esec/fse 2020)
-
21:01
a first look at the integration of machine learning models in complex auto... (video, esec/fse 2020)
-
1:42
testing machine learning code using polyhedral region (teaser, esec/fse 2020)
-
17:48
when does my program do this? learning circumstances of software behavior (video, esec/fse 2020)
-
14:21
dynamic slicing for deep neural networks (video, esec/fse 2020)
-
19:34
exempla gratis (e.g.): code examples for free (video, esec/fse 2020)
-
17:45
deep learning library testing via effective model generation (video, esec/fse 2020)
-
8:35
grammar based directed testing of machine learning systems (video, esec/fse 2020)
-
8:51
uied: a hybrid tool for gui element detection (video, esec/fse 2020)
-
13:42
intellicode compose: code generation using transformer (video, esec/fse 2020)
-
19:45
estimating gpu memory consumption of deep learning models (video, esec/fse 2020)
-
19:06
clustering test steps in natural language toward automating test automation (video, esec/fse 2020)
-
9:59
continuous experimentation on artificial intelligence software: a research... (video, esec/fse 2020)
-
14:35
enhancing the interoperability between deep learning frameworks by model c... (video, esec/fse 2020)
-
19:24
mining assumptions for software components using machine learning (video, esec/fse 2020)
-
10:44
alloymc: alloy meets model counting (video, esec/fse 2020)
Clip.africa.com - Privacy-policy