Merge pull request #60 from yy665/master

update silei / karuna

content/great-works/2024sp.md

@@ -49,7 +49,7 @@ a working link and make a pull request.
 ](http://bulletin.eatcs.org/index.php/beatcs/article/view/539)| Suraaj Kanniwadi |
 | 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/08 | [Gradual Typing for Functional Languages](http://scheme2006.cs.uchicago.edu/13-siek.pdf) | Karuna Grewal | 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 |

content/pldg/2024sp.md

@@ -34,7 +34,7 @@ plan to present virtually.
 | Feb 14  | [Views: compositional reasoning for concurrent programs](https://dl.acm.org/doi/10.1145/2480359.2429104)  | Jialu Bao |  |
 | Feb 21  | Probabilistic Reasoning in Higher-Order Separation Logic | [Joe Tassarotti](https://cs.nyu.edu/~jt4767/) | Alexandra Silva and Noam Zilberstein |
 | Feb 28  | Secure Synthesis of Distributed Cryptographic Applications | Suraaj K    |      |
-| Mar 6   | TBA | Silei Ren |      |
+| Mar 6   | Universal Composability is Robust Compilation | Silei Ren |      |
 | Mar 13  | TBA | TBA  |  |
 | Mar 20  | TBA | Ariel E. Kellison |  |
 | Mar 27  | TBA | [Elaine Li](https://efl9013.github.io/) | Anshuman |