Sayali Kate

According to our database, Sayali Kate authored at least 7 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

ROSCallBaX: Statically Detecting Inconsistencies in Callback Function Setup of Robotic Systems.

Sayali Kate, Yifei Gao, Shiwei Feng, Xiangyu Zhang

Proc. ACM Softw. Eng., 2025

EffiTune: Diagnosing and Mitigating Training Inefficiency for Parameter Tuner in Robot Navigation System.

Shiwei Feng, Xuan Chen, Zikang Xiong, Zhiyuan Cheng, Yifei Gao, Siyuan Cheng, Sayali Kate, Xiangyu Zhang

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

2024

DIGIMON: Diagnosis and Mitigation of Sampling Skew for Reinforcement Learning based Meta-Planner in Robot Navigation.

Shiwei Feng, Xuan Chen, Zhiyuan Cheng, Zikang Xiong, Yifei Gao, Siyuan Cheng, Sayali Kate, Xiangyu Zhang

CoRR, 2024

2021

PHYSFRAME: type checking physical frames of reference for robotic systems.

Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles.

Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles.

Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2018

Phys: probabilistic physical unit assignment and inconsistency detection.

Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian G. Elbaum, Zhaogui Xu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018