https://plum-umd.github.io/design/science/life/2016/03/30/design-stories.html 2016-03-30T14:15:31+00:00 https://plum-umd.github.io/science/2016/03/30/science.html 2016-03-30T14:15:31+00:00 https://plum-umd.github.io/science/2016/03/30/science0.html 2016-03-30T14:15:31+00:00 https://plum-umd.github.io/jekyll/update/2016/03/30/welcome-to-jekyll.html 2016-03-30T14:15:31+00:00 https://plum-umd.github.io/projects/additional.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/bibifi.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/checkedc.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/dsu.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/oblivious-programming.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/proof-engineering.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/quantum.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/random-testing.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/rdl.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/projects/verifying_haskell.html 2026-02-03T17:27:18+00:00 https://plum-umd.github.io/ https://plum-umd.github.io/news/ https://plum-umd.github.io/people/