Simple (github.com/SeaOfNodes) is a compiler tutorial featuring the Sea-of-Nodes IR, a Java port (@cliffclick), Go (@yardenlaif), Rust (@RobertObkircher), and C++ (Helen Coogan), with help from XmiliaH, @ThaliaArchi. If you'd like to help reach out to [email protected] or on GitHub.

I wrote a piece on SIGARCH blog about the state of hardware and architecture security. "Secure Computer Architecture in the Post-Meltdown World: A Long Road Ahead" sigarch.org/secure-compute…

Terence Tao is so right... You can't just casually read a math book hoping you will learn anything... You actually have to sit down with a pen and paper, roll up your sleeves, turn your phone off and do the grind.

By the way, I'm on the academic job market this year and currently attending ACM CCS 2025! If you’re interested in software security, binary analysis, Web3 security, or if you’re currently hiring, feel free to ping me or meet up at CCS! 🚀

As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)

🎉Excited to announce our paper: “ParDiff: Practical Static Differential Analysis of Network Protocol Parsers” won #OOPSLA2024 Distinguished Paper Award! I will present tomorrow morning SPLASH Conference ! Hope to see you in Pasadena! #SoftwareTesting #StaticAnalysis #ProtocolTesting

Happy 2025 everyone! It's been an exciting year for our team, and to celebrate, we're releasing new code, examples, docs, and a slick new website for our query language Rhyme. Check it out: rhyme-lang.github.io, github.com/rhyme-lang/rhy…

If you want to learn about the basics of programming language semantics, this paper by Graham Hutton is an excellent exposition to the subject. Learn about operational and denotational semantics, how to use structural induction as the basic proof technique in denotational

🚀 Announcing the 1st International Workshop on Language Models and Programming Languages (LMPL) at SPLASH 2025! Join us to explore the intersection of generative AI & programming languages. See you in Singapore! 🇸🇬 🔗 conf.researchr.org/home/icfp-spla…📝 #LMPL2025 #ProgrammingLanguages

🚨 CFP Alert! GeCoIn 2025 @ ECAI in Bologna 🇮🇹 We’re calling for papers on generative AI & code safety 🧠💻 Topics: LLMs, code security, explainability, benchmarking & more! 📅 Deadline: July 15 🔗 gecoin-workshop.github.io

.... Each of the major conferences in computer science and software engineering has its own little subculture, implying that at a certain time any paper that has any chance of getting accepted must conform to a very rigid preconception of what a suitable paper looks like for that

After supervising 20+ papers, I have highly opinionated views on writing great ML papers. When I entered the field I found this all frustratingly opaque So I wrote a guide on turning research into high-quality papers with scientific integrity! Hopefully still useful for NeurIPS

Thank you all for writing amazing posts so that I can read them and learn ❤️ bernsteinbear.com/blog/pl-writin…

ICFP Conference SPLASH Conference Update! The Scala Workshop 2025 submission deadline is now July 18, AoE (11:59 PM UTC-12). More time to submit your talk proposals! Original: x.com/scala_workshop…

A friend needed lots of sophisticated C code to be written for his systems startup so he decided to advertise and interview for OCaml programmers (not a language he himself was very familiar with). This turned out to be a brilliant filter for hiring very highly skilled