SPAR Seminar (2018 Fall)

16:00-17:00, Every Tuesday, Room 229

Discuss software engineering, programming language, and system papers that have novel and significant contributions. Tool tutorials are also welcomed.

Upcoming Talks

  • (Dec 4) Chenxi Zhang: Using Finite-State Models for Log Differencing [FSE 18].
  • Cong Li
  • Yanxiang Tong; Xianfei Ou
  • Wenjie Li
  • Weiyu Ye; Huiyan Wang
  • Qingwei Sun

Past Talks

  • (Sep 11) Jinci Chen: Avoiding the Familiar to Speed Up Test Case Reduction [QRS 18]; Rui Qiu: Learning to Prioritize Test Programs for Compiler Testing [ICSE 17].
  • (Sep 18) Zenan Li: DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems [ASE 18].
  • (Sep 25) Di Huang: SEEDE: Simultaneous Execution and Editing in a Development Environment [ASE 18]; Yi Liu: Efficiently Manifesting Asynchronous Programming Errors in Android Apps [ASE 18].
  • (Oct 9) Yuehuan Wang: DeepMutation: Mutation Testing of Deep Learning Systems [ISSRE 18].
  • (Oct 16) Jingxin Fan: Software Performance Self-Adaptation through Efficient Model Predictive Control [ASE 17]; Da Li: Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions [ASE 18].
  • (Oct 23) Zelin Zhao: Disjunctive Program Synthesis: a Robust Approach to Programming by Example [AAAI 2018].
  • (Oct 30) Yuju Shen: A Symbolic Model Checking Approach to the Analysis of String and Length Constraints [ASE 18]; Jue Wang: Towards Model Checking Android Applications [TSE 18].
  • (Nov 6) Dawei Cheng: DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems [ASE 18].
  • (Nov 13) Shaocong Liu: Neural-Augmented Static Analysis of Android Communication [FSE 18]; Dongjie Chen: Why is Random Testing Effective for Partition Tolerance Bugs? [POPL 18].
  • (Nov 20) Yang Cao: T-Fuzz: Fuzzing by Program Transformation [SP 18].
  • (Nov 27) Fengmin Shi: ExceLint: Automatically Finding Spreadsheet Formula Errors [OOPSLA 18].

Seminar Archive

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.