3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.

Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy

Browse the full ICSE paper archive.