Alperen Keles · DC Systems 011 · 2026 · Antithesis

Watch the talk

What it does with SQLancer

A survey of database testing methodology that walks an audience through SQLancer's oracles, naming pivoted query synthesis outright and putting ternary logic partitioning on a slide; the tool itself comes up again in questions.

explains techniquebackground

Where SQLancer comes up (3)

  • 3:25PQS
    So the first one is called pivoted query synthesis and the idea here is containment.
    From the talk's automatic captions — a machine transcription of speech, not the speaker's words as written. Follow the link to hear what was said.
  • 3:25PQSNORECTLPQPGCERTDQPCODDTEST
    The slide behind the speaker is SQLancer's logo above its eight oracles, named in full: PQS, NoREC, TLP, DQE, QPG, CERT, DQP and CODDTest.
    The talk at 3:25. The slide behind the speaker is SQLancer's logo above its eight oracles, named in full: PQS, NoREC, TLP, DQE, QPG, CERT, DQP and CODDTest.
    A frame from the recording. Nothing is transcribed from it: what the slide says is shown, not quoted.
  • 34:47
    I think uh in SQL answer when running you pick uh you pick the oracle so they are for this spe more complex heristics based on the oracle I I don't think I have seen that in the codebase but maybe they have it
    From the talk's automatic captions — a machine transcription of speech, not the speaker's words as written: it renders the name as “SQL answer”. Follow the link to hear what was said.
    Nothing to show from this moment: the closing slide with the speaker's contact details is on screen; this mention is in the questions afterwards.

What was read

  • captions — extracted, 371 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.
  • frame — extracted
    Captured at 3:25.

This record is talks.json, under the id talk:youtube:QRwxHGpWaUA.