Simon Fraser University
Engaging the World

Course Outlines

Fall 2025 - CMPT 489 D100

Special Topics in Programming Languages (3)

Class Number: 5548

Delivery Method: In Person

Overview

  • Course Times + Location:

    Sep 3 – Dec 2, 2025: Tue, 10:30 a.m.–12:20 p.m.
    Burnaby

    Sep 3 – Dec 2, 2025: Fri, 10:30–11:20 a.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

  • Paper Reviews 20%
  • Presentation 20%
  • Projects 40%
  • Class Participation 20%

NOTES:

Details 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.

Department Undergraduate Notes:

The following are default policies in the School of Computing Science. Please check your course syllabus whether the instructor has chosen a different policy for your class, otherwise the following policies apply.
 
  • Students must attain an overall passing grade on the weighted average of exams in the course in order to get a C- or higher.
  • All student requests for accommodations for their religious practices must be made in writing by the end of the first week of classes, or no later than one week after a student adds a course. After considering a request, an instructor may provide a concession or may decline to do so. Students requiring accommodations as a result of a disability can contact the Centre for Accessible Learning (caladmin@sfu.ca).

Registrar Notes:

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS

At SFU, you are expected to act honestly and responsibly in all your academic work. Cheating, plagiarism, or any other form of academic dishonesty harms your own learning, undermines the efforts of your classmates who pursue their studies honestly, and goes against the core values of the university.

To learn more about the academic disciplinary process and relevant academic supports, visit: 


RELIGIOUS ACCOMMODATION

Students with a faith background who may need accommodations during the term 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.