Dominik Winterer

📢 SMT-COMP '26 — Call for Comments & Preliminary Call for Solvers! 📝 Preliminary solver submissions & comments by May 1 smt-comp.github.io/2026/ CC: Martin Jonáš, Tomáš Kolárik

実際のコードを読むことは一切しない「AIに言葉で指示する」だけのバイブコーディングでも、コンピュータサイエンスの基礎知識がある人のほうが成績がよく、さらに”文章力”が高いほど良い成果が出せる傾向があるとのこと。 CHI2026採択論文※。 コードを読み書きしなくても、問題を分解する思考法 やアルゴリズム的な発想そのものが、AIへの指示を組み立てるうえで役立つのだろうと考えられています。 そして文章力が高い人はプロンプトの品質が高く、プロンプトの品質が高い人はアプリの出来もよいという、きれいな連鎖が見えています。 なお今回の実験では、LLMを普段からよく使っている人ほどバイブコーディングの成績が低く文章力も低いという意外な結果も。 因果関係は断定できませんが、LLMに頼りすぎると自分で言語化する力が鍛えられないのかもしれない、あるいはもともと言語化が苦手な人ほどLLMを頻繁に使う傾向があるのかもしれない、と研究チームは考察しています。 ※この論文は、コンピュータと人間の関わり方を研究するトップ国際学会CHI2026に採択されています。

The Quest Toward that Perfect Compiler Zhendong Su (@zhendongsu) youtube.com/watch?v=Af70Dp… people.inf.ethz.ch/suz/oopsla25-k… SPLASH (@splashcon) / OOPSLA 2025 Keynote

@HazelAppleyard @jk_rowling You opened the world of books and libraries to me.

If you could say just one thing to @jk_rowling, what would it be?

@sciencegirl ww3

In your opinion what is the biggest threat to humanity

We are hiring! Suzanne Embury and I are looking for a talented Ph.D. student 👩‍🎓👨‍🎓 to join an exciting, high-impact project on automated testing and bug fixing of Formal Methods tools. If you have a strong background in automated reasoning, PL, SE, or ML, and are passionate about ensuring the soundness and reliability of FM tools 🔍✅, this project is perfect for you! findaphd.com/phds/project/f…

@elonmusk Now make it beautiful!

Tesla Cybertruck beats a 911 while towing a 911, which mean it can carry a 911 faster down a 1/4 mile than the Porsche can travel by itself …

@natefoster To its defense, German is verbose. 😅

I always tell my students about this important rule of dissertations... Always make sure to have a clear thesis statement in the first 300 pages, or the members of your committee will miss it!

Looking for a PostDoc, a PhD, and 3-6mth interns as part of my ERC project. Homepage: mboehme.github.io Böhme Lab: mpi-softsec.github.io Reach out if you find this interesting. 👇

@natefoster Thanks to Hamming, I can also not fully close my office door either. If I did I would be that "drunken sailor" not knowing what the important problems are in the first place!

Richard Hamming: "If you do not work on an important problem, it's unlikely you'll do important work. It's perfectly obvious." PL Researchers: "let's talk about placement of captions and punctuation."

@HerrDreyer Fully agree; hence my table captions won't go on the top!

I just read online that, while figure captions are supposed to be below the figure, table captions are supposed to be on top. This is one of the dumbest conventions I have ever heard of in my life. You'll have to pry my below-table captions from my cold dead hands.

Is a Swiss knife an appropriate gift in a professional setting?

@ilyasergey I never understood why almost every academic still does this. Times when pattern matchers or text extraction from images were hurdles are long over.

A periodic reminder that this obfuscation does not work against spam bots (especially, LLM-powered), and only upsets fellow academics who want to get in touch with you.

@HerrDreyer @krismicinski For Paris, with its old buildings.

@DominikWinterer @krismicinski I would say the buildings were designed when peak temperatures were at least 10C lower.

@HerrDreyer @krismicinski Yes, it's becoming a serious problem. I suppose most buildings were constructed when peak temperatures were still about 5 degrees lower, except for the occasional handful of extremely hot days per year.

@krismicinski I also dread travelling in Europe during the summer. I restrict attention to hotels that advertise A/C, and scour the comments on the booking website to see if multiple people have complained about the A/C not working. Unfortunately, it's hit and miss.

@krismicinski Would rather say that summers have become hotter, so we need A/C now, even in Central Europe.

🚨 "Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration" with @DominikWinterer is available now! 🎧 Listen on Apple ➡️ podcasts.apple.com/us/podcast/dis… 🎧 Listen on Spotify ➡️ open.spotify.com/show/6IQIF9oRS…

🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring! If you’re interested in working with me, feel free to reach out.

Super excited to share that I will be joining The University of Manchester (@OfficialUoM) as a Lecturer (Assistant Professor) in Cyber Security! The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.

@Bertrand_Meyer 🤣

Plus, I am world-class on materials science and engineering. Indeed, I remember: I once (or twice) dropped a plate and found out that it broke.