🔍 I am on the job market, seeking opportunities in software engineering, programming languages, and formal methods. If you are interested in chatting about my work or potential roles, let’s catch up at the conference or send me a message! 🤝 #SPLASH24

Jailbreaks have become a new sort of ImageNet competition instead of helping us better understand LLM security. I wrote a blogpost about what I think valuable research could look like 🧵

The School of Data Science at CUHK-Shenzhen will host a forum for global young scholars from Jan. 6-8, 2025. Our school provides an excellent environment for independent PIs to grow. If you are interested in joining us, the forum offers a good opportunity for you to visit us

We are #hiring! We are looking for a postdoctoral researcher in software testing (in particular Web and mobile applications testing) and program analysis. Expected start date Q1 2025; contract duration: 12 months emea3.mrted.ly/3s645

FSE'25 will be buzzing with 14 co-located workshops. Congratulations to the organizers for their hard work! More details will be posted in the next few days. #FSE25 #Workshops

🦃 At the end of Thanksgiving holidays, I finally finished the piece on reward hacking. Not an easy one to write, phew. Reward hacking occurs when an RL agent exploits flaws in the reward function or env to maximize rewards without learning the intended behavior. This is imo a

🚀🔍🧑‍🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Software Engineering. Website: wintered.github.io Research Statement: wintered.github.io/rs.pdf

Dominik's research is solid and highly impactful! He is also very easy to get along with😃

Nominate yourself for the ASE'25 PC! The 40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024) is looking for PC nominations to maximize diversity of perspectives. 🖊️ forms.gle/UtKE4WBTrtUsKg… 🧑‍💻 conf.researchr.org/track/ase-2025… w/ Lingming Zhang

Today, we are publishing the first-ever International AI Safety Report, backed by 30 countries and the OECD, UN, and EU. It summarises the state of the science on AI capabilities and risks, and how to mitigate those risks. 🧵 Link to full Report: assets.publishing.service.gov.uk/media/679a0c48… 1/16

Agree DeepSeek is not as good as o1-pro and o3, but I think we need to look at the trends. This is what happened during the last nine months. What will happen in the next nine month if we do not change anything in the structure of the AI ecosystem in the US?

🚀Can LLMs repair programs without known buggy hunks?🤔 💡 My student Junjielong Xu's #ICSE2025 paper reveals that current infilling approaches constrain LLMs' repair potential. By simply aligning the task objective from fixing buggy hunks to rewriting the entire program with tests,

We invite you to nominate yourself to serve on the Program Committee for FSE'26. Please use the following link to access the nomination form: docs.google.com/forms/d/e/1FAI…

Truly humbled and honored to receive the IEEE CS TCSE Rising Star Award. Thanks a lot for the help along the way from my supervisors, referees, students, and co-authors. Will continue to focus on impactful projects about AI4SE and SE4AI. 🎯 tc.computer.org/tcse/awards/

We’re proud to bring Trae to ICSE. Our booth, product showcase, banquet, and workshops were a great success. Huge thanks to everyone who joined our events. Looking forward to deeper collaboration in AI4SE research. See you again at FSE 2025 !

Check out my student Xiaoyuan Liu's xiaoyuan liu collaboration work with Tencent: RISE (Reinforcing Reasoning with Self-Verification), enabling LLMs to simultaneously level-up BOTH their problem-solving AND self-checking skills.

🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring! If you’re interested in working with me, feel free to reach out.