Ahmed Zaki
@pengwinsurf
Followers
306
Following
2K
Media
15
Statuses
1K
Building something cool @ https://t.co/uXrr9nrHKp | Previously @Meta, @NCCGroupInfosec, @symantec, @Sophos | PhD @SRGImperial
Joined May 2011
Are you interested in program analysis ? Have experience working with SootUP/Wala ? Want to take ownership of a product and experience defining your own success as a founding engineer ? Check out this role :
0
0
4
The reality is this problem will only continue to grow and only with automated maintenance and can this problem be minimised ! At Code SA we are working on solutions :) .
It's been about a year since my team has fully adopted all the AI coding tools (Cursor, Claude Code) And day to day I am feeling the added cruft in the code base. Unit tests are not catching regressions. Unneeded mocking, comments, are left in between. More refactoring is needed
0
0
0
It's been about a year since my team has fully adopted all the AI coding tools (Cursor, Claude Code) And day to day I am feeling the added cruft in the code base. Unit tests are not catching regressions. Unneeded mocking, comments, are left in between. More refactoring is needed
267
347
6K
Our Ahmed Zaki (@pengwinsurf) just presented "Understanding API usage and Testing: An empirical study of C libraries" at EASE 2025. #EASE25
0
1
1
Looking forward to presenting our work “Understanding API usage and Testing: An empirical study of C libraries” at #EASE 2025 in Istanbul this week. If you are attending #EASE 2025 come catch me during the week to discuss #SoftwareTesting #ProgramAnalysis and startups ;) !
0
0
1
I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here:
1
21
42
On the way to #SANER2025 to present our work on test case generation for C software libraries from clients with @arindam_sharma8 and @c_cadar. If you are in Montreal and want to chat about our work and/or program analysis drop me a dm.
0
1
8
👋 a bit of late news, but I recently left Microsoft to build a startup. We closed our pre-seed and have a nice position. I'm looking for a solid SWE with experience in KVM/Xen/Hypervisors. If you are interested or know someone, please DM. JD here:
4
9
58
Thanks @is_eqv for raising such an important question for the fuzzing research. Open questions and discussion are the keys to the advancement of fuzzing research. @laosong, @andreafioraldi, I fully agree that results from the third-party fuzzbench infra are more reliable and
1
7
36
🚨 Our amazing #FUZZING'24 keynotes are online! "Reasons for the Unreasonable Success of Fuzzing" by Thomas Dullien (@halvarflake) https://t.co/Q0tyqEiqv6 "Is 'AI' useful for fuzzing?" by Brendan Dolan-Gavitt (@moyix) https://t.co/EqdkWNxI8C //@mboehme_, @lszekeres
2
47
109
Despite its old age, Windows continues to evolve while its attack surface shrinks considerably Follow @saidelike's training to learn exploiting kernel vulnerabilities on a recent Windows. ➡️ https://t.co/SGE1QxNIBJ 📆 30/09-03/10 2024 📍Espace Vinci, Rue des Jeuneurs, Paris
0
9
26
Please find 17 minutes to listen to this sermon by Reverend @MuntherIsaac from Bethlehem, the birthplace of Jesus It is a sermon like no other What could be a more appropriate thing to do on Christmas, the celebration of Jesus’s birth? PLEASE LISTEN and PLEASE REPOST
Please listen and feel the words of my good friend Rev. @MuntherIsaac in #Bethlehem. We wish you a peaceful Christmas.
105
2K
3K
Extremists on both sides share one tactic: to treat Israel and Jews as identical. This is where we must draw the line. We can't allow disagreement with Israeli policy to devolve into attacks on Jews. And we can't allow those who criticize Israeli policy to be called antisemitic.
497
2K
9K
When a misbehaving child knows he's going to have to give in and do as he's told, the final stage of resistance is to do it really slowly.
166
276
5K
Israeli gov. demands my dismissal NOT bcs of my alleged "anti-Israeli mindset", but bcs I expose ISR's violations of Int'l Law, including: -Settlements as war crimes -Apartheid -The 'forever occupation' as quintessentially illegal -War crimes, CAH & the risk of genocide in Gaza.
UN special rapporteur #FrancescaAlbanese said the Australian government’s reluctance to openly criticise Israel was “not only unacceptable – it’s dangerous”. “Australia should be consistent with its international law obligations” #CeasefireNOW #auspol
https://t.co/Wz4Mk1RG1e
890
5K
11K
This is supposedly a command and control center of a terrorist group. About 6 AK 47s and a laptop… true story
0
0
6
New paper by Google provides evidence that transformers (GPT, etc) cannot generalize beyond their training data
234
782
5K
"Terrorism is a virus..." Bassem Youssef says Israel should treat Palestinians like a patient with the flu: "You give them nutrition, fluids and rest." @byoussef | @piersmorgan | @TalkTV | #PMU
713
584
4K
