Michael Greenberg
Publishes 1 feed
mgreenblog
Michael Greenberg's blog: computer science; systems; programming languages.
119 posts · contributor
Lately
try and hs at osdi 2026
popl 2026 tutorial: analyzing shell scripts
reflections on minnowbrook logic programming seminar 2025
mute: silence a running command
how to give a good talk (plmw @ popl 2025)
debugging materialize with materialize
new blog, who dis?
I'm looking for students!
Answer set programming (ASP) is the powerhouse technology you've never heard of
What's hard about grad school?
When is program synthesis worthwhile?
How to cook a KAT for your pet theory
Everything on this page was read from markup Michael Greenberg published — a rel="me" link, an h-card, or the feed’s own author element. Nothing was inferred from anywhere else. To correct or remove it, get in touch. Machine-readable: JSON