https://ilyasergey.github.io/news/announcement_1/ 2015-10-22T19:59:00+00:00 https://ilyasergey.github.io/news/announcement_2/ 2015-11-07T20:11:00+00:00 https://ilyasergey.github.io/news/announcement_3/ 2016-01-15T11:59:00+00:00 https://ilyasergey.github.io/news/2019-10-08-porto/ 2019-10-08T00:00:00+00:00 https://ilyasergey.github.io/news/2019-12-23-postpl/ 2019-12-23T00:00:00+00:00 https://ilyasergey.github.io/news/2019-12-24-robo/ 2019-12-24T00:00:00+00:00 https://ilyasergey.github.io/news/2020-04-06-cav/ 2020-04-06T00:00:00+00:00 https://ilyasergey.github.io/news/2020-08-09-george-yunjeong/ 2020-08-09T00:00:00+00:00 https://ilyasergey.github.io/news/2020-09-18-llvm/ 2020-09-18T00:00:00+00:00 https://ilyasergey.github.io/news/2020-09-25-purpl/ 2020-09-25T00:00:00+00:00 https://ilyasergey.github.io/news/2020-11-02-dpc/ 2020-11-02T00:00:00+00:00 https://ilyasergey.github.io/news/2020-11-30-new/ 2020-11-30T00:00:00+00:00 https://ilyasergey.github.io/news/2020-12-30-yutaka/ 2020-12-01T00:00:00+00:00 https://ilyasergey.github.io/news/2020-12-11-esop/ 2020-12-11T00:00:00+00:00 https://ilyasergey.github.io/news/2021-02-26-pldi/ 2021-02-26T00:00:00+00:00 https://ilyasergey.github.io/news/2021-04-12-cosplit/ 2021-04-12T00:00:00+00:00 https://ilyasergey.github.io/news/2021-04-20-disc/ 2021-04-20T00:00:00+00:00 https://ilyasergey.github.io/news/2021-05-24-cypress/ 2021-05-24T00:00:00+00:00 https://ilyasergey.github.io/news/2021-05-27-tenure/ 2021-05-27T11:00:00+00:00 https://ilyasergey.github.io/news/2021-07-06-certisuslik/ 2021-07-06T00:00:00+00:00 https://ilyasergey.github.io/news/2021-08-04-apr/ 2021-08-04T00:00:00+00:00 https://ilyasergey.github.io/news/2021-09-01-ziyi-tram-bryan/ 2021-09-01T00:00:00+00:00 https://ilyasergey.github.io/news/2022-04-06-aplas/ 2022-04-05T00:00:00+00:00 https://ilyasergey.github.io/news/2022-06-20-hippo/ 2022-06-20T00:00:00+00:00 https://ilyasergey.github.io/news/2022-07-01-schick/ 2022-07-01T00:00:00+00:00 https://ilyasergey.github.io/news/2022-07-18-vova/ 2022-07-18T00:00:00+00:00 https://ilyasergey.github.io/news/2022-07-20-aws-award/ 2022-07-20T00:00:00+00:00 https://ilyasergey.github.io/news/2022-09-21-eth/ 2022-09-21T00:00:00+00:00 https://ilyasergey.github.io/news/2023-03-12-dagstuhl/ 2023-03-12T00:00:00+00:00 https://ilyasergey.github.io/news/2023-03-17-cispa/ 2023-03-17T00:00:00+00:00 https://ilyasergey.github.io/news/2023-04-08-pldi/ 2023-04-07T00:00:00+00:00 https://ilyasergey.github.io/news/2023-05-17-sisyphus/ 2023-05-26T00:00:00+00:00 https://ilyasergey.github.io/news/2023-08-21-ccs/ 2023-08-11T00:00:00+00:00 https://ilyasergey.github.io/news/2023-08-23-oopsla/ 2023-08-23T00:00:00+00:00 https://ilyasergey.github.io/news/2023-12-14-cpp/ 2023-12-13T00:00:00+00:00 https://ilyasergey.github.io/news/2024-02-09-ftea/ 2024-02-09T00:00:00+00:00 https://ilyasergey.github.io/news/2024-04-05-lgtm/ 2024-04-05T00:00:00+00:00 https://ilyasergey.github.io/news/2024-04-09-dsa/ 2024-04-09T00:00:00+00:00 https://ilyasergey.github.io/news/2024-04-22-lean/ 2024-04-22T00:00:00+00:00 https://ilyasergey.github.io/news/2024-05-27-rtfm/ 2024-05-26T00:00:00+00:00 https://ilyasergey.github.io/news/2024-07-12-pika/ 2024-07-12T00:00:00+00:00 https://ilyasergey.github.io/news/2024-08-24-ccs/ 2024-08-24T00:00:00+00:00 https://ilyasergey.github.io/news/2024-08-27-oopsla/ 2024-08-27T00:00:00+00:00 https://ilyasergey.github.io/news/2024-10-02-icfp/ 2024-10-02T00:00:00+00:00 https://ilyasergey.github.io/news/2024-10-29-sgpl/ 2024-10-29T00:00:00+00:00 https://ilyasergey.github.io/news/2025-01-10-pcdp/ 2025-01-10T00:00:00+00:00 https://ilyasergey.github.io/news/2025-01-24-doppler/ 2025-01-24T00:00:00+00:00 https://ilyasergey.github.io/news/2025-02-21-sippy/ 2025-02-21T00:00:00+00:00 https://ilyasergey.github.io/news/2025-40-14-veil/ 2025-04-14T00:00:00+00:00 https://ilyasergey.github.io/news/2025-05-26-axo/ 2025-05-26T00:00:00+00:00 https://ilyasergey.github.io/news/2025-08-27-iclp/ 2025-07-20T00:00:00+00:00 https://ilyasergey.github.io/news/2025-08-28-olivier/ 2025-08-15T00:00:00+00:00 https://ilyasergey.github.io/news/2025-08-29-icfp/ 2025-08-28T00:00:00+00:00 https://ilyasergey.github.io/news/2025-10-07-loom/ 2025-10-10T00:00:00+00:00 https://ilyasergey.github.io/news/2025-11-09-pwp/ 2025-11-09T00:00:00+00:00 https://ilyasergey.github.io/news/2025-12-19-popl/ 2025-12-19T00:00:00+00:00 https://ilyasergey.github.io/news/2026-01-26-blog/ 2026-01-12T00:00:00+00:00 https://ilyasergey.github.io/news/2026-02-09-post/ 2026-02-09T00:00:00+00:00 https://ilyasergey.github.io/news/2026-03-18-move/ 2026-03-18T00:00:00+00:00 https://ilyasergey.github.io/news/2026-03-31-dagstuhl/ 2026-03-31T00:00:00+00:00 https://ilyasergey.github.io/news/2026-04-02-veil-lean/ 2026-04-02T00:00:00+00:00 https://ilyasergey.github.io/news/2026-04-13-fplaunchpad/ 2026-04-13T00:00:00+00:00 https://ilyasergey.github.io/news/2026-04-30-velvet-cav/ 2026-04-30T00:00:00+00:00 https://ilyasergey.github.io/news/2026-05-18-post/ 2026-05-18T00:00:00+00:00 https://ilyasergey.github.io/news/2026-05-25-yolo/ 2026-05-25T00:00:00+00:00 https://ilyasergey.github.io/news/2026-05-26-aws-award/ 2026-05-26T00:00:00+00:00 https://ilyasergey.github.io/news/2026-07-10-summerschool/ 2026-07-10T00:00:00+00:00 https://ilyasergey.github.io/news/2026-07-28-velvet-distinguished/ 2026-07-28T00:00:00+00:00 https://ilyasergey.github.io/news/2026-08-04-leetproof/ 2026-08-04T00:00:00+00:00 https://ilyasergey.github.io/news/2026-08-14-blog/ 2026-08-14T00:00:00+00:00 https://ilyasergey.github.io/news/2026-08-15-oopsla/ 2026-08-15T00:00:00+00:00 https://ilyasergey.github.io/news/2026-09-18-velvet-release/ 2026-09-18T00:00:00+00:00 https://ilyasergey.github.io/news/2026-09-28-vermilion/ 2026-09-28T00:00:00+00:00 https://ilyasergey.github.io/blog/2015/formatting-and-links/ 2015-03-15T16:40:16+00:00 https://ilyasergey.github.io/blog/2015/images/ 2015-05-15T21:01:00+00:00 https://ilyasergey.github.io/blog/2015/code/ 2015-07-15T15:09:00+00:00 https://ilyasergey.github.io/blog/2015/math/ 2015-10-20T15:12:00+00:00 https://ilyasergey.github.io/blog/2015/comments/ 2015-10-20T15:59:00+00:00 https://ilyasergey.github.io/blog/2015/disqus-comments/ 2015-10-20T15:59:00+00:00 https://ilyasergey.github.io/blog/2020/twitter/ 2020-09-28T15:12:00+00:00 https://ilyasergey.github.io/blog/2020/github-metadata/ 2020-09-28T21:01:00+00:00 https://ilyasergey.github.io/blog/2021/distill/ 2021-05-22T00:00:00+00:00 https://ilyasergey.github.io/blog/2021/diagrams/ 2021-07-04T17:39:00+00:00 https://ilyasergey.github.io/blog/2022/redirect/ 2022-02-01T17:39:00+00:00 https://ilyasergey.github.io/blog/2022/giscus-comments/ 2022-12-10T15:59:00+00:00 https://ilyasergey.github.io/blog/2023/table-of-contents/ 2023-03-20T15:59:00+00:00 https://ilyasergey.github.io/blog/2023/tables/ 2023-03-20T18:37:00+00:00 https://ilyasergey.github.io/blog/2023/videos/ 2023-04-24T21:01:00+00:00 https://ilyasergey.github.io/blog/2023/audios/ 2023-04-25T10:25:00+00:00 https://ilyasergey.github.io/blog/2023/sidebar-table-of-contents/ 2023-04-25T14:14:00+00:00 https://ilyasergey.github.io/blog/2023/custom-blockquotes/ 2023-05-12T19:53:00+00:00 https://ilyasergey.github.io/blog/2023/jupyter-notebook/ 2023-07-04T12:57:00+00:00 https://ilyasergey.github.io/blog/2023/post-bibliography/ 2023-07-12T13:56:00+00:00 https://ilyasergey.github.io/blog/2023/tikzjax/ 2023-12-12T22:25:00+00:00 https://ilyasergey.github.io/blog/2024/chartjs/ 2024-01-26T01:04:00+00:00 https://ilyasergey.github.io/blog/2024/echarts/ 2024-01-26T16:03:00+00:00 https://ilyasergey.github.io/blog/2024/geojson-map/ 2024-01-26T17:57:00+00:00 https://ilyasergey.github.io/blog/2024/vega-lite/ 2024-01-27T00:20:00+00:00 https://ilyasergey.github.io/blog/2024/advanced-images/ 2024-01-27T11:46:00+00:00 https://ilyasergey.github.io/blog/2024/code-diff/ 2024-01-27T19:22:00+00:00 https://ilyasergey.github.io/blog/2024/pseudocode/ 2024-04-15T00:01:00+00:00 https://ilyasergey.github.io/projects/1_project/ 2026-09-28T05:41:36+00:00 https://ilyasergey.github.io/projects/2_project/ 2026-09-28T05:41:36+00:00 https://ilyasergey.github.io/projects/3_project/ 2026-09-28T05:41:36+00:00 https://ilyasergey.github.io/projects/4_project/ 2026-09-28T05:41:36+00:00 https://ilyasergey.github.io/projects/5_project/ 2026-09-28T05:41:36+00:00 https://ilyasergey.github.io/projects/6_project/ 2026-09-28T05:41:36+00:00 https://ilyasergey.github.io/ https://ilyasergey.github.io/activities/ https://ilyasergey.github.io/news/ https://ilyasergey.github.io/publications/ https://ilyasergey.github.io/students/ https://ilyasergey.github.io/talks/ https://ilyasergey.github.io/teaching/ https://ilyasergey.github.io/blog/tag/formatting/ https://ilyasergey.github.io/blog/tag/links/ https://ilyasergey.github.io/blog/tag/images/ https://ilyasergey.github.io/blog/tag/code/ https://ilyasergey.github.io/blog/tag/math/ https://ilyasergey.github.io/blog/tag/comments/ https://ilyasergey.github.io/blog/tag/metadata/ https://ilyasergey.github.io/blog/tag/distill/ https://ilyasergey.github.io/blog/tag/diagrams/ https://ilyasergey.github.io/blog/tag/toc/ https://ilyasergey.github.io/blog/tag/tables/ https://ilyasergey.github.io/blog/tag/videos/ https://ilyasergey.github.io/blog/tag/audios/ https://ilyasergey.github.io/blog/tag/sidebar/ https://ilyasergey.github.io/blog/tag/blockquotes/ https://ilyasergey.github.io/blog/tag/jupyter/ https://ilyasergey.github.io/blog/tag/bib/ https://ilyasergey.github.io/blog/tag/charts/ https://ilyasergey.github.io/blog/tag/maps/ https://ilyasergey.github.io/blog/category/sample-posts/ https://ilyasergey.github.io/blog/category/external-services/ https://ilyasergey.github.io/blog/2015/ https://ilyasergey.github.io/blog/2020/ https://ilyasergey.github.io/blog/2021/ https://ilyasergey.github.io/blog/2022/ https://ilyasergey.github.io/blog/2023/ https://ilyasergey.github.io/blog/2024/ https://ilyasergey.github.io/YSC3208/ 2026-09-28T05:41:06+00:00 https://ilyasergey.github.io/blog/ 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/leetproof-ase26.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/Daniel-Lok-Capstone.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/Jake-Goh-Capstone.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/Pillai-BSc.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/Pirlea-MEng.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/Yasunari-Watanabe-Capstone.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/cardinality-extended.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/cardinality-jfp17.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/cardinality-popl14.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/ceramist-cav20.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/ceramist-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/concurroids-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/concurroids-esop14.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/concurroids-extended.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/csc-wtsc17.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/dhtt-snapl17.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/disel-accepted.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/disel-popl18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/dominance-draft12.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/dpc-jfp.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/dpc-padl19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/ethir-atva18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/ethracer-issta19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/fcsl-manual.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/fcsl-pldi15-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/fcsl-pldi15.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/gas-draft18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/gastap-vecos19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/gradual-esop12.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/gradual-iwaco11.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/gradual-pepm14.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/gradual-sysprog11.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/graphs-absint-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/graphs-mpc12.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/groovy-dsl.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/histories-esop15.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/histories-extended.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/idea-mpool08.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/idioms-pepm13.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/introspective-icfp12.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/introspective-jfp-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/introspective-jfp-preprint.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/introspective-jfp14.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/keynote-podc19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/maian-acsac18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/maian-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/monalysis-pldi13.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/nem-vmcai21.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/non-linearizable-oopsla16.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/ownership-survey.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/paxos-deconstructed-esop18-extended.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/paxos-deconstructed-esop18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/paxos-register-extended.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/polygons-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/polygons-icfp16.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/probchain-coqpl19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/qed-at-large.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/racerd-oopsla18-preprint.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/racerd-oopsla18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/relink-ecoop17.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/robosuslik-draft.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/robosuslik-esop20.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/scala-refactorings.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/scilla-llvm20.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/scilla-oopsla19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/scilla-overview.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/semantics-cop09.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/sergey-msc-diploma.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/sergey-phd-thesis.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/suslik-popl19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/suslik-preprint.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/teaching-ssr.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/temporal-isola18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/toychain-accepted.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/toychain-cpp18.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/tpt-popl19.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/tpt-preprint.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/type-eval-ldta11.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/papers/type-reduction-ipl12.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/pnp-2014/HTT-lecture.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/pnp-2014/Intro-lecture.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/pnp-2014/ 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/pnp-2014/sorry.html 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/projects/fcsl/ 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/projects/fcsl/setup.html 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/projects/gradual/ 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/projects/histories/ 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/projects/ownership-cfa/ 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/projects/type-reduction/ 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/util/Garillot-PhD.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/util/emacs-cheat-sheet.pdf 2026-09-28T05:41:09+00:00 https://ilyasergey.github.io/util/ssreflect-manual.pdf 2026-09-28T05:41:09+00:00