Blog post: Insertion Sort, Correctly siek.blogspot.com/2024/06/insert…

I was utterly gutted yesterday by the tragic news of Arvind unexpectedly passing away. Plenty of others can far better espouse his many towering technical achievements (like this MIT article). My professional path was certainly lit by the light he shed. His generosity and warmth

Blog post: merge sort, correctly! siek.blogspot.com/2024/06/merge-…

Blog post: Binary Trees with In-order Iterators (Part 1) siek.blogspot.com/2024/07/binary…

Binary Trees with in-order iterators, correctly! (Part 2) siek.blogspot.com/2024/07/binary…

New blog post: Binary Search Trees, Correctly! siek.blogspot.com/2024/08/binary…

Graham Hutton Graham Hutton, my PhD brother, has had an admirable academic career doing exactly what he wants to do, pursuing research to the highest quality without bending to the gravitational pull of grant body hot topics and the pressure to grow large long running research

How do you find the idea of making proofs a mandatory accompaniment of teaching data structures and algorithms ? I have been playing around with Dafny a bit and find this idea fascinating. It not only makes you understand the various properties of a data structure but also

Take-aways from using the Deduce proof assistant in the classroom siek.blogspot.com/2024/10/take-a…

I’ve done a lot of formal methods “technical sales” - trying to scope projects for Galois clients that solve their problem and fit into a budget. I gave a talk last week on some things that I learned along the way: mikedodds.github.io/files/talks/20…

Happy 60th William! williamaadams.wordpress.com/2024/11/05/mus… Best manager I ever had, and whom I have tried to emulate ever since (queue.acm.org/detail.cfm?id=…). He created the space in which we could build X#/Comega, which lead to LINQ and XML support in VB.

Congratulations to the Distinguished Papers! popl25.sigplan.org/program/progra…

And it’s available free as a PDF! haskellcraft.com

Over 260 faculty, staff urge IU to undo Xiaofeng Wang’s termination idsnews.com/article/2025/0…

aura.american.edu/articles/repor…

indianapublicmedia.org/news/faculty-w…

The ACLU of Indiana has filed a lawsuit against Governor Mike Braun over the law that changes how members of the Indiana University Board of Trustees are selected. aclu-in.org/en/press-relea…

Verified Nanopasses for Compiling Conditionals (draft) dropbox.com/scl/fi/cac5jem…

Just learned that Isil Dillig won the #SIGPLAN Robin Milner Junior researcher award this year! 🎈 🍾 The award goes to one outstanding mid-career PL researcher each year, and it’s hard to think of a more deserving candidate for it. Congratulations, Isil! sigplan.org/Awards/Milner/

1/ I'm feeling real pain at the cuts to Indiana public universities, especially IU, especially cogsci. These are some of the biggest brains in cogsci and edupsych in the world, but why do *I* care? I'll tell you what they've done *for me, personally*. ↵ ipm.org/news-section/2…