Insight certainty 4/5 debate potential 2/5

Developers lack programming models for probabilistic ML outputs, says Kathryn McKinley

Kathryn McKinley · Kathryn McKinley · Jul 28, 2017 · at 1:45

Kathryn McKinley, Principal Researcher at Microsoft Research, introduces the core problem behind Uncertain<T>, arguing that modern software tools are ill-equipped for non-deterministic application outputs.

0:00 / 0:12exact quote · 12.8s
▶ Watch the full episode on YouTube → 720p mp4 · rendered on demand · StarZero watermark
“Image understanding and all sorts of applications we're using today aren't giving us perfect answers, yet we don't have the tools to interpret those answers. We don't have the programming models”

quote is from the automated transcript, cleaned for reading: filler sounds and stutters are removed, nothing is rephrased. names can be misheard (the analysis reads context, assessments check outside sources). how →

More from Kathryn McKinley

Assertion Supported
Governments occasionally degrade GPS sensor accuracy intentionally, says Kathryn McKinley
“Occasionally your government will make the sensors bad on purpose.”
Kathryn McKinley Jul 28, 2017 ▶ 0:57 Kathryn McKinley
Assertion Supported
Phone users are least likely to be directly under the GPS dot
“When you see that little dot on your phone, you're actually least likely to be there. The GPS error is, looks like a doughnut. It's a Rowley distribution, so you're actually likely to be in a little circle around where that dot is, alright?”
Kathryn McKinley Jul 28, 2017 ▶ 4:31 Kathryn McKinley
Assertion Not checkable as stated
Uncertain<T> reduces GPS road-snapping code from thousands of lines to two
“But what used to take thousands of lines of code now takes two.”
Kathryn McKinley Jul 28, 2017 ▶ 12:55 Kathryn McKinley
Insight
Traditional software assertions fail for probabilistic computing, requiring new approaches
“Well, now we have a, ah, traditional assertions can't do that, and so we have a new way to do this with a probabilistic assertion.”
Kathryn McKinley Jul 28, 2017 ▶ 14:21 Kathryn McKinley
Assertion Supported
Formal proof of differential privacy implementations remains unsolved, says Kathryn McKinley
“And so we've come, we've taken some good steps in this direction. But we haven't done the very hardest step, which is to prove in the implementation of differential privacy that you actually get it.”
Kathryn McKinley Jul 28, 2017 ▶ 15:25 Kathryn McKinley
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 1,000 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.