stefan brunthaler
banner
sbrunthaler.bsky.social
stefan brunthaler
@sbrunthaler.bsky.social
Language-based security is the continuation of compiler construction by other means.

PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
Wise choice. The original term Cohen used in 93 is program evolution. Great paper, similarly vocabulary unfit for 47 and his Musk-eteer, I'm afraid...
February 13, 2025 at 4:43 PM
Even worse, we built a compiler that enables large-scale D. 😱!
February 13, 2025 at 3:08 PM
Wow, pretty sure my research in software diversity would also fall into this neo Marxist/DEI search & replace strategy...
February 13, 2025 at 5:56 AM
Or is it a *me* thing? What do I need to do to make this work? Self patch a la revanced?
February 5, 2025 at 7:42 AM
I like that Bahnhof and Schule are relevant!
December 17, 2024 at 7:16 PM
TIL: dblp.org/faq/1474577....

Other question: What's inside the book? Are the contents available online? Is it all APL meets Prolog? (I'm imagining SIMD parallel logic queries, should I go and see a doctor?)
dblp: What is the meaning of the acronym dblp?
FAQ: What is the meaning of the acronym dblp?
dblp.org
December 4, 2024 at 1:41 PM
Haven't been a big DB guy (stayed with compilers ;), how is the Kanellakis book?
December 4, 2024 at 1:17 PM