Tural Mammadov

Doctoral Researcher at CISPA 🇩🇪 – Helmholtz Center for Information Security

[TAROT Summer School @TAROT2024]

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

[Alexander Koller @alkoller]

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!

[Andreas Zeller @AndreasZeller]

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: https://t.co/5YKbUkccpD 🧵

[Andreas Zeller @AndreasZeller]

At @Dagstuhl, kicking off my new ERC project “Semantics of Software Systems” https://t.co/wzQbQ0Ggim

[Tural Mammadov @TurikMammadov]

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

[Tural Mammadov @TurikMammadov]

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.

[Jürgen Cito @citostyle]

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

[Tural Mammadov @TurikMammadov]

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

[Andreas Zeller @AndreasZeller]

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.

[Tural Mammadov @TurikMammadov]

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

[Tural Mammadov @TurikMammadov]

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

[Andreas Zeller @AndreasZeller]

Meet Bart Miller, the inventor of fuzzing!

[Andreas Zeller @AndreasZeller]

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: https://t.co/wzQbQ0Ggim Come work with me!

[Tural Mammadov @TurikMammadov]

@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