iMLSE 2018

Workshop Program

Now the slides for the opening session and the keynote are available!

• 9:30-10:30 Opening: "Introduction of iMLSE, SEMLA and MLSE"
  Fuyuki Ishikawa, Foutse Khomh, Giuliano Antoniol, Nobukazu Yoshioka.
  Slides: MLSE
  Slides: SEMLA
• 10:30-11:00 coffee break
• 11:00-12:30 Research papers and Position talks
  • "Simplified Influence Evaluation of Additional Training on Deep Neural Networks" (20 min.)
    Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa and Hideto Ogawa.
  • "Guaranteeing Deep Neural Network Outputs in a Feasible Region" (20 min.)
    Hiroshi Maruyama.
  • "Dataflow Visualization using ASCII DAG"(15 min.)
    Junji Hashimoto.
  • "Toward New Definitions of Equivalence in Verifying Deep Learning Compilers"(15 min.)
    Takeo Imai.
  • Discussion(20 min.)
• 12:30-14:00 lunch
• 14:00-15:30 Keynote: Towards Testing of Deep Learning Systems by Professor Jianjun Zhao (Kyushu University)
  paper, Slides
• 15:30-16:00 Coffee break
• 16:00-17:30 Discussion and Closing
  (problem statements by Susumu Tokumoto (Fujitsu), Hideto Ogaawa (Hitachi), and Hirohsi Maruyama (PFN)
• 18:30-20:30 Social gathering at The Olive Dining

Summary of iMLSE-18: The 1st International Workshop on Machine Learning Systems Engineering

Keynote Speech

Professor Jianjun Zhao (Kyushu University)

Title: Towards Testing of Deep Learning Systems
Biography: Jianjun Zhao is a professor at the Faculty of Information Science and Electrical Engineering, Kyushu University. He received his BE degree in Computer Science from Tsinghua University in 1987 and PhD degree in Computer Science from Kyushu University in 1997. He had been a visiting scientist in MIT Laboratory for Computer Science from April 2002 to March 2003. His main research interest is software engineering and programming language, in particular robust deep learning systems, program analysis and verification, automatic programming, software testing, debugging, and programming environments. He has published more than 80 research papers in conferences such as ICSE, FSE, ASE, PLDI, ECOOP and ISSTA. He obtained the ACM SIGSOFT Distinguished Paper Award of ASE 2018 and the Best Paper Candidate Award of SANER 2016.