Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Mon 9 May 2022 20:15 - 20:20 at ICSE room 3-even hours - Reliability and Safety 3 Chair(s): Antonio Filieri
Tue 10 May 2022 04:25 - 04:30 at ICSE room 1-even hours - Reliability and Safety 1 Chair(s): Cristian Cadar
Wed 25 May 2022 09:30 - 09:35 at Room 304+305 - Papers 3: Reliability and Safety Chair(s): Cristian Cadar

Brain-computer interfaces (BCIs) are systems that span hardware and software, and record and decode neural signals from the brain and/or stimulate the brain with encoded neural signals. BCIs have a wide range of applications in restorative medicine, from restoring movement through prostheses and robotic limbs to restoring communication through spellers and restoring sensation. BCIs also have applications in diagnostic medicine where detection of sleep patterns or emotion can provide valuable information for clinicians. Despite their promise, BCIs have not yet been adopted for longterm, day-to-day usage because of challenges in achieving robustness and performance that would allow safe operation in all possible scenarios. Ensuring safe operation currently requires hours of manual data collection and recalibration, involving both patients and clinicians. Furthermore, data collection is not carried out in a way that attempts to eliminate specific faults in a BCI system. This paper presents a new framework for characterizing, detecting, and localizing faults in BCIs. We propose partial test oracles as a method for detecting faults and data-slicing functions as a method for localizing faults to relevant slices of the input and performed tasks. Through targeted data collection and retraining using these slicing functions, the proposed approach improves the correctness of a BCI neural decoder. We evaluate our approach on 5 different BCI systems and show that the approach precisely captures faults and can significantly reduce the frequency of faults in the BCIs. These results suggest that the proposed framework is a promising step towards repairing faulty BCIs.

Mon 9 May

Displayed time zone: Eastern Time (US & Canada) change

20:00 - 21:00
Reliability and Safety 3Technical Track at ICSE room 3-even hours
Chair(s): Antonio Filieri Imperial College London
20:00
5m
Talk
Promal: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning
Technical Track
Changlin Liu Case Western Reserve University, Hanlin Wang Case Western Reserve University, Tianming Liu Monash Univerisity, Diandian Gu Peking University, Yun Ma Peking University, Haoyu Wang Huazhong University of Science and Technology, China, Xusheng Xiao Case Western Reserve University
DOI Pre-print Media Attached
20:05
5m
Talk
EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries
Technical Track
Jiannan Wang Purdue University, Thibaud Lutellier University of Waterloo, Shangshu Qian Purdue University, Hung Viet Pham University of Waterloo, Lin Tan Purdue University
Pre-print Media Attached
20:10
5m
Talk
DeepTraLog: Trace-Log Combined Microservice Anomaly Detection through Graph-based Deep Learning
Technical Track
Chenxi Zhang Fudan University, Xin Peng Fudan University, Chaofeng Sha Fudan University, Ke Zhang Fudan University, Zhenqing Fu Fudan University, Xiya Wu Fudan University, Qingwei Lin Microsoft Research, Dongmei Zhang Microsoft Research
Pre-print Media Attached
20:15
5m
Talk
Repairing Brain-Computer Interfaces with Fault-based Data Acquisition
Technical Track
Cailin Winston University of Washington, Caleb Winston University of Washington, Chloe N Winston University of Washington, Claris Winston University of Washington, Cleah Winston , Rajesh PN Rao University of Washington, René Just University of Washington
Pre-print Media Attached
20:20
5m
Talk
PReach: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements
Technical Track
Seemanta Saha University of California Santa Barbara, Mara Downing University of California, Santa Barbara, Tegan Brennan , Tevfik Bultan University of California, Santa Barbara
Pre-print Media Attached

Tue 10 May

Displayed time zone: Eastern Time (US & Canada) change

04:00 - 05:00
Reliability and Safety 1Technical Track / SEIP - Software Engineering in Practice at ICSE room 1-even hours
Chair(s): Cristian Cadar Imperial College London, UK
04:00
5m
Talk
Automatically Identifying Shared Root Causes of Test Breakages in SAP HANA
SEIP - Software Engineering in Practice
Gabin An KAIST, Juyeon Yoon Korea Advanced Institute of Science and Technology, Jeongju Sohn University of Luxembourg, Jingun Hong SAP Labs, Dongwon Hwang SAP Labs, Shin Yoo KAIST
Pre-print Media Attached
04:05
5m
Talk
Record and Replay of Online Traffic for Microservices with Automatic Mocking Point Identification
SEIP - Software Engineering in Practice
Jiangchao Liu Ant Group, Jierui Liu Ant Group, Peng Di Ant Group, Alex X. Liu Ant Group, Zexin Zhong Ant Group; University of Technology Sydney
Pre-print Media Attached
04:10
5m
Talk
DeepTraLog: Trace-Log Combined Microservice Anomaly Detection through Graph-based Deep Learning
Technical Track
Chenxi Zhang Fudan University, Xin Peng Fudan University, Chaofeng Sha Fudan University, Ke Zhang Fudan University, Zhenqing Fu Fudan University, Xiya Wu Fudan University, Qingwei Lin Microsoft Research, Dongmei Zhang Microsoft Research
Pre-print Media Attached
04:15
5m
Talk
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR
Technical Track
Dirk Beyer LMU Munich, Germany, Jan Haltermann University of Oldenburg, Thomas Lemberger LMU Munich, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Pre-print Media Attached
04:20
5m
Talk
Precise Divide-By-Zero Detection with Affirmative Evidence
Technical Track
Yiyuan Guo The Hong Kong University of Science and Technology, Ant Group, Jinguo Zhou Ant Group, Peisen Yao The Hong Kong University of Science and Technology, Qingkai Shi Ant Group, Charles Zhang Hong Kong University of Science and Technology
DOI Pre-print Media Attached
04:25
5m
Talk
Repairing Brain-Computer Interfaces with Fault-based Data Acquisition
Technical Track
Cailin Winston University of Washington, Caleb Winston University of Washington, Chloe N Winston University of Washington, Claris Winston University of Washington, Cleah Winston , Rajesh PN Rao University of Washington, René Just University of Washington
Pre-print Media Attached

Wed 25 May

Displayed time zone: Eastern Time (US & Canada) change

09:30 - 10:30
Papers 3: Reliability and SafetyTechnical Track / NIER - New Ideas and Emerging Results at Room 304+305
Chair(s): Cristian Cadar Imperial College London, UK
09:30
5m
Talk
Repairing Brain-Computer Interfaces with Fault-based Data Acquisition
Technical Track
Cailin Winston University of Washington, Caleb Winston University of Washington, Chloe N Winston University of Washington, Claris Winston University of Washington, Cleah Winston , Rajesh PN Rao University of Washington, René Just University of Washington
Pre-print Media Attached
09:35
5m
Talk
Automating Staged Rollout with Reinforcement Learning
NIER - New Ideas and Emerging Results
Shadow Pritchard University of Tulsa, Vidhyashree Nagaraju University of Tulsa, Lance Fiondella University of Massachusetts Dartmouth
Pre-print File Attached
09:40
5m
Talk
PReach: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements
Technical Track
Seemanta Saha University of California Santa Barbara, Mara Downing University of California, Santa Barbara, Tegan Brennan , Tevfik Bultan University of California, Santa Barbara
Pre-print Media Attached
09:45
5m
Talk
DeepStability: A Study of Unstable Numerical Methods and Their Solutions in Deep Learning
Technical Track
Eliska Kloberdanz Iowa State University, Kyle Kloberdanz Cape Privacy, Wei Le Iowa State University
Pre-print Media Attached
09:50
5m
Talk
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Technical Track
Boyue Caroline Hu University of Toronto, Lina Marsso University of Toronto, Krzysztof Czarnecki University of Waterloo, Canada, Rick Salay University of Toronto, Huakun Shen University of Toronto, Marsha Chechik University of Toronto
DOI Pre-print Media Attached
09:55
5m
Talk
TOGA: A Neural Method for Test Oracle GenerationDistinguished Paper Award
Technical Track
Elizabeth Dinella , Gabriel Ryan Columbia University, USA, Todd Mytkowicz Microsoft Research, Shuvendu K. Lahiri Microsoft Research
DOI Pre-print Media Attached

Information for Participants
Mon 9 May 2022 20:00 - 21:00 at ICSE room 3-even hours - Reliability and Safety 3 Chair(s): Antonio Filieri
Info for room ICSE room 3-even hours:

Click here to go to the room on Midspace

Tue 10 May 2022 04:00 - 05:00 at ICSE room 1-even hours - Reliability and Safety 1 Chair(s): Cristian Cadar
Info for room ICSE room 1-even hours:

Click here to go to the room on Midspace