Guancheng Wang (@amocy_w) 's Twitter Profile
Guancheng Wang

@amocy_w

Researcher @LeroCentre. Program Analysis, Software Engineering, and Machine Learning.

ID: 2342963430

calendar_today14-02-2014 02:59:48

62 Tweet

92 Followers

340 Following

POPL 2025 (@poplconf) 's Twitter Profile Photo

#POPL2019 conditionally accepted papers are online: popl19.sigplan.org/track/POPL-201… Excited? Registration is open! popl19.sigplan.org/attending/Regi…

ISSTA Conference (@issta_conf) 's Twitter Profile Photo

The main conference of ISSTA starts today. Do not miss the opening by Dongmei and keynote by Mark Harman starting at 9:00 at the Grand Ballroom on the third floor. #Grand Ballroom.

The main conference of ISSTA starts today. Do not miss the opening by Dongmei and keynote by Mark Harman starting at 9:00 at the Grand Ballroom on the third floor. #Grand Ballroom.
Rohan Padhye (@moarbugs) 's Twitter Profile Photo

Me in 2010 (undergrad): I will never need LR parsers after this class 2013 (masters): Need to relearn LR parsing to grade exams 2016: Need to relearn LR parsing for PhD prelims 2018: Need to relearn LR parsing for my office hours 2019: Need to give a lecture on LR parsing. Drats!

ASE Conference (@aseconf2019) 's Twitter Profile Photo

We just announced the papers who received a Distinguished Paper Award. 🎉🎉 Congratulations to all the authors!! 🚀 Find them here: 2019.ase-conferences.org/program/progra…

Guancheng Wang (@amocy_w) 's Twitter Profile Photo

Our paper "History-Guided Configuration Diversification for Compiler Test-Program Generation" received ASE Conference Distinguished Paper Award! Wish to see you in San Diego!✈️

Pinjia He @ ICLR 2025 (@pinjiahe) 's Twitter Profile Photo

A preprint of our ASE Conference paper "Logzip: Extracting Hidden Structures via Iterative Clustering for Log Compression" is online at arxiv.org/pdf/1910.00409… Work with Jinyang Liu, Jieming Zhu, hsl, Zibin Zheng, and Michael R. Lyu.

Guancheng Wang (@amocy_w) 's Twitter Profile Photo

(1/2) Sergey Troshin I finally saw this question by opening another tab, but I can't send anything to the chatbox. Here is the answer to your question. Delta debugging is for the case you know there is a failure, but you do not know what part of the input causes it.

Guancheng Wang (@amocy_w) 's Twitter Profile Photo

(2/2) Sergey Troshin For example, you are a compiler developer, and your compiler crashes when compiling a project with a million lines of code. How do you know which lines cause the failure?

Guancheng Wang (@amocy_w) 's Twitter Profile Photo

I've just finished the questionaire, and I am super happy to see a user study like this! For me, my research topic is about debugging. So, I hope that I can make a small contribution to #Alhazen.

Boxi Yu (@boshcavendish) 's Twitter Profile Photo

🔥 SWE-ABS accepted by ICML2026 ICML Conference 🔥 OpenAI OpenAI showed SWE-Bench SWE-bench tests reject correct patches. We reveal the other side: they also accept wrong ones. SWE-ABS strengthens SWE-Bench (Verified & Pro) via: coverage-driven tests + mutation-based attacks.

🔥 SWE-ABS accepted by ICML2026 <a href="/icmlconf/">ICML Conference</a>  🔥  

OpenAI <a href="/OpenAI/">OpenAI</a> showed SWE-Bench <a href="/SWEbench/">SWE-bench</a>  tests reject correct patches.  
We reveal the other side: they also accept wrong ones.

SWE-ABS strengthens SWE-Bench (Verified &amp; Pro) via:
coverage-driven tests + mutation-based attacks.