https://fniksic.github.io/blog/2020/03/03/new-website/ 2020-03-03T00:00:00-05:00 https://fniksic.github.io/blog/2020/05/02/twist-on-coding-interview-question/ 2020-05-02T00:00:00-04:00 https://fniksic.github.io/blog/ https://fniksic.github.io/categories/ https://fniksic.github.io/contact/ https://fniksic.github.io/cv/ https://fniksic.github.io/ https://fniksic.github.io/publications/ https://fniksic.github.io/research/ https://fniksic.github.io/tags/ https://fniksic.github.io/talks/ https://fniksic.github.io/teaching/ https://fniksic.github.io/years/ https://fniksic.github.io/assets/files/ase2021/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/cav2013/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/cav2014/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/cav2014/slides.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/cav2016/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/cav2016/slides.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/concur2015/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/concur2015/slides.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/cv.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/diploma-thesis.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/doctoral-thesis.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/icse2015/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/oopsla2018/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/oopsla2020/consensus-testing.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/oopsla2020/diffstream.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/pods2021/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/popl2018/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/popl2018/slides.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/ppopp2019/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/ppopp2019/slides.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/ppopp2022/paper.pdf 2025-03-01T19:42:18-05:00 https://fniksic.github.io/assets/files/propositional-logic.pdf 2025-03-01T19:42:18-05:00