https://cowardsa.github.io/news/announcement_2/ 2023-02-20T20:11:00+00:00 https://cowardsa.github.io/news/announcement_1/ 2023-04-25T19:59:00+00:00 https://cowardsa.github.io/news/announcement_3/ 2023-10-01T19:59:00+00:00 https://cowardsa.github.io/news/announcement_4/ 2023-10-01T19:59:00+00:00 https://cowardsa.github.io/news/announcement_5/ 2023-10-27T19:59:00+00:00 https://cowardsa.github.io/news/asplos_2024/ 2024-04-27T19:59:00+00:00 https://cowardsa.github.io/news/arith_2024/ 2024-06-10T19:59:00+00:00 https://cowardsa.github.io/news/dvcon_fpga_accept/ 2024-11-30T19:59:00+00:00 https://cowardsa.github.io/news/phd_viva/ 2025-01-24T19:59:00+00:00 https://cowardsa.github.io/news/phd_thesis/ 2025-03-01T19:59:00+00:00 https://cowardsa.github.io/news/fyps_2024_2025/ 2025-06-25T19:59:00+00:00 https://cowardsa.github.io/news/fptalks_2025/ 2025-07-14T19:59:00+00:00 https://cowardsa.github.io/news/Cornell/ 2025-11-23T19:59:00+00:00 https://cowardsa.github.io/news/FellowshipStart/ 2025-12-01T19:59:00+00:00 https://cowardsa.github.io/news/CAVPaper/ 2026-04-18T19:59:00+00:00 https://cowardsa.github.io/news/EGRAPHSAbstract/ 2026-04-18T19:59:00+00:00 https://cowardsa.github.io/news/LondonWonderOutreach/ 2026-05-14T19:59:00+00:00 https://cowardsa.github.io/news/AssistantProfessorStart/ 2026-08-06T08:00:00+00:00 https://cowardsa.github.io/blog/2026/compilers/ 2026-04-17T15:12:00+00:00 https://cowardsa.github.io/blog/2026/cpus/ 2026-05-17T15:12:00+00:00 https://cowardsa.github.io/blog/2026/parabit/ 2026-05-17T15:12:00+00:00 https://cowardsa.github.io/blog/2026/demo/ 2026-06-30T15:12:00+00:00 https://cowardsa.github.io/ https://cowardsa.github.io/cv/ https://cowardsa.github.io/_pages/dropdown/ https://cowardsa.github.io/blog/ https://cowardsa.github.io/new-students/ https://cowardsa.github.io/news/ https://cowardsa.github.io/projects/ https://cowardsa.github.io/publications/ https://cowardsa.github.io/repositories/ https://cowardsa.github.io/teaching/ https://cowardsa.github.io/blog/tag/optimization/ https://cowardsa.github.io/blog/tag/outreach/ https://cowardsa.github.io/blog/tag/verification/ https://cowardsa.github.io/blog/2026/