Fall 2023 - CMPT 489 D100
Special Topics in Programming Languages (3)
Class Number: 6859
Delivery Method: In Person
Course Times + Location:
Sep 6 – Oct 6, 2023: Tue, 4:30–6:20 p.m.
Oct 11 – Dec 5, 2023: Tue, 4:30–6:20 p.m.
Sep 6 – Dec 5, 2023: Fri, 4:30–5:20 p.m.
1 778 782-4480
Prerequisites:CMPT 383 with a minimum grade of C-.
Current topics in programming languages depending on faculty and student interest.
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.
- Applications of program synthesis
- Specifications of program synthesis
- Inductive program synthesis
- Deductive program synthesis
To be discussed in the first week of class.
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.
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
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.