Excited to host you at NUS. Looking forward to your talk and your visit Santosh Nagarakatte

It's official: ICFP 2025 will be in Singapore!!

but wait, there's more: SPLASH will be there too!

The OOPSLA 2025 Web site is now fully live, including the HotCRP submission site (which is linked to it). Submit away! 2025.splashcon.org/track/OOPSLA

I am recruiting PhD students!🐝 If you are interested in ML security and privacy, intersected with formal methods and rigorous frameworks, drop me an email! Retweets are greatly appreciated! 🙏 teobaluta.github.io

Owolabi Legunsen, assistant professor of computer science in Cornell Bowers, received a Distinguished Paper award for the second year in a row at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). cis.cornell.edu/second-year-le…

Looking forward to the inaugural Annual Singapore PL Summit: verse-lab.github.io/sg-pl-summit/ Thanks to the co-organizers Ilya Sergey and Yong Kiam Tan for bringing together a budding and vibrant PL community in and around SG.

📢Amazing news from wing.nus!👏👏 Congrats Ella Minzhi Li for being awarded the Google PhD Fellowship in #nlproc #NLP! We’re excited to see how the award🎖️will support her work in social intelligence in NLP. We're so grateful to Google AI for the recognition of her efforts!

In case if you missed it: the deadline for PhD applications to NUS School of Computing (August 2025 intake) has been extended till 31 December 2024: comp.nus.edu.sg/programmes/pg/…

Happy New Year -- rather excitingly, POPL'25 is happening in 2 weeks! Haven't registered? Come and join us! popl25.sigplan.org/attending/regi…

For budding (as well as established) international researchers, consider alternative countries, that are more open to funding research, for pursuing an academic career!

Tech news from Singapore .... AutoCodeRover (now Sonar), our NUS spinoff and AI Software Engineer from Singapore, is acquired by Sonar, leader in code quality solutions. PRESS RELEASE: lnkd.in/gUxwuMj8 This constitutes a transition of the Large Language Model Agentic

Thrilled and honored for the recognition 🙏🏼

The Summer School on Approximation Algorithms 2025 will be held at CSA 104, IISc, from 21st to 25th May 2025. This event is targeted towards postgraduate and senior undergraduate students. We are accepting applications till 25th March 2025.

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pldi… Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!

Attention PL students 📢 PLMW 25 applications are out! PLMW offers a limited number of scholarships to cover costs for student participation so don't miss it ✨ See you in Seoul! Deadline: April 10 pldi25.sigplan.org/home/PLMW-pldi…

Applications are still open for the PL mentoring workship at PLDI 2025. Apply!

x.com/i/article/1927…