add sp24 pages

content/great-works/2024sp.md

@@ -0,0 +1,67 @@
++++
+title = "Great Works (Spring 2024)"
+date = 2024-02-02
+math = false
+
++++
+
+**Time**: Fridays 10:10am - 11:00am <br/>
+**Location**: Gates 310 (Zoom link sent via Slack channel) <br/>
+**Organizers**: Yulun Yao and Jialu Bao <br/>
+
+---
+
+This is a 1-credit seminar that meets every week to discuss classic papers in
+programming languages adjacent fields.
+Great works is a discussion-focused reading group. We expect participants to
+read the papers and attend the seminar.
+
+#### Reading Protocol
+Our primary means of communication is through slack: [Cornell CIS #great-pl](https://cornellcis.slack.com/archives/CFKJZV78R)
+
+Please also join the PLDG mailing list:
+
+      [email protected]
+
+To join, send a message to [[email protected]][join-pldg] with the
+subject "join" and a blank body.
+
+#### Presenting Papers
+
+This seminar has two parts --- a presentation that familiarize people with the topic and help them with paper reading, and a discussion in the subsequent week with the expectation that people have a good understanding of the paper.
+Aim for 20-25 minutes for your presentation, and 25-30 minutes discussion (prepare questions and slides).
+
+#### Getting Papers
+
+An up-to-date schedule and paper list is [here](https://docs.google.com/spreadsheets/d/1PEa8WG9A0Eb3VZzn2eIOOl1Uh07t-vSmUjQsEmeGTgc/edit?usp=sharing). You can fill in your name in the empty block to claim a presentation slot.
+
+Paper titles are hyperlinked to PDFs available on the web. If a link is broken,
+open an issue at [the Github repo for this
+website](https://github.com/cornell-pl/pl.cs.cornell.edu/issues), or find
+a working link and make a pull request.
+
+
+| Date            | Topic       | Presenter | Mentor    |
+|-----------------|-------------|-----------|-----------|
+| 02/02 | [Hints on Programming Languages Design](https://www.cs.yale.edu/flint/cs428/doc/HintsPL.pdf) | Yulun Yao |
+| 02/09 | [Rise of Worse is Better](http://www.dreamsongs.com/WorseIsBetter.html) & [Growing a Language](https://redirect.cs.umbc.edu/courses/331/resources/papers/gls-grow-lang.pdf) | Jialu Bao |
+| 02/16 | [Call-by-name, call-by-value, and the λ-calculus](https://homepages.inf.ed.ac.uk/gdp/publications/cbn_cbv_lambda.pdf) | TBA |
+| 02/23 | [Kleene Algebra with Tests](https://www.cs.cornell.edu/~kozen/Papers/kat.pdf) | Kei Imada |
+| 03/01 | [The next 700 programming languages](https://www.cs.cmu.edu/~crary/819-f09/Landin66.pdf) | Hongzheng Chen |
+| 03/08 | [Why Functional Programming Matters](https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf) | TBA | Jialu Bao |
+| 03/15 | [Types, Abstraction, and Parametric Polymorphism](https://www.cs.cmu.edu/afs/cs/user/crary/www/819-f09/Reynolds83.pdf) | Stephanie Ma |
+| 03/22 | [Using Dependent Types to Express Modular Structure](https://www.cs.cmu.edu/~crary/819-f09/MacQueen86.pdf) | TBA
+| 03/29 | [Introduction to the Calculus of Inductive Constructions](https://inria.hal.science/hal-01094195/document) | TBA | Ariel Kellison |
+| 04/05 | **Spring Break** | |
+| 04/12 | [Formal Verification of a Realistic Compiler](https://dl.acm.org/doi/pdf/10.1145/1538788.1538814) | TBA | Ariel Kellison |
+| 04/19 | [Systematic Design of Program Analysis Frameworks](https://www.di.ens.fr/~cousot/COUSOTpapers/publications.www/CousotCousot-POPL-79-ACM-p269--282-1979.pdf) | TBA |
+| 04/26 | [A Probabilistic PDL](https://www.cs.cornell.edu/~kozen/Papers/PPDL.pdf) | Vivian Ding | Jialu Bao |
+| 05/02 | [Computational lambda-calculus and monads](https://www.cs.cmu.edu/~crary/819-f09/Moggi89.pdf) & [Handling Algebraic Effects](https://link.springer.com/chapter/10.1007/978-3-642-00590-9_7) | TBA | Ariel Kellison |
+
+---
+
+[Archive](../)
+
+[join-pldg]: mailto:[email protected]?subject=join
+[zoom]: https://cornellcis.slack.com/archives/CFKJZV78R
+[passkey]: https://www.library.cornell.edu/services/apps/passkey

content/pldg/2024sp.md

@@ -0,0 +1,55 @@
++++
+title = "Programming Languages Discussion Group (Spring 2024)"
+date = 2024-01-24
+math = false
++++
+
+**Time**: Wednesday 3:35pm - 4:25pm <br/>
+**Location**: Hybrid: Gates 310 and [Zoom][] (requires Cornell NetID) <br/>
+**Organizer**: Adrian Sampson and Dexter Kozen <br/>
+**Czars**: Jialu Bao and Yulun Yao
+
+---
+
+The Programming Languages Discussion Group meets weekly to discuss papers in the
+area of programming languages, program analysis, and compilers. The goal is to
+encourage interactions and discussions between students, researchers, and
+faculty with interests in this area. The seminar is open to everybody interested
+in languages and compilers. First-year and second-year students are especially
+encouraged to participate. 
+
+Talks will be advertised on the `[email protected]` list. To join, send a
+message to [[email protected]][join-pldg] with the subject "join" and a
+blank body.
+
+PLDG meets both in person and on [Zoom][]. Please discuss with the czars if you
+plan to present virtually.
+
+
+| Date    | Topic                    | Presenter       | Host |
+|---------|--------------------------|-----------------|------|
+| Jan 24  | Introductions/Welcome    | Jialu           |      |
+| Jan 31  | Cancelled                |                 |      |
+| Feb 7   | [Property-Directed Reachability as Abstract Interpretation in the Monotone Theory](https://dl.acm.org/doi/pdf/10.1145/3498676)  | Vaibhav Mehta      |  |
+| Feb 14  | TBA | Jialu Bao |  |
+| Feb 21  | TBA | Joe Tassarotti |      |
+| Feb 28  | TBA | Suraaj K    |      |
+| Mar 6   | TBA | Silei Ren |      |
+| Mar 13  | TBA | TBA  |  |
+| Mar 20  | TBA | TBA  |  |
+| Mar 27  | TBA | Elaine Li |      |
+| Apr 3   | Spring Break             |                 |      |
+| Apr 10  | TBA | TBA |      |
+| Apr 17  | TBA | Soos Garry |  |
+| Apr 24  | TBA | Ayaka Yorihiro |  |
+| May 1   | TBA | Karuna Grewal |  |
+| May 8   | TBA | Yulun Yao | |
+| May 15  | Additional slots TBD | | |
+
+Some of the links above need institutional affiliation to access the papers.
+Use [Cornell PassKey](https://www.library.cornell.edu/services/apps/passkey)
+to access them.
+
+[Archive](../)
+
+[join-pldg]: mailto:[email protected]?subject=join