Simon Fraser University
Engaging the World

Course Outlines

Fall 2023 - CMPT 489 D100

Special Topics in Programming Languages (3)

Program Synthesis

Class Number: 6859

Delivery Method: In Person

Overview

  • Course Times + Location:

    Sep 6 – Oct 6, 2023: Tue, 4:30–6:20 p.m.
    Burnaby

    Oct 11 – Dec 5, 2023: Tue, 4:30–6:20 p.m.
    Burnaby

    Sep 6 – Dec 5, 2023: Fri, 4:30–5:20 p.m.
    Burnaby

  • Prerequisites:

    CMPT 383 with a minimum grade of C-.

Description

CALENDAR DESCRIPTION:

Current topics in programming languages depending on faculty and student interest.

COURSE DETAILS:

This is a seminar-style special topics course on recent advancements in program synthesis. Program synthesis aims to generate programs automatically from high-level specifications, such as input-output examples, logical formulas, natural language descriptions, reference implementations, etc. Many techniques have been developed recently for program synthesis to support various applications in real-world scenarios. We will learn the applications, specifications, and approaches of program synthesis from research papers.

Topics

  • Applications of program synthesis
  • Specifications of program synthesis
  • Inductive program synthesis
  • Deductive program synthesis

Grading

NOTES:

To be discussed in the first week of class.

Materials

REQUIRED READING NOTES:

Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/course-materials/my-personalized-course-materials.

Registrar Notes:

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS

SFU’s Academic Integrity website http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating. Check out the site for more information and videos that help explain the issues in plain English.

Each student is responsible for his or her conduct as it affects the university community. Academic dishonesty, in whatever form, is ultimately destructive of the values of the university. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the university. http://www.sfu.ca/policies/gazette/student/s10-01.html

RELIGIOUS ACCOMMODATION

Students with a faith background who may need accommodations during the semester are encouraged to assess their needs as soon as possible and review the Multifaith religious accommodations website. The page outlines ways they begin working toward an accommodation and ensure solutions can be reached in a timely fashion.