http://uwplse.org/posts/ Blog posts from the researchers of the PLSE group at the University of Washington. 2026-09-14T16:09:31+00:00 https://pavpanchekha.com/blog/css-floats.html https://pavpanchekha.com/blog/css-floats.html 2017-03-12T00:00:00+00:00 https://theidentityfunction.wordpress.com/2017/03/07/chris-martens/ https://theidentityfunction.wordpress.com/2017/03/07/chris-martens/ 2017-03-07T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/InductionExercises.html https://homes.cs.washington.edu/~jrw12/InductionExercises.html 2017-02-21T00:00:00+00:00 https://pavpanchekha.com/blog/fine-intro.html https://pavpanchekha.com/blog/fine-intro.html 2017-02-05T00:00:00+00:00 http://programanalysis.blogspot.com/2017/01/icse-2017-most-influential-paper-and.html http://programanalysis.blogspot.com/2017/01/icse-2017-most-influential-paper-and.html 2017-01-16T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/Peterson.dfy.html https://homes.cs.washington.edu/~jrw12/Peterson.dfy.html 2017-01-09T00:00:00+00:00 https://theidentityfunction.wordpress.com/2016/12/09/deb-agarwal/ https://theidentityfunction.wordpress.com/2016/12/09/deb-agarwal/ 2016-12-09T00:00:00+00:00 http://blogs.uw.edu/ajko/2016/11/04/my-splash-2016-keynote/ http://blogs.uw.edu/ajko/2016/11/04/my-splash-2016-keynote/ 2016-11-04T00:00:00+00:00 http://programanalysis.blogspot.com/2016/11/automated-generation-of-assert.html http://programanalysis.blogspot.com/2016/11/automated-generation-of-assert.html 2016-11-19T00:00:00+00:00 https://pavpanchekha.com/blog/rational-rationality.html https://pavpanchekha.com/blog/rational-rationality.html 2016-10-20T00:00:00+00:00 http://programanalysis.blogspot.com/2016/10/nothing-is-better-than-optional-type.html http://programanalysis.blogspot.com/2016/10/nothing-is-better-than-optional-type.html 2016-10-12T00:00:00+00:00 http://programanalysis.blogspot.com/2016/09/javaone-2016-talks.html http://programanalysis.blogspot.com/2016/09/javaone-2016-talks.html 2016-09-26T00:00:00+00:00 https://homotopytypetheory.org/2016/09/26/hottsql-proving-query-rewrites-with-univalent-sql-semantics/ https://homotopytypetheory.org/2016/09/26/hottsql-proving-query-rewrites-with-univalent-sql-semantics/ 2016-09-26T00:00:00+00:00 http://uwplse.org/posts/plse-internships-2016.html http://uwplse.org/posts/plse-internships-2016.html 2016-09-09T00:00:00+00:00 http://programanalysis.blogspot.com/2016/09/python-evaluation-rules.html http://programanalysis.blogspot.com/2016/09/python-evaluation-rules.html 2016-09-09T00:00:00+00:00 http://programanalysis.blogspot.com/2016/08/building-robust-distributed-systems.html http://programanalysis.blogspot.com/2016/08/building-robust-distributed-systems.html 2016-08-11T00:00:00+00:00 https://theidentityfunction.wordpress.com/2016/08/05/matthew-kay/ https://theidentityfunction.wordpress.com/2016/08/05/matthew-kay/ 2016-08-05T00:00:00+00:00 https://theidentityfunction.wordpress.com/2016/06/10/wren-romano/ https://theidentityfunction.wordpress.com/2016/06/10/wren-romano/ 2016-06-10T00:00:00+00:00 https://taliasplse.wordpress.com/2016/05/22/how-to-take-an-industry-break/ https://taliasplse.wordpress.com/2016/05/22/how-to-take-an-industry-break/ 2016-05-22T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/Counter.html https://homes.cs.washington.edu/~jrw12/Counter.html 2016-04-24T00:00:00+00:00 https://theidentityfunction.wordpress.com/2016/04/23/chung-chieh-shan/ https://theidentityfunction.wordpress.com/2016/04/23/chung-chieh-shan/ 2016-04-23T00:00:00+00:00 https://theidentityfunction.wordpress.com/2016/04/11/what-is-the-identity-function/ https://theidentityfunction.wordpress.com/2016/04/11/what-is-the-identity-function/ 2016-04-11T00:00:00+00:00 https://taliasplse.wordpress.com/2016/03/31/flip-your-nsf-rejection/ https://taliasplse.wordpress.com/2016/03/31/flip-your-nsf-rejection/ 2016-03-31T00:00:00+00:00 https://homes.cs.washington.edu/~bornholt/post/memory-models.html https://homes.cs.washington.edu/~bornholt/post/memory-models.html 2016-02-17T00:00:00+00:00 https://pavpanchekha.com/blog/plse-logo.html https://pavpanchekha.com/blog/plse-logo.html 2016-01-29T00:00:00+00:00 https://pavpanchekha.com/blog/integrate-sh.html https://pavpanchekha.com/blog/integrate-sh.html 2015-10-25T00:00:00+00:00 http://alex.uwplse.org/2015/10/16/improving-accuracy-summation.html http://alex.uwplse.org/2015/10/16/improving-accuracy-summation.html 2015-10-16T00:00:00+00:00 http://programanalysis.blogspot.com/2015/10/practically-relevant-software.html http://programanalysis.blogspot.com/2015/10/practically-relevant-software.html 2015-10-01T00:00:00+00:00 https://pavpanchekha.com/blog/itt-equality.html https://pavpanchekha.com/blog/itt-equality.html 2015-09-07T00:00:00+00:00 http://homes.cs.washington.edu/~bholt/posts/llvm-debugging.html http://homes.cs.washington.edu/~bholt/posts/llvm-debugging.html 2015-08-03T00:00:00+00:00 http://alex.uwplse.org/2015/08/03/measuring-error.html http://alex.uwplse.org/2015/08/03/measuring-error.html 2015-08-03T00:00:00+00:00 http://programanalysis.blogspot.com/2015/06/how-to-export-project-from-google-code.html http://programanalysis.blogspot.com/2015/06/how-to-export-project-from-google-code.html 2015-06-21T00:00:00+00:00 https://pavpanchekha.com/blog/model-from-model.html https://pavpanchekha.com/blog/model-from-model.html 2015-06-17T00:00:00+00:00 https://pavpanchekha.com/blog/stats1.html https://pavpanchekha.com/blog/stats1.html 2015-05-17T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/SharedMem.html https://homes.cs.washington.edu/~jrw12/SharedMem.html 2015-05-08T00:00:00+00:00 http://homes.cs.washington.edu/~bholt/posts/disciplined-inconsistency.html http://homes.cs.washington.edu/~bholt/posts/disciplined-inconsistency.html 2015-05-03T00:00:00+00:00 http://programanalysis.blogspot.com/2015/04/declarative-specification-of-fsm.html http://programanalysis.blogspot.com/2015/04/declarative-specification-of-fsm.html 2015-04-28T00:00:00+00:00 http://programanalysis.blogspot.com/2015/04/nsf-grfs-for-pavel-panchekha-and-doug.html http://programanalysis.blogspot.com/2015/04/nsf-grfs-for-pavel-panchekha-and-doug.html 2015-04-13T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/NetworkSemantics.html https://homes.cs.washington.edu/~jrw12/NetworkSemantics.html 2015-04-16T00:00:00+00:00 https://homes.cs.washington.edu/~bornholt/post/monte-carlo-benchmarking.html https://homes.cs.washington.edu/~bornholt/post/monte-carlo-benchmarking.html 2015-02-23T00:00:00+00:00 https://homes.cs.washington.edu/~bornholt/post/synthesis-for-architects.html https://homes.cs.washington.edu/~bornholt/post/synthesis-for-architects.html 2015-01-06T00:00:00+00:00 https://homes.cs.washington.edu/~bornholt/post/performance-evaluation.html https://homes.cs.washington.edu/~bornholt/post/performance-evaluation.html 2014-11-17T00:00:00+00:00 https://homes.cs.washington.edu/~bornholt/post/cache-coherence.html https://homes.cs.washington.edu/~bornholt/post/cache-coherence.html 2014-10-29T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/more-cardinality.html https://homes.cs.washington.edu/~jrw12/more-cardinality.html 2014-10-20T00:00:00+00:00 http://www.dougwoos.com/2014/09/23/extracting-coq-lemmas-from-proof-state.html http://www.dougwoos.com/2014/09/23/extracting-coq-lemmas-from-proof-state.html 2014-09-23T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/dep-destruct.html https://homes.cs.washington.edu/~jrw12/dep-destruct.html 2014-09-14T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/runtime.html https://homes.cs.washington.edu/~jrw12/runtime.html 2014-09-04T00:00:00+00:00 http://homes.cs.washington.edu/~bholt/posts/alembic-appearing-at-oopsla14.html http://homes.cs.washington.edu/~bholt/posts/alembic-appearing-at-oopsla14.html 2014-08-16T00:00:00+00:00 https://pavpanchekha.com/blog/paper-section-stats.html https://pavpanchekha.com/blog/paper-section-stats.html 2014-07-19T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/mstd2.html https://homes.cs.washington.edu/~jrw12/mstd2.html 2014-06-12T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/tail-mod-cons.html https://homes.cs.washington.edu/~jrw12/tail-mod-cons.html 2014-04-10T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/mstd1.html https://homes.cs.washington.edu/~jrw12/mstd1.html 2014-03-03T00:00:00+00:00 http://www.dougwoos.com/2014/03/01/prettification-ii-javascript-strikes-back.html http://www.dougwoos.com/2014/03/01/prettification-ii-javascript-strikes-back.html 2014-03-01T00:00:00+00:00 http://www.dougwoos.com/2014/03/01/prettifying-coq-buffers-in-emacs.html http://www.dougwoos.com/2014/03/01/prettifying-coq-buffers-in-emacs.html 2014-03-01T00:00:00+00:00 https://pavpanchekha.com/blog/fixed-points/stability.html https://pavpanchekha.com/blog/fixed-points/stability.html 2014-02-18T00:00:00+00:00 https://pavpanchekha.com/blog/pair-types.html https://pavpanchekha.com/blog/pair-types.html 2014-02-01T00:00:00+00:00 https://pavpanchekha.com/blog/fixed-points/attraction.html https://pavpanchekha.com/blog/fixed-points/attraction.html 2014-01-06T00:00:00+00:00 https://homes.cs.washington.edu/~jrw12/proxy-js.html https://homes.cs.washington.edu/~jrw12/proxy-js.html 2013-12-31T00:00:00+00:00 https://pavpanchekha.com/blog/fixed-points/behaviors.html https://pavpanchekha.com/blog/fixed-points/behaviors.html 2013-12-28T00:00:00+00:00 https://pavpanchekha.com/blog/fixed-points/definition.html https://pavpanchekha.com/blog/fixed-points/definition.html 2013-12-27T00:00:00+00:00 http://www.dougwoos.com/2013/12/24/posting-to-jekyll-with-emacs.html http://www.dougwoos.com/2013/12/24/posting-to-jekyll-with-emacs.html 2013-12-24T00:00:00+00:00 https://pavpanchekha.com/blog/taste.html https://pavpanchekha.com/blog/taste.html 2013-10-14T00:00:00+00:00 https://pavpanchekha.com/blog/with-types.html https://pavpanchekha.com/blog/with-types.html 2011-07-10T00:00:00+00:00