Sabitlenmiş Tweet
Didn't catch my Dahl-Nygaard talk about static analyais @ECOOPconf? I've got you covered on youtu.be/gzMidUZhEGU (closed captioning available as well).
YouTube
English
Karim Ali (كريم علي)
6.6K posts
Karim Ali (كريم علي)
@karimhamdanali
Associate Professor @NYUAbuDhabi. Interests: static analysis, programming languages, compiler optimizations, security, and ⚽️ 🏀 🏊 🏋
Abu Dhabi, UAE Katılım Mayıs 2010
286 Takip Edilen1K Takipçiler
Exciting times @NYUAbuDhabi! 🎉
We’re hiring in ML/AI (tenured/tenure-track, open rank) to join our amazing CS faculty!
It’s a fantastic place to live, teach, and do research—on the beautiful Saadiyat Island in Abu Dhabi.
🗓 Apply by Nov 30, 2025 → apply.interfolio.com/175170
English
@guidosalva @ilyasergey Not novel enough. Minor/incremental contribution. Not up to standard to conference X. REJECT!
English
@ilyasergey A First step would be to recognize research that looks into practical adoption, industry case studies, etc. "Programming languages in practice" kind of track?
English
Hot take: the programming languages research community should focus less on complex solutions to very narrow problems in the name of novelty, and more---on making existing solutions accessible to non-experts.
English
Karim Ali (كريم علي) retweetledi
Passionate about frontier AI models, classical symbolic reasoning, and safe/secure software? Consider applying for this position on AI-aided code analysis in my team at @GoogleDeepmind: job-boards.greenhouse.io/deepmind/jobs/…. The job is London-based, and the application deadline is July 14.
English
@krismicinski I need to know who that colleague is too :D Do you know if they are in CS or another discipline?
English
Karim Ali (كريم علي) retweetledi
Karim Ali (كريم علي) retweetledi
If you’re a student looking for funded PhD positions or want to do a winter (not summer 😅) research exchange visit at the #sanadlab at New York University Abu Dhabi (#nyuad), come talk to me during ICSE week. You’ll easily spot our cool tshirts today 🤪
SANAD Lab@sanadlabnyuad
We are enjoying #msr2025 and #icse2025 in Ottawa. Come say hi and learn about the research our team is currently working on at the #sanadlab spanning AI4SE, LLM correctness, energy efficiency, API misuse, static analysis, and security!
English
@sarahnadi Do you know if the talks/keynotes are recorded?
English
The best kind of keynotes are those that leave you flowing with ideas. Really interesting keynote by Kate Stewart!
MSR 2025@msrconf
Kicking off #MSR2025 with Kate Stewart’s keynote: "Mining BOMs for Improving Supply Chain Efficiency & Resilience"
English
Karim Ali (كريم علي) retweetledi
Ever wondered why all AI-generated Middle Eastern men look like Aladdin?👳♂️ Beards, Brown skin, Turbans, etc.
Our new Scientific Reports paper shows that Stable Diffusion reinforces gender stereotypes and racial homogenization.
rdcu.be/ejgN5
English
Karim Ali (كريم علي) retweetledi
For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!
Anirudh Khatry@AnirudhKhatry
🚀Introducing CRUST-Bench, a dataset for C-to-Rust transpilation for full codebases 🛠️ A dataset of 100 real-world C repositories across various domains, each paired with: 🦀 Handwritten safe Rust interfaces. 🧪 Rust test cases to validate correctness. 🧵[1/6]
English
Coana has been acquired by @SocketSecurity! 🤩
Socket@SocketSecurity
🚀 Big news! Socket is acquiring Coana, bringing best-in-class reachability analysis to modern SCA! Coana's technology reduces false positives by up to 80%, letting teams focus on vulnerabilities that actually matter. #AppSec 1/4
English
Karim Ali (كريم علي) retweetledi
It was a pleasure hosting Mohammed Sayagh at the SANAD Lab this week! We had insightful discussions and truly enjoyed his talk. Thank you, Mohammed, for sharing your expertise and sparking great conversations! #softwareengineering #Research #sanadlab
English
Karim Ali (كريم علي) retweetledi
For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-res…
English
Karim Ali (كريم علي) retweetledi
I am looking to fill a Research Associate/Assistant position on an exciting project at the intersection of program analysis and GenAI. Candidates should be able to start soon (in the next few months). If you are interested, please get in touch ASAP!
srg.doc.ic.ac.uk/vacancies/25-r…
English
Karim Ali (كريم علي) retweetledi
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. srg.doc.ic.ac.uk/files/papers/a…
English
Karim Ali (كريم علي) retweetledi
My PhD student Ahmed's research is focused on the challenging problem of both generating and contributing test cases to library repositories. Our recent paper presents an interesting relevant technique and case study. Talk to him at SANER! srg.doc.ic.ac.uk/publications/2…
Ahmed Zaki@pengwinsurf
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. srg.doc.ic.ac.uk/files/papers/a…
English
Karim Ali (كريم علي) retweetledi
#Oscars2025 🇵🇸 @basel_adra: “We call on the world to take serious actions to stop the injustice and to stop the ethnic cleansing of the Palestinian people.” #NoOtherLand
English
Karim Ali (كريم علي) retweetledi
We had a great time hosting Prem Devanbu at the SANAD Lab last week! It was an inspiring week filled with insightful and engaging discussions.
#softwareengineering #sanadlab #research
English
Take a look at our citation manipulation work.
nature.com/articles/s4159…
English
Karim Ali (كريم علي) retweetledi
This year, SPLASH & ICFP join forces, giving sponsors greater visibility across both programming languages & software engineering communities. Don’t miss this opportunity to connect with top researchers & practitioners!
📢 Learn more: conf.researchr.org/attending/icfp…
English