Tural Mammadov

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

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

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 🧵

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

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

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

Last day in Australia ends with a visit to @Sydney_Uni. Thanks @_rahulgopinath for hosting and the very nice campus tour

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

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.

"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.

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

Meet Bart Miller, the inventor of fuzzing!

I got a 2.5 Million EUR @ERC_Research 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!

@Mazda_PR I have a question about Mazda CX-5 Daytime Running Light recall company, and my local Mazda dealer in Azerbaijan can't help me out with it. I can't find email address of Mazda Japan to ask question directly. How can I forward you my email? No answer from Mazda EU either