Browse Dissertations and Theses - Computer Science by Author "Saha, Shambwaditya"

  • Saha, Shambwaditya (2019-12-05)
    The field of synthesis is seeing a renaissance in recent years, where the task is to automatically synthesize small expressions or programs. One of the most prominent techniques counterexample guided inductive synthesis ...

    application/pdf

    application/pdfPDF (1MB)