Situation in the State of Palestine: #ICC Pre-Trial Chamber I rejects the State of Israel’s challenges to jurisdiction and issues warrants of arrest for Benjamin Netanyahu and Yoav Gallant. Learn more ⤵️ icc-cpi.int/news/situation…

Attention 🚨 We are looking for motivated students and researchers to be members of the PLDI 2025 Artifact Evaluation Committee (AEC). The self-nomination form is available at: forms.gle/2TPmixasDmqMNz…. Deadline: Dec 23rd, 2024. More info below: ⬇️

If you were to design a compilers course from scratch today, which topics would you teach in there? and what textbook(s) would you use, if any?

Are you an *ML/AI* researcher/prof looking for a (new) position, a bit off the US application cycle? Search no longer and join the amazing CS faculty at NYU Abu Dhabi where the ☀️always shines: apply.interfolio.com/161449 (TT/Tenured, Open Rank). Apply by *Feb 28, 2025* and/or RT 🙏.

Come join us NYU Abu Dhabi in the amazing city of Abu Dhabi!

As we prepare for #icse2025 in Ottawa, the #icse2026 team is excited to announce that the call for papers for Cycle 1 is open! Deadlines: March 7 (abstracts) & March 14 (submissions). Next year's ICSE will be in Rio de Janeiro (April 12–18). Participate! conf.researchr.org/track/icse-202…

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…

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

#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

On the way to #SANER2025 to present our work on test case generation for C software libraries from clients with Arindam Sharma and Cristian 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…

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…

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…

For formal methods folks looking for a new position: Veridise 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…

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

For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!

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

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!

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 🤪

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.