Merge branch 'master' of github.com:cornell-pl/pl.cs.cornell.edu

cornell-pl · Dec 10, 2023 · 3431beb · 3431beb
2 parents 7d8affc + ee04952
commit 3431beb
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/content/pldg/2023fa.md b/content/pldg/2023fa.md
@@ -37,14 +37,15 @@ plan to present virtually.
 | Sep 27  | [Formal Abstractions for Packet Scheduling][pifo]| Anshuman Mohan |      |
 |         | [Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning][olog] | Noam Zilberstein |      |
 | Oct 4   | [Abstract Interpretation for Differentiable Programming][diffai] | Jacob Laurel (UIUC)  | Adrian |
-| Oct 11  | The Dafny Programming Language and Static Verifier | Stefan Zetzsche (AWS) |      |
+| Oct 11  | [The Dafny Programming Language and Static Verifier][dafny] | Stefan Zetzsche (AWS) |      |
 | Oct 18  | [Efficiency of Learning from Proof Blocks Versus Writing Proofs][poulsen] | Dietrich Geisler |      |
 | Oct 25  | Cancelled                |                 |      |
 | Nov 1   | Amiga review for PLDI    |                 |      |
-| Nov 8   | Parametric polymorphism in Swift: Protocols and associated types | Slava Pestov (Apple)  | Josh |
+| Nov 8   | [Parametric polymorphism in Swift: Protocols and associated types][slava-slides] | Slava Pestov (Apple)  | Josh |
 | Nov 15  | Cancelled                |                 |      |
 | Nov 22  | (Thanksgiving break - No PLDG)     |                 |      |
-| Nov 29  | Activation Energy: Technology Lanscapes and Forces of Adoption  | Graydon Hoare | Justin |
+| Nov 29  | [Activation Energy: Technology Lanscapes and Forces of Adoption][graydon-slides]  | Graydon Hoare | Justin |
+| Dec 5 (Tues!) | The Math Wars are Back, with Computing at the Center | Emmanuel Schanzer | Dexter |
 
 Some of the links above need institutional affiliation to access the papers.
 Use [Cornell PassKey](https://www.library.cornell.edu/services/apps/passkey)
@@ -59,6 +60,9 @@ to access them.
 [lrhd]: https://dl.acm.org/doi/pdf/10.1145/3591237
 [deadlock]: https://dl.acm.org/doi/pdf/10.1145/3571229
 [pifo]: https://arxiv.org/abs/2211.11659 
-[olog]: https://doi.org/10.1145/3586045
+[olog]: https://doi.org/10.1145/3586045 
 [diffai]: https://dl.acm.org/doi/abs/10.1145/3563324
+[dafny]:/pldg/stefan-zetzsche.pdf
 [poulsen]: https://dl.acm.org/doi/abs/10.1145/3545945.3569797
+[graydon-slides]: http://d22yoqkt46k26p.cloudfront.net/graydon/talks/activation-energy.pdf
+[slava-slides]: /pldg/slava-pestov.pdf
diff --git a/static/pldg/slava-pestov.pdf b/static/pldg/slava-pestov.pdf
diff --git a/static/pldg/stefan-zetzsche.pdf b/static/pldg/stefan-zetzsche.pdf