Chengnian Sun

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

[Yongqiang Tian @YongqiangTian]

The presentation of our recent work with @zyxu97 and @Chengnian in program reduction, "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction", published in OOPSLA'23 is now online at https://t.co/VjdjVa4V1z

Paper & Artefact: https://t.co/QL5hC9N5y9

[Yongqiang Tian @YongqiangTian]

LPR, the first work to achieve both language generality and semantic awareness in program reduction, is just accepted by @issta_conf 2024.
Joint work with Mengxiao @HUSTzmx, Zhenyang @zyxu97, Yiwen, Shin Hwei @tan_hwei, and @Chengnian.
Preprint: https://t.co/Do3RI8lUa9

[Chengnian Sun @Chengnian]

@eeide @sigplan @PLDI @creduce Congrats, Eric.

[Chengnian Sun @Chengnian]

@UWCheritonCS @lintool @WaterlooMath @UWaterloo @UWResearch @dsg_uwaterloo @uwaterlooAI Congratulations, Jimmy.

[Chengnian Sun @Chengnian]

@zhendongsu @ETH_en @thoefler @mapo1 @CSatETH @ast_eth Congratulations, Zhendong. Well deserved.

[Chengnian Sun @Chengnian]

@migod I was watching it too.

[Zhendong Su @zhendongsu]

Excited to share that @CSatETH at @ETH_en has four tenure-track openings (System & Network Security, Software Security & Formal Methods: https://t.co/JxImq4AKzW, Educational Technology: https://t.co/YWFvXpQgma, and Visualization: https://t.co/jwxVKXNOG8); apply by Jan 8, 2023!

[Chengnian Sun @Chengnian]

@thegautamkamath @KitchLibrary Congratulations, Gautam.

[Chengnian Sun @Chengnian]

@zhendongsu is an awesome advisor to work with. My postdoc time with him was fulfilling. He has profoundly influenced every bit of my academic life in positive ways.

[Zhendong Su @zhendongsu]

Looks like a nice post-doc fellowship opportunity for 1-2 years in Switzerland; application deadline: Dec 1, 2022. If you're interested in such an opportunity and the @ast_eth lab at ETH seems a good fit, please feel free to reach out!

[Chengnian Sun @Chengnian]

We are hiring in SE this year.

[Waterloo's Cheriton School of Computer Science @UWCheritonCS]

We invite applications for tenure-track faculty positions in (1) robotics, machine learning, multiagent systems, NLP, computer vision, (2) HCI, computer-supported cooperative work, (3) SE, (4) computer graphics, (5) multidisciplinary/crossdisciplinary CS.

https://t.co/QEj1OH646O

[Chengnian Sun @Chengnian]

@johnregehr @afd_icl I like putting others' usernames in TODO, lol.

[Chengnian Sun @Chengnian]

@RiggerManuel @ast_eth @zhendongsu Zhendong looks the same as nine years ago.

[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.

[Chengnian Sun @Chengnian]

@zhendongsu @ICSEconf @abramh @devanbu @ast_eth @CSatETH @ETH_en @UCDavisCOE @ucdavis Congratulations to all of you!!!

[Chengnian Sun @Chengnian]

@UWCheritonCS @sigsoft Congratulations, Jo.

[Chengnian Sun @Chengnian]

@zhendongsu @theodortheod @Tobias_Grosser @RiggerManuel @ASPLOSConf @ast_eth @CSatETH Contratulations, Zhendong.

[Chengnian Sun @Chengnian]

@eeide @sigplan @PLDI @johnregehr Congratulations.

[Chengnian Sun @Chengnian]

@ast_eth @zhendongsu @acad_euro @ETH_en @CSatETH Congratulations, Zhendong!!! Well deserved.

[Chengnian Sun @Chengnian]

@MehrdadA Do you recommend it?

[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