diff --git a/content/great-works/2024sp.md b/content/great-works/2024sp.md new file mode 100644 index 0000000..5825729 --- /dev/null +++ b/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
+**Location**: Gates 310 (Zoom link sent via Slack channel)
+**Organizers**: Yulun Yao and Jialu Bao
+ +--- + +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: + + pldg-l@cornell.edu + +To join, send a message to [pldg-l-request@cornell.edu][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:pldg-l-request@cornell.edu?subject=join +[zoom]: https://cornellcis.slack.com/archives/CFKJZV78R +[passkey]: https://www.library.cornell.edu/services/apps/passkey diff --git a/content/pldg/2024sp.md b/content/pldg/2024sp.md new file mode 100644 index 0000000..bce76f7 --- /dev/null +++ b/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
+**Location**: Hybrid: Gates 310 and [Zoom][] (requires Cornell NetID)
+**Organizer**: Adrian Sampson and Dexter Kozen
+**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 `pldg-l@cornell.edu` list. To join, send a +message to [pldg-l-request@cornell.edu][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:pldg-l-request@cornell.edu?subject=join \ No newline at end of file