https://kferles.github.io/news/announcement_1/ 2022-06-01T19:59:00+00:00 https://kferles.github.io/news/announcement_3/ 2022-06-15T19:59:00+00:00 https://kferles.github.io/news/announcement_4/ 2023-01-10T19:59:00+00:00 https://kferles.github.io/news/announcement_2/ 2023-06-13T09:59:00+00:00 https://kferles.github.io/projects/1_project/ 2023-09-07T16:24:22+00:00 https://kferles.github.io/projects/2_project/ 2023-09-07T16:24:22+00:00 https://kferles.github.io/projects/3_project/ 2023-09-07T16:24:22+00:00 https://kferles.github.io/projects/4_project/ 2023-09-07T16:24:22+00:00 https://kferles.github.io/projects/5_project/ 2023-09-07T16:24:22+00:00 https://kferles.github.io/projects/6_project/ 2023-09-07T16:24:22+00:00 https://kferles.github.io/ https://kferles.github.io/_pages/dropdown/ https://kferles.github.io/projects/ https://kferles.github.io/publications/ https://kferles.github.io/teaching/ https://kferles.github.io/assets/pdf/CC-18.pdf 2023-09-07T16:22:45+00:00 https://kferles.github.io/assets/pdf/FSE-17.pdf 2023-09-07T16:22:45+00:00 https://kferles.github.io/assets/pdf/FSE-18.pdf 2023-09-07T16:22:45+00:00 https://kferles.github.io/assets/pdf/OOPSLA-22.pdf 2023-09-07T16:22:45+00:00 https://kferles.github.io/assets/pdf/Oakland-21.pdf 2023-09-07T16:22:45+00:00 https://kferles.github.io/assets/pdf/PLDI-18.pdf 2023-09-07T16:22:45+00:00 https://kferles.github.io/assets/pdf/POPL-21.pdf 2023-09-07T16:22:46+00:00 https://kferles.github.io/assets/pdf/SOAP-17.pdf 2023-09-07T16:22:46+00:00 https://kferles.github.io/assets/pdf/VSTTE-19.pdf 2023-09-07T16:22:46+00:00 https://kferles.github.io/assets/pdf/example_pdf.pdf 2023-09-07T16:22:46+00:00 https://kferles.github.io/assets/pdf/job-talk.pdf 2023-09-07T16:22:46+00:00