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 pageIn 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 pageIn Proceedings of SPLASH/OOPSLA, Chicago, USA, October 2021.
Algot: An Educational Programming Language with Human-Intuitive Visual Syntax. Sverrir Thorgeirsson and Zhendong Su. external pageIn Proceedings of VL/HCC, Saint Louis, USA, October 2021. (short paper)
Paper, August 2021:
external pageBenchmarking 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 pageThemis GitHub repo
Join us for our talk Aug 26 & Aug 27: external pageESEC/FSE 2021 Program
GAP Interviewing Series, July 2021:
Mind the GAP! external pageThe GAP Interviewing Series, hosted by external pageManuel 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 pagePlaylist on YouTube.
D-INFK Spotlights & Open Positions
external pageACM SIGOPS Blog: external pageHow Did Professors Find Their Jobs? Part 1: Diversity in Experiences
Paper, July 2021:
external pageUnderstanding 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 pageSANRAZOR: 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 pageSanRazor repo | external pageSlides (pdf)
Membership to the Academia Europaea, June 2021
We are happy to share that Zhendong Su has been elected to the external pageAcademia 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 pageAcademie Europaea announcement | external pageList 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 pageGoogle Open Source Peer Bonus. Congratulations to external pageDominik Winterer, external pageChengyu Zhang and Zhendong Su! Project page: Yin-Yang for SMT Solvers
Paper, March 2021
external pageTesting 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 pageManuel Rigger and Arpan Gujarati were invited to share their practices and experience on preparing award-winning systems research artifacts in the recent external pageACM SIGOPS blog post.