Rebecca Taft · CMU Quarantine Tech Talks 2020 · 2020 · CMU Database Group

Watch the talk

What it does with SQLancer

CockroachDB's optimizer, from an engineer who builds it; asked in the questions about random testing, she separates SQLsmith's crashes from the logical bugs Rigger was after, credits him with a batch of GitHub issues against CockroachDB, and says she is trying to get SQLancer running in their own system.

recognition

Where SQLancer comes up (1)

  • 58:27
    errors like if if it's gonna cause an internal error or crash or something like that lasting correctness but um yeah actually uh manuel rigger uh he's the guy that was doing more kind of logically yeah exactly he he did a bunch of experiments with cockroaches and he opened a bunch of github issues for us which is which is pretty great sql lanza is awesome yeah i'm trying to get trying to get it running in our system um all right so then it's the in general what like what's the complexity of the queries that you're seeing i i understand that like that might be
    From the talk's automatic captions — a machine transcription of speech, not the speaker's words as written: it renders the name as “sql lanza”. Follow the link to hear what was said.
    Nothing to show from this moment: a slide from the talk proper is still on screen; this mention is in the questions afterwards.

What was read

  • captions — extracted, 626 caption segments
    Windows around candidate moments, read out of YouTube's transcript panel in a browser. Not the whole talk: only the segments a loose prefilter flagged, so the matcher decides on text a person can check.

This record is talks.json, under the id talk:youtube:wHo-VtzTHx0.