🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I got a 2.5 Million EUR European Research Council (ERC) Advanced Grant #ERCAdG (my 2nd)! In the project "Semantics of Software Systems" (S3), we will research massive generation of tests and oracles for software. Details (and proposal!) here: cispa.de/s3 Come work with me!

Meet Bart Miller, the inventor of fuzzing!

It was great to have a conversation with so many intelligent and interesting people yesterday at the ICSE .

"Harry Potter and the Cursed Child" musical at the Princess Theater Melbourne is one of the best performances I have seen so far. You should definitely see it, because it's hard to express the emotions with words.

Back in the days, we didn’t count papers, we counted ideas. If an applicant had ONE good idea, we’d invite them for an interview. If they had TWO good ideas, we’d give them tenure. And if they had THREE good ideas… well, no one ever had three good ideas.

It was very pleasant to meet my teacher Dr. Rahul Gopinath at the University of Sydney

Last day in Australia ends with a visit to University of Sydney. Thanks Rahul Gopinath ⇾ @[email protected] for hosting and the very nice campus tour

I was happy to attend the tutorial on "Larger-scale model training on multi-GPU systems" by Giuseppe Fiameni from Nvidia at ELLIS Summer School on Large-Scale AI for Research and Industry. Lots of insights about capabilities of the CUDA backend of the PyTorch framework.

Great talk on "Naturalness & Bimodality of Code" by Prof. Prem Devanbu

At Schloss Dagstuhl, kicking off my new ERC project “Semantics of Software Systems” cispa.de/s3

Learning models from programs! Given a program P, our MODELIZER learns a model M that mocks P's behavior, producing P's output for a given input. But M is also reversible, predicting inputs for which P produces a given output, with up to 95.4% accuracy: arxiv.org/abs/2407.08597 🧵

It was fun to apply #NLProc methods to software engineering with my brilliant colleague Andreas Zeller and his student Tural Mammadov. The coolest part, to me, is that you can backtranslate program outputs into program inputs. Let's see where this will go!

Today is the last day of the TAROT summer school. Thanks to all the participants and professors.