https://samuelgruetter.net/blog/2018/08/24/site-construction/ 2018-08-24T00:00:00+00:00 https://samuelgruetter.net/blog/2018/08/31/git-ffwd-without-checkout/ 2018-08-31T00:00:00+00:00 https://samuelgruetter.net/blog/2018/09/04/wedding/ 2018-09-04T00:00:00+00:00 https://samuelgruetter.net/blog/2018/09/06/coq-tricks/ 2018-09-06T00:00:00+00:00 https://samuelgruetter.net/blog/2018/09/07/coq-smt-notations/ 2018-09-07T00:00:00+00:00 https://samuelgruetter.net/blog/2018/09/12/extraction-inlinings/ 2018-09-12T00:00:00+00:00 https://samuelgruetter.net/blog/2018/09/14/lost-idtac-output/ 2018-09-14T00:00:00+00:00 https://samuelgruetter.net/blog/2022/09/30/omnisemantics/ 2022-09-30T00:00:00+00:00 https://samuelgruetter.net/archives/ https://samuelgruetter.net/blog/ https://samuelgruetter.net/cv/ https://samuelgruetter.net/resume/ https://samuelgruetter.net/ https://samuelgruetter.net/publications/ https://samuelgruetter.net/blog/posts/2/ https://samuelgruetter.net/assets/CritBit_PLDI24_SRC.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/LeonTermination.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/cv-samuel-gruetter-v2024-10-14.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/garagedoor-camera-ready-2024-04-06.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/lightbulb_pldi21.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/liveverif-camera-ready-2024-04-06.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/liveverif_preprint_nov2023.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/softmul-camera-ready-june-2024.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/softmul-draft-march-2024.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/softmul.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/assets/thesis.pdf 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/googlec1ea6e36a57385b3.html 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/publications.html 2026-02-18T18:23:30+00:00 https://samuelgruetter.net/reports.html 2026-02-18T18:23:30+00:00