Sergey Mechtaev (@sergey_mechtaev) 's Twitter Profile
Sergey Mechtaev

@sergey_mechtaev

Assistant Professor @PKUCS1978

ID: 786443353625759745

calendar_today13-10-2016 05:48:01

47 Tweet

146 Followers

123 Following

APR@ICSE'25 (@program_repair) 's Twitter Profile Photo

Join us tomorrow for the #APR2024 workshop, kicking off with a keynote from Dr. Claire Le Goues at 9 AM in Vianna da Motta. Excited to connect with the APR community at #ICSE2024

Ridwan Shariffdeen (@rshariffdeen) 's Twitter Profile Photo

Not the best 4to, but this concludes months of efforts in organising the first APR competition. Thanks to all advices from the community, the participants and the wondrful org team Abhik Roychoudhury Yannic Noller (@yannicnoller.bsky.social) Martin Mirchev Andreea Costea Gao Xiang, Greg and Haifeng #apr #icse

APR@ICSE'25 (@program_repair) 's Twitter Profile Photo

APR'25 will be co-located with ICSE 2025! Organized by He Ye (CMU), @clarkcp93 (ByteDance), Sergey Mechtaev (PKU), Tegawendé Bissyandé (Uni. of Luxembourg) Top papers invited to a special issue on APR in ASE journal after revision. program-repair.org/workshop-2025/ #APR2025

Yannic Noller (@yannicnoller.bsky.social) (@yannicnoller) 's Twitter Profile Photo

Zhiyu Fan (Zhiyu Fan) from NUS PLSE@NUS presenting his latest achievements in trustworthy code generation at ISSTA Conference 2024! Check their work “Oracle-Guided Program Selection from Large Language Models” doi.org/10.1145/365021…

Zhiyu Fan (<a href="/zhiyufans/">Zhiyu Fan</a>) from <a href="/NUSingapore/">NUS</a> <a href="/nus_plse/">PLSE@NUS</a> presenting his latest achievements in trustworthy code generation at <a href="/issta_conf/">ISSTA Conference</a> 2024! Check their work “Oracle-Guided Program Selection from Large Language Models” doi.org/10.1145/365021…
Sergey Mechtaev (@sergey_mechtaev) 's Twitter Profile Photo

I've used Linux since school, naively believing it is guided by technical excellence, no-nonsense attitude, and respect for users and developers. It's time to switch to Mac, and seek purity elsewhere, like charcoal drawing or Chinese literature.

APR@ICSE'25 (@program_repair) 's Twitter Profile Photo

Excited to announce our keynote speakers for this year: Baishakhi Ray (Baishakhi Ray) and Bertrand Meyer (Bertrand Meyer)! Don't forget—the APR submission deadline is coming up fast on November 11.

Sergey Mechtaev (@sergey_mechtaev) 's Twitter Profile Photo

ICSE/FSE/ASE papers should be 4-5 pages, not 10-11. Shorter papers encourage creative research for wider audience, which is the point of software engineering. Plus, reviewers rarely thoroughly read 10-page papers.

Sergey Mechtaev (@sergey_mechtaev) 's Twitter Profile Photo

Joining the group of a young, energetic researcher is a recipe for success of your PhD. Consider PhD opportunities on Multimodal Agentic Coding with Prof. Ye He.

APR@ICSE'25 (@program_repair) 's Twitter Profile Photo

Excited to announce #APR2025 program: program-repair.org/workshop-2025/ ✅ 11 papers 🎤 2 keynotes 📅 April 29, 2025 📍 ICSE in Ottawa, Canada

Sergey Mechtaev (@sergey_mechtaev) 's Twitter Profile Photo

Peking University's summer school for international students is an opportunity to explore cutting-edge CS research and learn about Chinese culture. Deadline: April 20, 2025 Peking University School of Computer Science

Peking University's summer school for international students is an opportunity to explore cutting-edge CS research and learn about Chinese culture. Deadline: April 20, 2025 <a href="/PKUCS1978/">Peking University School of Computer Science</a>
Sergey Mechtaev (@sergey_mechtaev) 's Twitter Profile Photo

Prompting is the new programming, but NL suffers from ambiguity. SpecFix (ASE'25) is the first to automatically repair ambiguous programming problem descriptions, resulting in ↑ Pass@k, and its repairs generalizing across models. arxiv.org/abs/2505.07270 github.com/msv-lab/SpecFix

Prompting is the new programming, but NL suffers from ambiguity. SpecFix (ASE'25) is the first to automatically repair ambiguous programming problem descriptions, resulting in ↑ Pass@k, and its repairs generalizing across models.

arxiv.org/abs/2505.07270
github.com/msv-lab/SpecFix
He Ye (@ye_he_ye) 's Twitter Profile Photo

Attending OOPSLA/ICFP 2025 in Singapore? 🌏✈️ JOIN us on October 15th, we warmly welcome you to join the Workshop on Language Models for Programming Languages (LMPL) co-hosted at SPLASH 2025 ! 👉conf.researchr.org/home/icfp-spla… 🔥This year we are excited to have accepted 22 papers! 🥳

Sergey Mechtaev (@sergey_mechtaev) 's Twitter Profile Photo

While LLMs excel at code generation, they struggle with code reasoning. HoarePrompt (ICSE'26) improves reasoning about program correctness by structuring chain-of-thought using principles from formal verification. arxiv.org/abs/2503.19599 github.com/msv-lab/HoareP…

While LLMs excel at code generation, they struggle with code reasoning. HoarePrompt (ICSE'26) improves reasoning about program correctness by structuring chain-of-thought using principles from formal verification.

arxiv.org/abs/2503.19599
github.com/msv-lab/HoareP…