wonks.github.io/courses.html at master · wonks/wonks.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
---
layout: default
---

<div class="home">

  <h1 class="page-heading">Courses</h1>

  <ul>
    <li><a href="https://plprinciples.luddy.indiana.edu/">CSCI C311/B521: Programming Language Principles</a></li>
    <li>CSCI P415/P515: Verification</li>
    <li><a href="https://iucompilercourse.github.io/IU-Fall-2023/">CSCI P423/P523: Compilers</a></li>
    <li>CSCI B522: Programming Language Foundations
      <ul>
        <li><a href="https://www.carloangiuli.com/courses/b522-sp25/">Spring 2025 (Carlo Angiuli)</a></li>
        <li>Spring 2023, Spring 2024 (Amr Sabry)</li>
        <li><a href="https://homes.luddy.indiana.edu/classes/spring2022/csci/b522-samth/">Spring 2022 (Sam Tobin-Hochstadt)</a></li>
        <li><a href="https://homes.luddy.indiana.edu/classes/spring2020/csci/b522-jsiek">Spring 2020 (Jeremy Siek)</a></li>
        <li>Spring 2017, Spring 2018 (Amr Sabry)</li>
        <li><a href="https://homes.luddy.indiana.edu/classes/spring2016/csci/b522-samth/">Spring 2016 (Sam Tobin-Hochstadt)</a></li>
        <li><a href="http://homes.luddy.indiana.edu/classes/spring2015/csci/b522-jsiek/">Spring 2015 (Jeremy Siek)</a></li>
        <li>Spring 2014 (Amr Sabry)</li>
        <li><a href="https://web.archive.org/web/https://cs.indiana.edu/~sabry/teaching/b522/s13/">Spring 2013 (Amr Sabry)</a></li>
        <li><a href="https://web.archive.org/web/https://www.cs.indiana.edu/~sabry/teaching/b522/s12/">Spring 2012 (Amr Sabry)</a></li>
        <li><a href="https://web.archive.org/web/https://www.cs.indiana.edu/~sabry/teaching/b522/s11/">Spring 2011 (Amr Sabry)</a></li>
        <li>Fall 2009</li>
      </ul>
    </li>
    <li>CSCI B619: Special Topics in Applied Logic
      <ul>
        <li><a href="https://www.carloangiuli.com/courses/b619-sp24/">Spring 2024: Modern Dependent Types (Carlo Angiuli)</a></li>
      </ul>
    <li>CSCI B629: Special Topics in Programming Languages
      <ul>
        <li><a href="https://jsiek.github.io/PLFA-Spring-2026/">Spring 2026: Mechanized Proofs for PL Metatheory (Jeremy Siek)</a></li>
        <li>Spring 2024: Verified Data Structures (Sam Tobin-Hochstadt)</li>
        <li>Fall 2023: Advanced Functional Programming (Amr Sabry)</li>
        <li><a href="https://iutypetheorycourse.github.io/index.html">Spring 2023: Proofs as Programs (Chung-chieh Shan)</a></li>
        <li>Fall 2022: Advanced Functional Programming (Amr Sabry)</li>
        <li>Spring 2021: Quantum Programming (Amr Sabry)</li>
        <li>Spring 2020: Quantum Programming (Robert Rose)</li>
        <li>Spring 2020: Dependent Types (Fred Fu)</li>
        <li><a href="https://homes.luddy.indiana.edu/classes/fall2018/csci/p424-samth/">Fall 2018: Advanced Functional Programming (Sam Tobin-Hochstadt)</a></li>
        <li><a href="https://github.com/jsiek/B629-denotational">Spring 2018: Denotational Semantics (Jeremy Siek)</a></li>
        <li>Spring 2018: Dependent Types (Andrew Kent)</li>
        <li>Spring 2017: Dependent Types (Dan Friedman)</li>
        <li>Spring 2017: Probabilistic Programming (Chung-chieh Shan)</li>
        <li>Spring 2016: Homotopy Type Theory (Amr Sabry)</li>
        <li>Fall 2015: Probabilistic Programming (Chung-chieh Shan)</li>
        <li><a href="http://homes.luddy.indiana.edu/classes/spring2015/csci/b629-samth/index.html">Spring 2015: Metaprogramming (Sam Tobin-Hochstadt)</a></li>
        <li>Fall 2014: Domain-Specific Languages and Compilers (Ryan Newton)</li>
        <li>Spring 2014: Probabilistic Programming (Chung-chieh Shan)</li>
        <li>Fall 2013: Recent Advances in Functional Programming (Amr Sabry)</li>
        <li>Fall 2012: Advanced Functional Programming: Agda (Amr Sabry)</li>
        <li>Fall 2012: High-level GPU compilers for functional array languages (Ryan Newton)</li>
        <li>Fall 2011: DSLs and Compilers: Performance meets Productivity (Ryan Newton)</li>
        <li><a href="https://web.archive.org/web/https://www.cs.indiana.edu/~sabry/teaching/b629/s11/">Spring 2011: Reversible and Quantum Computing (Amr Sabry)</a></li>
        <li><a href="https://www.khoury.northeastern.edu/home/amal/course/b629-amal/">Fall 2010: Integrating Static and Dynamic Typing (Amal Ahmed)</a></li>
        <li><a href="https://www.khoury.northeastern.edu/home/amal/course/b629-amal/Spring_2010/">Spring 2010: Language-Based Approaches to Security (Amal Ahmed)</a></li>
      </ul>
    </li>
  </ul>
</div>