Exciting news for the tech community! 🚀 The opensource release of AutoCodeRover, an AI software engineer hailing from Singapore, is here. Known as the most effective open source AI software engineer on full SWE bench, AutoCodeRover has just launched the enhanced version -

Meeting academic family at ISSTA24 ISSTA Conference in Vienna !! --- several past students and post docs, great pleasure to catch up with all of them - Marcel Böhme👨‍🔬 , Zhang Yuntong, Yannic Noller (@yannicnoller.bsky.social), Xiang Gao, Jooyong Yi , Zhiyu Fan, Zhen DONG and one of the youngest entrant to the

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

Delighted to visit Max Planck Institute (MPI) for Security and Privacy in Germany, and give a MPI Distinguished Lecture on Trusted Automatic Programming, hosted by none other than Marcel Böhme👨‍🔬 - who apart from all his tremendous research accomplishments in software security shares

Releasing AutoCodeRover-v2 fully open source available for download by anyone ! autocoderover.dev Achieving 24.9% on SWE-bench full and 46.2% on SWE-bench Verified! **Source code available** at github.com/nus-apr/auto-c…! We are releasing the results here, while still

Would like to share that I will be starting a new role from Jan 1 2025 -- as Editor-in-Chief of ACM Transactions on Software Engineering and Methodology (TOSEM) dl.acm.org/journal/tosem acm.org/articles/pubs-… Have been fortunate to have worked with Mauro Pezzè for the last 5

Created a new home in Bluesky. bsky.app/profile/abhikr… @abhikrc.bsky.social

Very pleased to post this message in support of Ruijie Meng, who is graduating from NUS this year, and is currently in the academic job market - see webpage mengrj.github.io Her PhD work focuses on fuzzing of reactive systems, and rendering much of the bug finding

Shonan meeting 217 on Trusted Automatic Programming is currently underway in Japan this week! The discussions are buzzing with topics like Large Language Models, Agents, Verification, and the future of software. Exciting times ahead! 🇯🇵💻 #Programming #SoftwareDevelopment

Honored and humbled to be selected as ACM fellow for contributions to software testing and analysis, specifically our research in automated program repair and fuzz testing. Thanks to group members of TSS group at NUS (past and present), and all collaborators for all the

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

Excited to share an opinion piece on the future of AI-powered Software Engineering following the acquisition of our NUS spinoff AutoCodeRover (now Sonar). Check out our opinion piece that just hit the public domain today! 🚀 co-authored with Corina Pasareanu, Michael Pradel,

Exciting times for the former AutoCodeRover (now Sonar) (now Sonar) team from the NUS 🚀 Over the past year, we've been fully immersed in crafting cutting-edge agentic AI solutions for coding, which can shape the software landscape of tomorrow. The realm of AI for coding stands

x.com/i/article/1927…