Doctoral Researcher at CISPA 🇩🇪 – Helmholtz Center for Information Security
Joined October 2019
- Tweets14
- Following44
- Followers25
- Likes50
Tural Mammadov retweeted
Today is the last day of the TAROT summer school. Thanks to all the participants and professors.
Tural Mammadov retweeted
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 🧵
ALT An input generator synthesizes inputs for the program under test, which then produces outputs. From the input/output pairs, a Model Learner creates a model, which can then translate unseen inputs into unseen outputs and vice versa.
Tural Mammadov retweeted
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 🧵
ALT An input generator synthesizes inputs for the program under test, which then produces outputs. From the input/output pairs, a Model Learner creates a model, which can then translate unseen inputs into unseen outputs and vice versa.
Tural Mammadov retweeted
At @Dagstuhl, kicking off my new ERC project “Semantics of Software Systems” cispa.de/s3
ALT Andreas Zeller’s group at CISPA – Professor, post-docs, PhD students, and our two newest student assistants
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.
Tural Mammadov retweeted
Last day in Australia ends with a visit to @Sydney_Uni. Thanks @_rahulgopinath for hosting and the very nice campus tour – at Sydney, New South Wales
It was very pleasant to meet my teacher Dr. Rahul Gopinath at the University of Sydney – at Sydney, New South Wales
Tural Mammadov retweeted
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. – at Melbourne, Victoria
It was great to have a conversation with so many intelligent and interesting people yesterday at the @ICSEconf .
Tural Mammadov retweeted
Meet Bart Miller, the inventor of fuzzing!
This Post is from an account that no longer exists. Learn more
Tural Mammadov retweeted
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!