update pldg website

content/pldg/2024sp.md

@@ -31,15 +31,15 @@ plan to present virtually.
 | 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  | [Views: compositional reasoning for concurrent programs](https://dl.acm.org/doi/10.1145/2480359.2429104) | Jialu Bao |  |
+| 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  | TBA | Suraaj K    |      |
+| Feb 28  | Secure Synthesis of Distributed Cryptographic Applications | Suraaj K    |      |
 | Mar 6   | TBA | Silei Ren |      |
 | Mar 13  | TBA | TBA  |  |
-| Mar 20  | TBA | TBA  |  |
+| Mar 20  | TBA | Ariel E. Kellison |  |
 | Mar 27  | TBA | [Elaine Li](https://efl9013.github.io/) | Anshuman |
 | Apr 3   | Spring Break             |                 |      |
-| Apr 10  | TBA | TBA |      |
+| Apr 10  | TBA | [Steven Holtzen](https://www.khoury.northeastern.edu/home/sholtzen/) |    Alexandra Silva |
 | Apr 17  | TBA | Soos Garry |  |
 | Apr 24  | TBA | Ayaka Yorihiro |  |
 | May 1   | TBA | Karuna Grewal |  |
@@ -53,3 +53,4 @@ Use [Cornell PassKey](https://www.library.cornell.edu/services/apps/passkey).
 
 [join-pldg]: mailto:[email protected]?subject=join
 [zoom]: https://cornell.zoom.us/j/96036354065?pwd=UGRyRXVaTjhxczFoK3Q1bjYzVkRodz09
+