From ca25414a934fdf5cb26af9645976ddce37b3adfa Mon Sep 17 00:00:00 2001 From: JialuJialu Date: Fri, 1 Mar 2024 13:31:16 -0500 Subject: [PATCH] update pldg website --- content/pldg/2024sp.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/content/pldg/2024sp.md b/content/pldg/2024sp.md index 5fd11d4..ffa685a 100644 --- a/content/pldg/2024sp.md +++ b/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:pldg-l-request@cornell.edu?subject=join [zoom]: https://cornell.zoom.us/j/96036354065?pwd=UGRyRXVaTjhxczFoK3Q1bjYzVkRodz09 +