BREAKING: IU faculty have voted yes on no confidence motions for President Whitten, the provost and the vice provost for faculty and academic affairs.
idsnews.com/article/2024/0…

Jeremy Siek Thank you for this book.
This is the most innovative book on compiler construction I've ever read. Getting immediately to code generation and register allocation is the key innovation. Reads like a novel. 10/10: recommended as the first book on compilers.Just buy it!

Big big congratulations to Felipe Bañados Schwerter on the successful defense of his dissertation 'A formal framework for understanding run-time checking errors in gradually-typed languages'!! I'm super proud of this guy!!!

Go congratulate him as fbanados at types dot pl

We're hiring! Please apply to join RiSE @ MSR

Both fresh PhDs:
jobs.careers.microsoft.com/global/en/job/…

And Principal Researchers:
jobs.careers.microsoft.com/global/en/job/…

question of mine from the nerd twitter types.pl/@krismicinski/…

Jeremy Siek in the last few weeks of my ugrad PL course (second/third year) I am going to do the first two chapters of your book. Just those two are self contained enough I think for this to be great!

What a wonderful present, thank you for this book review Michael! amazon.com/gp/aw/review/0…

The terms 'caller-saved registers' and 'callee-saved registers' are subtly misleading. It creates considerable confusion for students of compilers as I'm finding out from a question on the final exam. I'm tempted to ditch those terms next year despite their storied history.

I'm looking for PhD students and post-docs to join my group at Purdue Computer Science! Specifically, for two exciting projects:
- Reachability Types: think Rust but for higher-level languages github.com/tiarkrompf/rea…
- Rhyme: a new expressive query language github.com/rhyme-lang

I'm just going to post this, because Ben L. Titzer hasn't and should...

Ben L. Titzer (and I, but more Ben) are looking for PhD students at CMU interested in WebAssembly!
Deadline: Dec 13

We're also looking for a research engineer!

RT for reach plz?♥️

If interested in a…

Crash course on notation in programming language theory siek.blogspot.com/2012/07/crash-…

An Introduction to Step-Indexed Logical Relations via Type Safety for ST... youtu.be/f8WpBngZehA?si… via YouTube

If you like math/logic, software engineering, and/or studying human behavior. Apply to be my PhD student this cycle in Purdue ECE (CE area)! Let's develop usable and scalable software verification tools together and improve software security and quality! 1/3

Racket //the Language-Oriented Programming Language// version 8.11 is now available from download.racket-lang.org

See racket.discourse.group/t/racket-versi… for the release announcement and highlights.

Thank you to the many people who contributed to this release!

Feedback Welcome

I see lots of books / materials on data structures and algorithms being discussed on X. But hardly I see Jeff Erickson's Algorithms book being there. I think it's a bit underrated, but I find it an extremely lucidly written exposition of some of the most complex stuff in the…

Excited to announce! Accepted at POPL:

Automatic Parallelism Management
(Westrick,Fluet,Rainey,Acar)

We present a fork-join parallel language where the programmer liberally expresses all _opportunities_ for parallelism, without worrying about the cost of spawning threads.

I got some new books. Mostly compsci, math, algorithms and compiler stuff. I got these as recommendations from an ig account, nice books. The other 3 on compilers are still coming (prob next week).