https://uwplse.org/2023/11/14/Eqsat-theory-i.html 2023-11-14T00:00:00+00:00 https://uwplse.org/2023/11/14/Slice-of-life.html 2023-11-14T00:00:00+00:00 https://uwplse.org/2023/11/14/Welcome.html 2023-11-14T00:00:00+00:00 https://uwplse.org/2024/01/08/Spacetime.html 2024-01-08T00:00:00+00:00 https://uwplse.org/2024/01/22/Dragon-Curves.html 2024-01-22T00:00:00+00:00 https://uwplse.org/2024/02/05/Eqsat-theory-ii.html 2024-02-05T00:00:00+00:00 https://uwplse.org/2024/02/19/verilog.html 2024-02-19T00:00:00+00:00 https://uwplse.org/2024/03/04/code-formatting.html 2024-03-04T00:00:00+00:00 https://uwplse.org/2024/03/18/Illusion-Knitting.html 2024-03-18T00:00:00+00:00 https://uwplse.org/2024/04/02/pluggable-type-inference.html 2024-04-02T00:00:00+00:00 https://uwplse.org/2024/04/15/Instruction-Centric-Optimizations.html 2024-04-15T00:00:00+00:00 https://uwplse.org/2024/04/30/Simplifing-Polynomials.html 2024-04-30T00:00:00+00:00 https://uwplse.org/2024/05/09/Herbie-Numerical-Compiler.html 2024-05-09T00:00:00+00:00 https://uwplse.org/2024/05/27/Weaving-Compilation.html 2024-05-27T00:00:00+00:00 https://uwplse.org/2024/06/10/rely-guarantee-for-pluggable-types.html 2024-06-10T00:00:00+00:00 https://uwplse.org/2024/06/24/neuro-symbolic-oracle-generation.html 2024-06-24T00:00:00+00:00 https://uwplse.org/2024/07/01/gator-in-synthesis-verification.html 2024-07-01T00:00:00+00:00 https://uwplse.org/2024/07/22/verilog-2.html 2024-07-22T00:00:00+00:00 https://uwplse.org/2024/08/06/static-accessibility.html 2024-08-06T00:00:00+00:00 https://uwplse.org/2024/08/19/Equivalent-Rocq.html 2024-08-19T00:00:00+00:00 https://uwplse.org/2024/09/02/ODEs-and-theorem-proving.html 2024-09-02T00:00:00+00:00 https://uwplse.org/2024/09/16/Unfolding.html 2024-09-16T00:00:00+00:00 https://uwplse.org/2024/09/30/Curry-Howard-in-Rocq.html 2024-09-30T00:00:00+00:00 https://uwplse.org/2024/10/28/designing-data-reproduction-artifact.html 2024-10-28T00:00:00+00:00 https://uwplse.org/2024/11/11/Odyssey.html 2024-11-11T00:00:00+00:00 https://uwplse.org/2024/11/25/undergrad-research.html 2024-11-25T00:00:00+00:00 https://uwplse.org/2024/12/23/accessibility-testing-axe.html 2024-12-23T00:00:00+00:00 https://uwplse.org/2025/01/06/ems.html 2025-01-06T00:00:00+00:00 https://uwplse.org/2025/01/20/two-space-copying-gc.html 2025-01-20T00:00:00+00:00 https://uwplse.org/2025/02/03/Speculative-Semantics.html 2025-02-03T00:00:00+00:00 https://uwplse.org/2025/02/17/Small-Floats.html 2025-02-17T00:00:00+00:00 https://uwplse.org/2025/03/03/Memory-Consistency.html 2025-03-03T00:00:00+00:00 https://uwplse.org/2025/03/17/most-influential.html 2025-03-17T00:00:00+00:00 https://uwplse.org/2025/03/31/Algebraic-Knitting.html 2025-03-31T00:00:00+00:00 https://uwplse.org/2025/04/14/Phase-ordering.html 2025-04-14T00:00:00+00:00 https://uwplse.org/2025/04/28/torchdynamo.html 2025-04-28T00:00:00+00:00 https://uwplse.org/2025/05/16/harmony.html 2025-05-16T00:00:00+00:00 https://uwplse.org/2025/05/29/managing-research-data.html 2025-05-29T00:00:00+00:00 https://uwplse.org/2025/06/16/IVP-in-PLSE.html 2025-06-16T00:00:00+00:00 https://uwplse.org/2025/06/16/egraph-complexity.html 2025-06-16T00:00:00+00:00 https://uwplse.org/2025/07/07/ramen-beans-and-potatoes-oh-my.html 2025-07-07T00:00:00+00:00 https://uwplse.org/2025/07/08/response-to-plse-austerity.html 2025-07-08T00:00:00+00:00 https://uwplse.org/2025/07/09/response-to-response-to-plse-austerity.html 2025-07-09T00:00:00+00:00 https://uwplse.org/2025/07/10/consistency-plse-austerity.html 2025-07-10T00:00:00+00:00 https://uwplse.org/2025/08/04/two-sum.html 2025-08-04T00:00:00+00:00 https://uwplse.org/2025/10/10/recursive-types-part1.html 2025-10-10T00:00:00+00:00 https://uwplse.org/2025/10/21/Flippin-Dots.html 2025-10-21T00:00:00+00:00 https://uwplse.org/2025/11/04/ProofTerms.html 2025-11-04T00:00:00+00:00 https://uwplse.org/2025/11/18/level-editors.html 2025-11-18T00:00:00+00:00 https://uwplse.org/2025/12/02/Thankfulness.html 2025-12-02T00:00:00+00:00 https://uwplse.org/2025/12/09/S-expressions.html 2025-12-09T00:00:00+00:00 https://uwplse.org/2026/01/13/synthesis-no-programming.html 2026-01-13T00:00:00+00:00 https://uwplse.org/2026/01/27/classroom-outreach.html 2026-01-27T00:00:00+00:00 https://uwplse.org/2026/02/16/verification-and-security.html 2026-02-16T00:00:00+00:00 https://uwplse.org/2026/02/24/egglog-containers.html 2026-02-24T00:00:00+00:00 https://uwplse.org/2026/03/10/llm-advice.html 2026-03-10T00:00:00+00:00 https://uwplse.org/2026/03/24/hw-coroutines.html 2026-03-24T00:00:00+00:00 https://uwplse.org/colloquia/141202-john-regehr.html https://uwplse.org/meet/plrg/14au.html https://uwplse.org/meet/gm/14au.html https://uwplse.org/meet/ug/14sp-types.html https://uwplse.org/meet/plrg/14sp.html https://uwplse.org/meet/gm/14sp.html https://uwplse.org/meet/serg/14sp.html https://uwplse.org/meet/ug/15au-hott.html https://uwplse.org/meet/pcrg/15au.html https://uwplse.org/meet/plrg/15au.html https://uwplse.org/meet/gm/15au.html https://uwplse.org/meet/serg/15au.html https://uwplse.org/meet/ug/15sp-dist.html https://uwplse.org/meet/plrg/15sp.html https://uwplse.org/meet/gm/15sp.html https://uwplse.org/meet/ug/15su-dist.html https://uwplse.org/meet/ug/15su-sep.html https://uwplse.org/meet/ug/15su-types.html https://uwplse.org/meet/plrg/15wi.html https://uwplse.org/meet/gm/15wi.html https://uwplse.org/colloquia/160406-leonardo-de-moura.html https://uwplse.org/colloquia/160415-mooly-sagiv.html https://uwplse.org/colloquia/160422-cristina-nita-rotaru.html https://uwplse.org/colloquia/160511-shaz-qadeer.html https://uwplse.org/colloquia/160513-maria-gorinova.html https://uwplse.org/colloquia/160518-craig-chambers.html https://uwplse.org/colloquia/160520-ben-hindman.html https://uwplse.org/colloquia/160608-milind-kulkarni.html https://uwplse.org/colloquia/160809-loris-dantoni.html https://uwplse.org/colloquia/160823-jonathan-aldrich.html https://uwplse.org/colloquia/161012-eva-darulova.html https://uwplse.org/colloquia/161026-david-tarditi.html https://uwplse.org/colloquia/161114-jonathan-bell.html https://uwplse.org/colloquia/161116-arie-gurfinkel.html https://uwplse.org/colloquia/161118-alessandra-gorla.html https://uwplse.org/colloquia/161121-willem-visser.html https://uwplse.org/colloquia/161130-nate-foster.html https://uwplse.org/colloquia/161206-sven-apel.html https://uwplse.org/meet/ug/16au-ug.html https://uwplse.org/meet/plrg/16au.html https://uwplse.org/meet/gm/16au.html https://uwplse.org/meet/serg/16au.html https://uwplse.org/meet/ug/16sp-pl.html https://uwplse.org/meet/pcrg/16sp.html https://uwplse.org/meet/plrg/16sp.html https://uwplse.org/meet/gm/16sp.html https://uwplse.org/meet/serg/16sp.html https://uwplse.org/meet/ug/16wi-types.html https://uwplse.org/meet/pcrg/16wi.html https://uwplse.org/meet/plrg/16wi.html https://uwplse.org/meet/gm/16wi.html https://uwplse.org/meet/serg/16wi.html https://uwplse.org/colloquia/170111-ravi-chugh.html https://uwplse.org/colloquia/170112-matthew-flatt.html https://uwplse.org/colloquia/170125-claire-legoues.html https://uwplse.org/colloquia/170208-ranjit-jhala.html https://uwplse.org/colloquia/170320-stephen-chang.html https://uwplse.org/colloquia/170426-adam-chlipala.html https://uwplse.org/colloquia/170519-navid-yaghmazadeh.html https://uwplse.org/colloquia/170615-vijay-ganesh.html https://uwplse.org/colloquia/170628-rene-just.html https://uwplse.org/colloquia/170710-robert-ocallahan.html https://uwplse.org/colloquia/170912-andreas-zeller.html https://uwplse.org/colloquia/171010-santosh-nagarakatte.html https://uwplse.org/colloquia/171205-stephanie-weirich.html https://uwplse.org/colloquia/171212-cindy-rubio-gonzalez.html https://uwplse.org/meet/movies/17au-18su.html https://uwplse.org/meet/lunch/17au.html https://uwplse.org/meet/plse-rg/17au.html https://uwplse.org/meet/plrg/17sp.html https://uwplse.org/meet/lunch/17sp.html https://uwplse.org/meet/serg/17sp.html https://uwplse.org/meet/plrg/17wi.html https://uwplse.org/meet/gm/17wi.html https://uwplse.org/meet/serg/17wi.html https://uwplse.org/colloquia/180116-ron-garcia.html https://uwplse.org/colloquia/180424-david-van-horn.html https://uwplse.org/colloquia/180503-daniel-shapero.html https://uwplse.org/colloquia/180611-ruzica-piskac.html https://uwplse.org/colloquia/180611-thomas-wies.html https://uwplse.org/colloquia/180919-john-gustafson.html https://uwplse.org/colloquia/181009-derek-dreyer.html https://uwplse.org/colloquia/181030-amal-ahmed.html https://uwplse.org/colloquia/181127-roopsha-samanta.html https://uwplse.org/colloquia/181204-ryan-newton.html https://uwplse.org/meet/psg/18au.html https://uwplse.org/meet/lunch/18au.html https://uwplse.org/meet/plse-rg/18au.html https://uwplse.org/meet/serg/18au.html https://uwplse.org/meet/psg/18sp.html https://uwplse.org/meet/lunch/18sp.html https://uwplse.org/meet/plse-rg/18sp.html https://uwplse.org/meet/serg/18sp.html https://uwplse.org/meet/lunch/18wi.html https://uwplse.org/meet/plse-rg/18wi.html https://uwplse.org/meet/serg/18wi.html https://uwplse.org/colloquia/190205-emery-berger.html https://uwplse.org/colloquia/190222-tao-du.html https://uwplse.org/meet/lunch/19au.html https://uwplse.org/meet/plse-rg/19au.html https://uwplse.org/meet/serg/19au.html https://uwplse.org/meet/psg/19sp.html https://uwplse.org/meet/lunch/19sp.html https://uwplse.org/meet/plse-rg/19sp.html https://uwplse.org/meet/serg/19sp.html https://uwplse.org/meet/psg/19wi.html https://uwplse.org/meet/lunch/19wi.html https://uwplse.org/meet/plse-rg/19wi.html https://uwplse.org/meet/serg/19wi.html https://uwplse.org/colloquia/160803-christoph-csallner.html https://uwplse.org/colloquia/160808-maria-christakis.html https://uwplse.org/colloquia/20190227-Michel-Steuwer.html https://uwplse.org/colloquia/20190227-alexey-gotsman.html https://uwplse.org/colloquia/201905-hila-peleg.html https://uwplse.org/colloquia/20190528-daniel-rosenwasser.html https://uwplse.org/colloquia/20210518-loris-dantoni.html https://uwplse.org/colloquia/20221011-wing-lam.html https://uwplse.org/colloquia/20250128-brad-chamberlain.html https://uwplse.org/colloquia/20250204-baishakhi-ray.html https://uwplse.org/colloquia/20250225-shuvendu-lahiri.html https://uwplse.org/colloquia/20250401-yuqun-zhang.html https://uwplse.org/colloquia/20250408-mark-marron.html https://uwplse.org/meet/lunch/20au.html https://uwplse.org/meet/serg/20au.html https://uwplse.org/meet/lunch/20sp.html https://uwplse.org/meet/serg/20sp.html https://uwplse.org/meet/lunch/20wi.html https://uwplse.org/meet/plse-rg/20wi.html https://uwplse.org/meet/serg/20wi.html https://uwplse.org/meet/talks/21au.html https://uwplse.org/meet/serg/21au.html https://uwplse.org/meet/lunch/21sp.html https://uwplse.org/meet/serg/21sp.html https://uwplse.org/meet/lunch/21wi.html https://uwplse.org/meet/serg/21wi.html https://uwplse.org/meet/plrg/22au.html https://uwplse.org/meet/lunch/22au.html https://uwplse.org/meet/serg/22au.html https://uwplse.org/meet/talks/22sp.html https://uwplse.org/meet/serg/22sp.html https://uwplse.org/meet/talks/22wi.html https://uwplse.org/meet/serg/22wi.html https://uwplse.org/meet/serg/25au.html https://uwplse.org/tag/accessibility.html https://uwplse.org/meet/all.html https://uwplse.org/tag/austerity.html https://uwplse.org/tag/automated-testing.html https://uwplse.org/tag/basics.html https://uwplse.org/internal/bibliographies.html https://uwplse.org/internal/bonfire.html https://uwplse.org/internal/books.html https://uwplse.org/internal/ci.html https://uwplse.org/tag/code-formatting.html https://uwplse.org/tag/community.html https://uwplse.org/tag/compilers.html https://uwplse.org/tag/computer-algebra.html https://uwplse.org/internal/computers.html https://uwplse.org/tag/concurrency.html https://uwplse.org/internal/conduct.html https://uwplse.org/tag/coq.html https://uwplse.org/tag/correcting-falsehoods.html https://uwplse.org/internal/crossbot.html https://uwplse.org/tag/culture.html https://uwplse.org/tag/curry-howard.html https://uwplse.org/tag/data-reproducibility.html https://uwplse.org/tag/data-reproduction.html https://uwplse.org/internal/deadbot.html https://uwplse.org/tag/design.html https://uwplse.org/tag/differential-equation.html https://uwplse.org/tag/dragon-curves.html https://uwplse.org/tag/dsl.html https://uwplse.org/internal/edit-website.html https://uwplse.org/tag/education.html https://uwplse.org/tag/equality-saturation.html https://uwplse.org/tag/fabrication.html https://uwplse.org/tag/floating-point.html https://uwplse.org/tag/food.html https://uwplse.org/tag/garbage-collection.html https://uwplse.org/tag/hardware.html https://uwplse.org/tag/hello-world.html https://uwplse.org/tag/hello.html https://uwplse.org/tag/holiday.html https://uwplse.org/meet/psg/ https://uwplse.org/meet/pcrg/ https://uwplse.org/meet/plrg/ https://uwplse.org/meet/gm/ https://uwplse.org/meet/lunch/ https://uwplse.org/meet/plse-rg/ https://uwplse.org/meet/talks/ https://uwplse.org/meet/serg/ https://uwplse.org/blog/ https://uwplse.org/ https://uwplse.org/meet/hangout/ https://uwplse.org/meet/movies/ https://uwplse.org/meet/unhangout/ https://uwplse.org/meet/putty/ https://uwplse.org/meet/paug/ https://uwplse.org/meet/ https://uwplse.org/internal/ https://uwplse.org/getting-involved/ https://uwplse.org/colloquia/ https://uwplse.org/posts/ https://uwplse.org/tag/induction.html https://uwplse.org/tag/inductive-datatypes.html https://uwplse.org/tag/infinity.html https://uwplse.org/tag/jit-compiler.html https://uwplse.org/internal/starting-at-plse.html https://uwplse.org/tag/knitting.html https://uwplse.org/tag/l-systems.html https://uwplse.org/internal/lab.html https://uwplse.org/tag/level-editor.html https://uwplse.org/tag/lunch.html https://uwplse.org/internal/lvm.html https://uwplse.org/internal/mailing-lists.html https://uwplse.org/tag/model-checking.html https://uwplse.org/internal/music.html https://uwplse.org/tag/open-science.html https://uwplse.org/tag/oracle-generation.html https://uwplse.org/tag/outreach.html https://uwplse.org/internal/papers.html https://uwplse.org/posts/plse-internships-2016.html https://uwplse.org/tag/pluggable-types.html https://uwplse.org/tag/polynomial.html https://uwplse.org/tag/pretty-printing.html https://uwplse.org/meet/previous-quarters https://uwplse.org/priya https://uwplse.org/tag/program-optimization.html https://uwplse.org/projects.html https://uwplse.org/tag/proof-assistant.html https://uwplse.org/tag/recursion.html https://uwplse.org/internal/registering.html https://uwplse.org/internal/resources.html https://uwplse.org/tag/rocq.html https://uwplse.org/internal/running.html https://uwplse.org/tag/satire.html https://uwplse.org/meet/lunch/scheduling.html https://uwplse.org/tag/security.html https://uwplse.org/internal/services.html https://uwplse.org/tag/side-channels.html https://uwplse.org/internal/sign.html https://uwplse.org/internal/snacks.html https://uwplse.org/tag/space.html https://uwplse.org/internal/spec.html https://uwplse.org/tag/speculation.html https://uwplse.org/internal/subdomains.html https://uwplse.org/tag/synthesis.html https://uwplse.org/internal/teatime.html https://uwplse.org/tag/testing.html https://uwplse.org/tag/theorem-proving.html https://uwplse.org/tag/time.html https://uwplse.org/internal/travel.html https://uwplse.org/tag/type-checking.html https://uwplse.org/tag/type-inference.html https://uwplse.org/tag/ugrad-research.html https://uwplse.org/tag/ugrad.html https://uwplse.org/tag/undergraduate-pl.html https://uwplse.org/tag/verification.html https://uwplse.org/tag/verilog.html https://uwplse.org/tag/video-games.html https://uwplse.org/tag/visualization.html https://uwplse.org/internal/warfa.html https://uwplse.org/tag/weaving.html https://uwplse.org/tag/website.html https://uwplse.org/icons/ https://uwplse.org/blog/page2/ https://uwplse.org/blog/page3/ https://uwplse.org/blog/page4/ https://uwplse.org/blog/page5/ https://uwplse.org/blog/page6/ https://uwplse.org/blog/images/2025-05-16-harmony/PetersonTweaked.htm 2026-04-02T21:59:25+00:00 https://uwplse.org/blog/images/2025-05-16-harmony/RelayRaceTest.htm 2026-04-02T21:59:25+00:00 https://uwplse.org/blog/images/2025-05-16-harmony/ibcTest1a.htm 2026-04-02T21:59:25+00:00 https://uwplse.org/blog/images/2025-05-16-harmony/ibcTest1b.htm 2026-04-02T21:59:25+00:00 https://uwplse.org/blog/images/2025-05-16-harmony/lifeboatTest.htm 2026-04-02T21:59:25+00:00 https://uwplse.org/blog/images/2025-05-16-harmony/onelaneTest2b.htm 2026-04-02T21:59:25+00:00 https://uwplse.org/gsoc-2016-ideas/ 2026-04-02T21:59:26+00:00 https://uwplse.org/internal/cse-website/plse-webpages.html 2026-04-02T21:59:26+00:00 https://uwplse.org/meet/serg/cifi-ase2021.pdf 2026-04-02T21:59:26+00:00 https://uwplse.org/reu-site/ 2026-04-02T21:59:26+00:00