Repairing Brain-Computer Interfaces with Fault-based Data Acquisition
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 MayDisplayed 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 MayDisplayed 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 |