Wei Yang

@_onlyscott Ibrahim

Guess the player ? Level: Hardest

All those papers and awards fade away, but those relationships with students and colleagues stick forever. Work for your students, not for your papers.

@davidlo2015 @msrconf Congratulations! David

Thank you very much, @msrconf, award committee, nominator, and endorser for the help, support, and recognition, which are very much appreciated :) Thank you very much to all my mentors, students, and collaborators for the help and support :)

@OfficialACMW Congratulations! @tan_hwei

@LingmingZhang @llm4code Need to attach a tutorial: how to write a paper in two days.

🚨Just 2 days left to submit to @llm4code 2025, co-located with ICSE🚀 🎯We welcome papers on various topics, including but not limited to: 🌟LLMs/agents for coding tasks 🌟Code model design/optimization 🌟Datasets/evaluation 🔗Submit now: llm4code.github.io #LLM4Code

@AndreasZeller @issta_conf Answer: LLM cannot perform "symbolic" reasoning.

At @issta_conf this year, the least popular topic was symbolic analysis, with 0/7 submissions accepted. In totally unrelated news, „why don’t you use an LLM for that?“ appears to be the most frequent question asked by reviewers.

@GuannanWei @TuftsUniversity @caterinaurban Congratulations!

I guess now everything is almost settled — thrilled to announce that I will join the CS department at @TuftsUniversity as an assistant professor in Fall 2025. Before that, I will spend a year in the ANTIQUE team at INRIA/ENS as a postdoc, working with @caterinaurban. 1/3

Told you so. #Crowdstrike

Congratulations to all authors! (I happened to know them all!) This paper's writers workshop is the first one I have attended in @IllinoisCS SE seminars and I just missed the old days being grilled by Darko, @taoxiease and other fellow students. lol

@WenxiWang4 Congratulations! Wenxi.

Graduated! So lucky to have had Sarfraz as my PhD supervisor! UT Austin will always have my heart.

One of the first research papers I have read in my undergraduate years (15 years ago) is the IFDS framework by Prof. Reps. Later, my ICSE' 15 and ICSE' 18 papers are all developed based on it (I suppose most of interprocedural static analysis papers are based on IFDS).

@lorisdanto One of the first research papers I have read in my undergraduate years (15 years ago) is the IFDS framework by Prof. Reps.

What a legend

Thanks for all who attended the MODAL workshop yesterday @FSEconf !

Morning session of MODAL workshop (#program" target="_blank" rel="nofollow noopener">2024.esec-fse.org/home/modal-202…) @FSEconf

Some more group photos from the ceremony. Congratulations to @mirazece2015 again! Mirazul also get the doctoral dissertation award from @UTDJonsson .

@mirazece2015 @kanadbasu @ShamikKundu3 Reunion of the authors of DAC 2024 paper.

@mirazece2015 @kanadbasu @ShamikKundu3

Announcing the #ILLINOIS Siebel School of Computing and Data Science at @uofigrainger made possible with a $50 MM gift from @TomSiebel. With our #5 in-the-nation computer science program and 21 blended degree programs, the best is yet to come! 🔸🔹 ▶️ grainger.illinois.edu/news/stories/6…