CSCI B629 - Tpcs In Programming Languages
Fall 2023
- Instructor: Amr Sabry (sabry)
- Sections: 14646,14647
- Topic: Advanced Functional Programing
Spring 2023
- Instructor: Chung-chieh Shan (ccshan)
- Sections: 34676
- Topic: Proofs As Programs
Fall 2022
- Instructor: Amr Sabry (sabry)
- Sections: 35967,35968
- Topic: Advanced Functional Programing
Spring 2022
- Instructor: Nai Hui Chia (naichia)
- Sections: 36029
- Topic: Quantum Programming
Spring 2021
- Instructor: Amr Sabry (sabry)
- Sections: 11948
- Topic: Quantum Programming
Spring 2020
- Instructor: Veljko Milutinovic (vmilutin)
- Sections: 29656,29657
- Topic: Mgmt Sw Eng Projects @ Industr
- Instructor: Robert Rose (rrose1)
- Sections: 29659
- Topic: Quantum Programming
- Instructor: Yuquan Fu (yuqfu)
- Sections: 35371
- Topic: Dependent Types
Fall 2018
- Instructor: Sam Tobin-Hochstadt (samth)
- Sections: 37411,37412
- Topic: Advanced Functional Programing
Spring 2018
- Instructor: Jeremy Siek (jsiek)
- Sections: 34092
- Topic: Denotational Semantics
- Instructor: Andrew Kent (andmkent)
- Sections: 34326
- Topic: Dependent Types
Spring 2017
- Instructor: Chung-chieh Shan (ccshan)
- Sections: 17451
- Topic: Research & Probablstc Progrmng
- Instructor: Dan Friedman (dfried)
- Sections: 35448
- Topic: Dependent Types
Spring 2016
- Instructor: Amr Sabry (sabry)
- Sections: 33907
- Topic: Homotopy Type Theory
Fall 2015
- Instructor: Chung-chieh Shan (ccshan)
- Sections: 10388
- Topic: Probabalistic Programming
Spring 2015
- Instructor: Sam Tobin-Hochstadt (samth)
- Sections: 26996
- Supplementary Description: This course is a graduate seminar on metaprogramming---programs that manipulate
other programs. Primarily, we will focus on reading papers, both historical and
modern, that treat a broad range of metaprogramming topics, from C++ templates
to Scheme macros to Scala DSLs. Students will be expected to present research
papers to the class, write programs with a variety of languages and systems,
and perhaps complete a semester project.
This course requires permission from the instructor to enroll.
- Homepage: https://homes.luddy.indiana.edu/classes/spring2015/csci/b629-samth
Fall 2014
Spring 2014
Fall 2013
Fall 2012
- Instructor: Amr Sabry (sabry)
- Sections: 22315
- Topic: Advanced Functional Programing
- Instructor: Ryan Newton (rrnewton)
- Sections: 26441
- Topic: Vectorized Code Generation for High-Level Data-Parallelism
- Supplementary Description: Covers techniques for generating low-level vectorized
code for CPUs and GPUs from high-level data-parallel programs with
map/reduce-style operators. The course will be half paper
reading and half compiler writing. Assignments will walk each student
through building a new code-generation backend for a high-level
language that we will provide. (A choice of OpenCL or Cilk/ICC
compilation targets is provided.) P423/523 is a prerequisite, or permission of the instructor.
- Ad/Syllabus: https://homes.luddy.indiana.edu/classes/fall2012/csci/b629-rrnewton/advertisement.html
Fall 2011
- Instructor: Ryan Newton (rrnewton)
- Sections: 12954
- Topic: Domain-Specific Languages and Compilers: Performance meets Productivity
- Supplementary Description: This course focuses on domain-specific models of computation that sidestep the trade-off between high-level and high-performance found in general purpose programming languages. Course readings will draw from the primary literature and span several domains, including stream processing, stencil computations, and graphics. Emphasis is placed on the relationship between language design and implementation opportunities. Hands-on labs will involve programming in and evaluating specialized languages.
- Homepage: https://homes.luddy.indiana.edu/classes/fall2011/csci/b629-rrnewton
Spring 2011