Thermal Extension of the Total Bandwidth Server. - Rehan Ahmed; Ayoosh Bansal; Bhuvana Kakunoori; Parameswaran Ramanathan; Kewal K. Saluja (VLSID, 2015)

Cache Where you Want! Reconciling Predictability and Coherent Caching. - Ayoosh Bansal; Jayati Singh; Yifan Hao; Jen-Yang Wen; Renato Mancuso 001; Marco Caccamo (CoRR, 2019)

Sidebar: Scratchpad Based Communication Between CPUs and Accelerators. - Ayoosh Bansal; Chance Coats; Evan Lissoos; Benjamin Schreiber 001 (CoRR, 2019)

Reconciling Predictability and Coherent Caching. - Ayoosh Bansal; Jayati Singh; Yifan Hao; Jen-Yang Wen; Renato Mancuso 001; Marco Caccamo (MECO, 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 (RTSS, 2020)

Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles. - Ayoosh Bansal; Jayati Singh; Micaela Verucchi; Marco Caccamo; Lui Sha (MECO, 2021)

SchedGuard: Protecting against Schedule Leaks Using Linux Containers. - Jiyang Chen; Tomasz Kloda; Ayoosh Bansal; Rohan Tabish; Chien-Ying Chen; Bo Liu 044; Sibin Mohan; Marco Caccamo; Lui Sha (RTAS, 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)

Towards Efficient Auditing for Real-Time Systems. - Ayoosh Bansal; Anant Kandikuppa; Chien-Ying Chen; Monowar Hasan; Adam Bates 001; Sibin Mohan (ESORICS (3), 2022)

Verifiable Obstacle Detection. - Ayoosh Bansal; Hunmin Kim; Simon Yu; Bo Li 026; Naira Hovakimyan; Marco Caccamo; Lui Sha (ISSRE, 2022)

Ellipsis: Towards Efficient System Auditing for Real-Time Systems. - Ayoosh Bansal; Anant Kandikuppa; Chien-Ying Chen; Monowar Hasan; Adam Bates 001; Sibin Mohan (CoRR, 2022)

Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles. - Ayoosh Bansal; Simon Yu; Hunmin Kim; Bo Li 026; Naira Hovakimyan; Marco Caccamo; Lui Sha (CoRR, 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 Perception and Control Simplex for Verifiable Safe Vertical Landing. - Ayoosh Bansal; Yang Zhao; James Zhu; Sheng Cheng 001; Yuliang Gu; Hyung-Jin Yoon; Hunmin Kim; Naira Hovakimyan; Lui Sha (CoRR, 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 044; Sibin Mohan; Marco Caccamo; Lui Sha (ACM Trans. Cyber Phys. Syst., 2023)

System Auditing for Real-Time Systems. - Ayoosh Bansal; Anant Kandikuppa; Monowar Hasan; Chien-Ying Chen; Adam Bates 001; Sibin Mohan (ACM Trans. Priv. Secur., 2023)

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)

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)

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, 2024)

Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults. - Ayoosh Bansal; Hunmin Kim; Simon Yu; Bo Li 026; Naira Hovakimyan; Marco Caccamo; Lui Sha (Softw. Test. Verification Reliab., 2024)