https://leino.science/music/Out-in-the-Desert.html 1985-07-01T00:00:00+00:00 https://leino.science/music/Stephanie.html 1986-04-01T00:00:00+00:00 https://leino.science/music/Orbit-Me.html 1998-05-01T00:00:00+00:00 https://leino.science/music/The-Plumber.html 2003-01-01T00:00:00+00:00 https://leino.science/music/B-Student.html 2003-06-01T00:00:00+00:00 https://leino.science/music/Old-Friends.html 2007-06-01T00:00:00+00:00 https://leino.science/music/Maui-in-My-Mind.html 2008-02-24T00:00:00+00:00 https://leino.science/music/Monosyllabic.html 2012-03-01T00:00:00+00:00 https://leino.science/music/String-Theory.html 2012-07-01T00:00:00+00:00 https://leino.science/puzzles/3-person-duel 2009-01-01T00:00:00+00:00 https://leino.science/puzzles/capturing-a-pirate-ship 2009-01-01T00:00:00+00:00 https://leino.science/puzzles/chomp 2010-03-01T00:00:00+00:00 https://leino.science/puzzles/alternating-t-shirt-colors 2010-08-01T00:00:00+00:00 https://leino.science/puzzles/car-and-key-hide-and-seek 2011-08-01T00:00:00+00:00 https://leino.science/puzzles/a-game-of-2014-cards 2014-01-01T00:00:00+00:00 https://leino.science/puzzles/a-special-squarish-age 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/age-of-children 2009-01-01T00:00:00+00:00 https://leino.science/puzzles/average-clan-size 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/boris-and-natasha 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/burning-ropes-to-measure-time 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/catching-a-spy 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/children-and-light-switches 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/coins-in-a-line 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/colored-balls-in-boxes 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/cutting-cheese 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/determining-a-hidden-digit 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/determining-the-number-of-one-hat 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/digit-sums-of-multiples-of-11 2010-02-01T00:00:00+00:00 https://leino.science/puzzles/dropping-9-terms-from-the-harmonic-series 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/dropping-eggs 2009-01-01T00:00:00+00:00 https://leino.science/puzzles/enclosing-land-by-fence-pieces 2011-09-01T00:00:00+00:00 https://leino.science/puzzles/finding-a-restaurant-in-a-park 2011-09-01T00:00:00+00:00 https://leino.science/puzzles/evaluating-a-polynomial 2014-01-01T00:00:00+00:00 https://leino.science/puzzles/fair-soccer-championship 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/finding-a-counterfeit-coin 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/finding-a-hermit 2009-01-01T00:00:00+00:00 https://leino.science/puzzles/flipping-cards 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/frugal-selection-of-weights-to-weigh-a-thing 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/guessing-each-other-s-coins 2009-09-01T00:00:00+00:00 https://leino.science/puzzles/handshakes-at-a-dinner-party 2011-09-01T00:00:00+00:00 https://leino.science/puzzles/half-the-area-of-an-l 2014-10-01T00:00:00+00:00 https://leino.science/puzzles/initializing-an-array-in-constant-time 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/knight-knave-commoner 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/lemmings-on-a-ledge 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/making-a-square-larger 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/mixed-up-airplane-seats 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/mixing-vinegar-and-oil 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/multiples-in-the-fibonacci-series 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/opening-boxes-in-a-prison-courtyard 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/passing-alternating-numbers-of-coins-around 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/path-on-the-surface-of-the-earth 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/picking-the-larger-of-two-cards 2012-09-01T00:00:00+00:00 https://leino.science/puzzles/placing-coins-on-a-table 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/planar-configuration-of-straight-connecting-lines 2011-09-01T00:00:00+00:00 https://leino.science/puzzles/points-on-a-circle 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/poisoned-wine 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/psycho-killer 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/random-point-in-a-circle 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/rectifying-a-pill-mistake 2011-01-01T00:00:00+00:00 https://leino.science/puzzles/reducing-nearby-enemies 2011-07-01T00:00:00+00:00 https://leino.science/puzzles/right-triangle-with-a-23 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/stabilizing-nodes-from-an-anchor 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/subsequence-of-coin-tosses 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/summing-pairs-of-numbers-to-primes 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/table-with-four-coins 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/the-duck-and-the-fox 2009-03-01T00:00:00+00:00 https://leino.science/puzzles/the-electrician-problem 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/the-exact-batting-average 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/the-genders-of-the-neighboring-family-s-children 2009-01-01T00:00:00+00:00 https://leino.science/puzzles/the-hidden-card 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/the-line-of-persons-with-hats 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/the-prisoners-and-the-switch 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/the-worm-and-the-rubber-band 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/three-hat-colors 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/translation-error-in-a-cookbook 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/transporting-bananas 2011-08-01T00:00:00+00:00 https://leino.science/puzzles/voting-on-how-to-distribute-coins 2026-08-03T00:57:02+00:00 https://leino.science/puzzles/weighing-piles-of-coins 2010-01-01T00:00:00+00:00 https://leino.science/puzzles/witches-at-a-coffee-shop 2026-08-03T00:57:02+00:00 https://leino.science/ml-priset/about/ https://leino.science/about/ https://leino.science/dafny-power-user/ https://leino.science/ml-priset/ https://leino.science/ https://leino.science/links/ https://leino.science/misc/ https://leino.science/music-prvt/ https://leino.science/music/ https://leino.science/press/ https://leino.science/puzzles/ https://leino.science/talks/ https://leino.science/cv.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/Caltech-CS-TR-95-03.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/LeinoManohar-TCS-1999.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/SRC-RR-156.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/SRC-RR-159.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/SRC-RR-160.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/SRC-TN-2000-002.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml100.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml101.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml102.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml107.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml114.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml120.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml135.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml140b.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml155.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml157.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml160.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml168.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml182.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml183.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml187.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml189.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml190.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml191.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml196.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml197.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml199.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml200.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml203.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml207.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml209.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml210.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml211.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml212.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml213.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml218.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml219.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml220.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml221.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml225.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml230.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml231.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml233.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml234.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml236.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml237.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml243.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml245.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml247.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml248.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml253.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml259.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml260.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml261.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml265.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml266.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml267.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml268.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml269.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml270.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml273.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml274.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml275.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml276.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml279.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml280.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml282.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml283.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml285.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml289.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml29.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml291.html 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml294.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml300.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml65.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml66.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml68.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml83.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml96.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/krml97.pdf 2026-08-03T00:56:43+00:00 https://leino.science/papers/so-far.html 2026-08-03T00:56:43+00:00 https://leino.science/talks/20230617-PLDI-2023-Dafny-tutorial.html 2026-08-03T00:56:43+00:00 https://leino.science/talks/20230718-FTfJP-2023-State-of-state-in-Dafny.html 2026-08-03T00:56:43+00:00 https://leino.science/talks/20231010-IFIP-WG-2.3-Trento-Tracked-regions.html 2026-08-03T00:56:43+00:00 https://leino.science/talks/20231114-iFM-2023-keynote.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20231116-iFM-PhD-symposium-Life-of-a-scientist.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20240509-IFIP-WG-2.3-Princeton-Partial-functions.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20240812-Marktoberdorf-2024.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20241014-FMCAD-2024.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20241021-TU-Vienna.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20250119-Dafny-State-of-the-Union-Address.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20250520-Allocation-IFIP-WG-2.3-Athens.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20250624-LICS-2025-Software-verification.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20260318-U-Warsaw-2026.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20260323-ETH-Zurich-Reflections-on-software-verification.pdf 2026-08-03T00:56:44+00:00 https://leino.science/talks/20260630-OPLSS-2026.pdf 2026-08-03T00:56:44+00:00