News 2021
Workshop October 2021:
We enjoyed hosting this year's 8th ETH workshop on Dependable and Secure Software Systems (online) on Oct 25-26 with 8 excellent speakers. We look forward to the next workshop in Oct 2022!
Talk recordings and slides: www.sri.inf.ethz.ch/workshop2021
Papers, October 2021:
Generative Type-Aware Mutation for Testing SMT Solvers. Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su. external page In Proceedings of SPLASH/OOPSLA, Chicago, USA, October 2021.
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs. Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su. external page In Proceedings of SPLASH/OOPSLA, Chicago, USA, October 2021.
Algot: An Educational Programming Language with Human-Intuitive Visual Syntax. Sverrir Thorgeirsson and Zhendong Su. external page In Proceedings of VL/HCC, Saint Louis, USA, October 2021. (short paper)
Paper, August 2021:
external page Benchmarking Automated GUI Testing for Android against Real-world Bugs. Ting Su, Jue Wang and Zhendong Su. In Proceedings of ESEC/FSE 2021, Virtual, August 2021. external page Themis GitHub repo
Join us for our talk Aug 26 & Aug 27: external page ESEC/FSE 2021 Program
GAP Interviewing Series, July 2021:
Mind the GAP! external page The GAP Interviewing Series, hosted by external page Manuel Rigger, aims to bridge the gap of transitioning to a computer science faculty position. Recently appointed faculty share their invaluable insights and experience about the interviewing process in this new series on YouTube.
Getting Academic Positions (GAP) Interviewing Series: external page Playlist on YouTube.
D-INFK Spotlights & Open Positions
external page ACM SIGOPS Blog: external page How Did Professors Find Their Jobs? Part 1: Diversity in Experiences
Paper, July 2021:
external page Understanding and Finding System Setting-Related Defects in Android Apps. Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie and Zhendong Su. In Proceedings of ISSTA 2021, Virtual, July 2021.
Paper, July 2021:
external page SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, and Zhendong Su. In Proceedings of OSDI, Virtual, July 2021. external page SanRazor repo | external page Slides (pdf)
Membership to the Academia Europaea, June 2021
We are happy to share that Zhendong Su has been elected to the external page Academia Europaea (the Academy of Europe). The aim of the Academia Europaea is the advancement of excellence in scholarship in the humanities, law, the economic, social, and political sciences, mathematics, medicine, and all branches of natural and technological sciences anywhere in the world for the public benefit and for the advancement of the education of the public of all ages. Membership is by invitation, made only after peer group nomination, scrutiny and confirmation as to the scholarship and eminence of the individual in their chosen field. Congratulations Zhendong!
external page Academie Europaea announcement | external page List of new members 2021
Google Open Source Award, April 2021
We are excited to announce that our Yin-Yang project has been awarded a external page Google Open Source Peer Bonus. Congratulations to external page Dominik Winterer, external page Chengyu Zhang and Zhendong Su! Project page: Yin-Yang for SMT Solvers
Paper, March 2021
external page Testing Machine Translation via Referential Transparency. Pinjia He, Clara Meister, and Zhendong Su. In Proceedings of ICSE 2021, Virtual, May 23-29, 2021.
ACM SIGOPS Blogpost, January 2021
How Are Award-winning Systems Research Artifacts Prepared?
As more and more systems research conferences start to adopt artifact evaluation (AE), external page Manuel Rigger and Arpan Gujarati were invited to share their practices and experience on preparing award-winning systems research artifacts in the recent external page ACM SIGOPS blog post.