https://lachrist.github.io/blog/2023/04/27/mutation/ 2023-04-27T00:00:00+00:00 https://lachrist.github.io/blog/2023/05/14/effect/ 2023-05-14T00:00:00+00:00 https://lachrist.github.io/blog.html https://lachrist.github.io/education.html https://lachrist.github.io/experience.html https://lachrist.github.io/ https://lachrist.github.io/projects.html https://lachrist.github.io/publications.html https://lachrist.github.io/resources.html https://lachrist.github.io/aran_02_demo/dead-apply-factorial.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-empty-estree-samples.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-empty-script-samples.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-forward-estree-samples.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-forward-script-samples.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-linvail-taint-taint.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-linvail-value-delta-object.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-logger-delta.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-shadow-state-delta.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/aran_02_demo/live-shadow-value-delta.html 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/cover.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/cv-academic.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/cv.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/diploma-bachelor-short.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/diploma-bachelor.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/diploma-master-short.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/diploma-master.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/phd-book.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/phd-defense.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/phd-report.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2014behavior.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2014prevalence.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2015proxy.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2016linvail.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2018concolic.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2018orchestration.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2018practical.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2020reachability.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/publications/2024aran.pdf 2026-02-14T22:02:28+00:00 https://lachrist.github.io/assets/thesis-master.pdf 2026-02-14T22:02:28+00:00