

Sergey Mechtaev
49 posts

@sergey_mechtaev
Assistant Professor @PKUCS1978









📣Big news! We’re excited to share that AutoCodeRover has been acquired by @SonarSource 🎉. Bringing our sophisticated AI agent platform into the Sonar solution, we’ll help redefine the SDLC, supercharging developers to build better, faster. More here: bit.ly/3X9UT3H

Excited to join UCL @uclcs as a Lecturer (aka Assistant Professor) starting in Spring 2025. I'm looking forward to collaborating with amazing colleagues @f_sarro, and looking for 25Fall PhD students to work on multimodal agentic coding. If you're interested, drop me an email!


PACMPL (POPL, PLDI, OOPSLA, ICFP) papers should have a limit of 10 pages. We already write them this way (section 2 is basically the paper at this point) and all the details should go in appendix. Writing this way would make our work accessible outside of our community.



Several Linux Kernel Driver Maintainers Removed Due To Their Association To Russia phoronix.com/news/Russian-L…




@rshariffdeen is presenting the results of the 1st @APRComp #APR2024 #ICSE2024


We’re up against LLMs, IDEs, and pastel de nata on a beautiful Saturday in Lisbon, but #APR2024 is still more than healthily attended and I’m looking forward to a very fun day. #icse2024