In 2022 and 2023, the Cypress seminar met 12:30-2pm ET in GS 222 also via Zoom.
| Date | Speaker | Topic |
|---|---|---|
| 2023-01-26 | Shan Huang | Taxonomy of Attacks on Open-Source Software Supply Chains |
| 2023-02-02 | Social | |
| 2023-02-09 | ||
| 2023-02-16 | Parisa Fathololumi | |
| 2023-02-23 | Mihai Nicolla | |
| 2023-03-02 | Ramana Nagasamudram | |
| 2023-03-09 | Eric Wang | |
| 2023-03-16 | Spring Break | |
| 2023-03-23 | Dennis Zhang | |
| 2023-03-30 | Y. Cyrus Liu | SmartPulse: Automated Checking of Temporal Properties in Smart Contracts |
| 2023-04-06 | Koss Kleftogiorgos | |
| 2023-04-13 | Adam Chen | |
| 2023-04-20 | Narong Chaiwut | |
| 2023-04-27 | Vidya Lakshmi Rajagopalan | |
| 2023-05-04 | Ayomide Akinsanya | |
| 2023-05-11 | Benjamin Lirio |
In the fall, Cypress met at noon on Tuesdays in GS 222.
| Date | Speaker | Topic |
|---|---|---|
| 2022-09-08 | Farzaneh Derakhshan (CMU) | Recursive Session Logical Relations for Information Flow Control |
| 2022-09-13 | Y. Cyrus Liu | DrNLA: Dual Rewriting for Branching-Time Verification of Non-Linear Arithmetic Programs |
| 2022-09-20 | Adam Chen | Veracity (Declarative Multicore Programming with Commutativity) |
| 2022-09-27 | Eric Wang | A Type System for Purpose Limitation |
| 2022-10-04 | Social | |
| 2022-10-11 | Shan Huang | Integration of ROP/JOP Monitoring IPs in an ARM-based SoC |
| 2022-10-18 | Julian Parsert (Oxford) | Neural Termination Analysis |
| 2022-10-25 | Ayomide Akinsanya | |
| 2022-11-01 | Parisa Fathololumi | |
| 2022-11-09 | Mihai Nicolla | |
| 2022-11-15 | Koss Kleftogiorgos | |
| 2022-11-22 | THANKSGIVING | |
| 2022-11-29 | Dennis Zhang | |
| 2022-12-06 | Ramana Nagasamudram | |
| 2022-12-13 | Vidya Lakshmi Rajagopalan |