E. Allen Emerson has died (dl.acm.org)

I just learned that he passed away on October 15, 2024. I could not find any HN posts about this, so I’m sharing it here a bit late.