Ayoosh Bansal

According to our database, Ayoosh Bansal authored at least 20 papers between 2015 and 2024.

Collaborative distances:

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

2024

Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults.

Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha

Softw. Test. Verification Reliab., September, 2024

Taming Algorithmic Priority Inversion in Mission-Critical Perception Pipelines.

Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher

Commun. ACM, February, 2024

Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis.

Ayoosh Bansal, Duo Wang, Mikael Yeghiazaryan, Yangge Li, Chuyuan Tao, Hyung-Jin Yoon, Prateek Arora, Christos Papachristos, Petros G. Voulgaris, Sayan Mitra, Lui Sha, Naira Hovakimyan

CoRR, 2024

Bayesian Data Augmentation and Training for Perception DNN in Autonomous Aerial Vehicles.

Ashik E. Rasul, Humaira Tasnim, Hyung-Jin Yoon, Ayoosh Bansal, Duo Wang, Naira Hovakimyan, Lui Sha, Petros G. Voulgaris

CoRR, 2024

2023

System Auditing for Real-Time Systems.

Ayoosh Bansal, Anant Kandikuppa, Monowar Hasan, Chien-Ying Chen, Adam Bates, Sibin Mohan

ACM Trans. Priv. Secur., November, 2023

SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors.

Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha

ACM Trans. Cyber Phys. Syst., January, 2023

Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing.

Ayoosh Bansal, Yang Zhao, James Zhu, Sheng Cheng, Yuliang Gu, Hyung-Jin Yoon, Hunmin Kim, Naira Hovakimyan, Lui Sha

CoRR, 2023

2022

Real-Time Task Scheduling for Machine Perception in Intelligent Cyber-Physical Systems.

Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Huajie Shao, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher

IEEE Trans. Computers, 2022

Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles.

Ayoosh Bansal, Simon Yu, Hunmin Kim, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha

CoRR, 2022

Ellipsis: Towards Efficient System Auditing for Real-Time Systems.

Ayoosh Bansal, Anant Kandikuppa, Chien-Ying Chen, Monowar Hasan, Adam Bates, Sibin Mohan

CoRR, 2022

Verifiable Obstacle Detection.

Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, Lui Sha

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Towards Efficient Auditing for Real-Time Systems.

Ayoosh Bansal, Anant Kandikuppa, Chien-Ying Chen, Monowar Hasan, Adam Bates, Sibin Mohan

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

LiDAR Cluster First and Camera Inference Later: A New Perspective Towards Autonomous Driving.

Jiyang Chen, Simon Yu, Rohan Tabish, Ayoosh Bansal, Shengzhong Liu, Tarek F. Abdelzaher, Lui Sha

CoRR, 2021

SchedGuard: Protecting against Schedule Leaks Using Linux Containers.

Jiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles.

Ayoosh Bansal, Jayati Singh, Micaela Verucchi, Marco Caccamo, Lui Sha

Proceedings of the 10th Mediterranean Conference on Embedded Computing, 2021

2020

On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines.

Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha, Tarek F. Abdelzaher

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Reconciling Predictability and Coherent Caching.

Ayoosh Bansal, Jayati Singh, Yifan Hao, Jen-Yang Wen, Renato Mancuso, Marco Caccamo

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

2019

Sidebar: Scratchpad Based Communication Between CPUs and Accelerators.

Ayoosh Bansal, Chance Coats, Evan Lissoos, Benjamin Schreiber

CoRR, 2019

Cache Where you Want! Reconciling Predictability and Coherent Caching.

Ayoosh Bansal, Jayati Singh, Yifan Hao, Jen-Yang Wen, Renato Mancuso, Marco Caccamo

CoRR, 2019

2015

Thermal Extension of the Total Bandwidth Server.

Rehan Ahmed, Ayoosh Bansal, Bhuvana Kakunoori, Parameswaran Ramanathan, Kewal K. Saluja

Proceedings of the 28th International Conference on VLSI Design, 2015