Chengnian Sun

33 posts

Chengnian Sun

Chengnian Sun

@Chengnian

Associate Professor of Computer Science at University of Waterloo, working on software engineering and programming languages.

เข้าร่วม Eylül 2011
95 กำลังติดตาม116 ผู้ติดตาม
Zhendong Su
Zhendong Su@zhendongsu·
Honored by this nice recognition, and most grateful to my students and collaborators, my mentors, and my nominator and endorsers! Congrats also to my @ETH_en colleagues @thoefler and @mapo1, and all the other newly named fellows! @CSatETH @ast_eth
ETH CS Department@CSatETH

Big congratulations to our Professors @thoefler, @mapo1 and @zhendongsu on being named 2022 ACM Fellows! The distinction recognises their extensive research contributions to computer and information technology. Well done! bit.ly/3J2cyEp @TheOfficialACM @ETH_en #Awards

English
31
8
185
24.3K
Alastair Donaldson
Alastair Donaldson@afd_icl·
I love this clang-tidy warning: Missing username in TODO; it should look like "// TODO(my_username): Stuff." [readability/todo]
English
1
0
9
0
Manuel Rigger
Manuel Rigger@RiggerManuel·
Thanks to everyone in the @ast_eth lab. It has been quite a ride! I can't imagine a better mentor than @zhendongsu, who has been fantastic in every aspect, as a mentor, visionary, researcher, and friend. He has set an exceptional example, which will guide me in the future.
Manuel Rigger tweet media
English
3
0
95
0
Chengnian Sun
Chengnian Sun@Chengnian·
@cristalopes They checked in my luggage without labelling it in 2018. And my luggage was lost for months. Fortunately after tons of phone calls from me, they found it. Still the worst travel experience on my list.
English
0
0
0
0
Crista Lopes
Crista Lopes@cristalopes·
In 30 years of traveling, I’m having the worst trip of my life thanks to @AirCanada Absolutely awful
English
4
0
0
0
Zhendong Su
Zhendong Su@zhendongsu·
Delighted, honored & humbled by this nice recognition from the @ICSEconf community! Many great memories collaborating with brilliant students & colleagues @abramh, Earl Barr, Mark Gabel, and @devanbu---when we were all younger :) @ast_eth @CSatETH @ETH_en @UCDavisCOE @ucdavis
ETH CS Department@CSatETH

Congratulations! Prof. Zhendong Su received the ICSE Most Influential Paper Award for the paper "On the Naturalness of Software". The paper emerged from a collaboration with former students and colleagues at @ucdavis. bit.ly/3qyE6XD

English
14
3
141
0
Chengnian Sun รีทวีตแล้ว
Zhendong Su
Zhendong Su@zhendongsu·
Our Yin-Yang tool for testing SMT solvers is now on GitHub! Please contact us for any comments, issues, and feature requests --- we'd love to see the tool used and built upon! @DominikWinterer @chengyuzh @testsmtsolvers
yinyang-project@testsmtsolvers

We are proud and excited to open-source Yin-Yang for testing SMT solvers at github.com/testsmt/yinyang. It is an umbrella release with both Semantic Fusion and OpFuzz from our PLDI and OOPSLA papers. The tool has already found 1,000+ bugs in Z3 and CVC4. Please check it out!

English
0
2
14
0

ค้นพบ

@zyxu97 @issta_conf @HUSTzmx @tan_hwei @eeide @PLDI @creduce @UWCheritonCS