publications

Chronological list of publications, for the latest list check Google Scholar.

2024

  1. Journal
    Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults
    Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, and Lui Sha
    Software Testing, Verification and Reliability, 2024
  2. Conference
    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, and Lui R Sha
    In AIAA SCITECH 2024 Forum , 2024
  3. Journal
    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, and Tarek Abdelzaher
    Communications of the ACM, 2024

2023

  1. Journal
    System Auditing for Real-Time Systems
    Ayoosh Bansal, Anant Kandikuppa, Monowar Hasan, Chien-Ying Chen, Adam Bates, and Sibin Mohan
    ACM Transactions on Privacy and Security (TOPS), Sep 2023
  2. Journal
    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, and Lui Sha
    ACM Transactions on Cyber-Physical Systems, Sep 2023

2022

  1. Preprint
    Ellipsis: Towards Efficient System Auditing for Real-Time Systems
    Ayoosh Bansal, Anant Kandikuppa, Chien-Ying Chen, Monowar Hasan, Adam Bates, and Sibin Mohan
    arXiv preprint arXiv:2208.02699, Sep 2022
  2. Conference
    Verifiable obstacle detection
    Ayoosh Bansal, Hunmin Kim, Simon Yu, Bo Li, Naira Hovakimyan, Marco Caccamo, and Lui Sha
    In 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) , Sep 2022
  3. Preprint
    Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles
    Ayoosh Bansal, Simon Yu, Hunmin Kim, Bo Li, Naira Hovakimyan, Marco Caccamo, and Lui Sha
    arXiv preprint arXiv:2209.01710, Sep 2022
  4. Conference
    Towards Efficient Auditing for Real-Time Systems
    Ayoosh Bansal, Anant Kandikuppa, Chien-Ying Chen, Monowar Hasan, Adam Bates, and Sibin Mohan
    In European Symposium on Research in Computer Security , Sep 2022

2021

  1. Conference
    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, and Lui Sha
    In 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’21) , Sep 2021
  2. Conference
    Risk Ranked Recall: Collision Safety Metric for Object Detection Systems in Autonomous Vehicles
    Ayoosh Bansal, Jayati Singh, Micaela Verucchi, Marco Caccamo, and Lui Sha
    In 2021 10th Mediterranean Conference on Embedded Computing (MECO) , Sep 2021
  3. Journal
    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, and Tarek Abdelzaher
    IEEE Transactions on Computers, Sep 2021
  4. Preprint
    Lidar cluster first and camera inference later: A new perspective towards autonomous driving
    Jiyang Chen, Simon Yu, Rohan Tabish, Ayoosh Bansal, Shengzhong Liu, Tarek Abdelzaher, and Lui Sha
    arXiv preprint arXiv:2111.09799, Sep 2021

2020

  1. Conference
    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, and Tarek Abdelzaher
    In 2020 IEEE Real-Time Systems Symposium (RTSS) , Sep 2020
  2. Conference
    Reconciling predictability and coherent caching
    Ayoosh Bansal, Jayati Singh, Yifan Hao, Jen-Yang Wen, Renato Mancuso, and Marco Caccamo
    In 2020 9th Mediterranean Conference on Embedded Computing (MECO) , Sep 2020

2019

  1. Preprint
    Sidebar: Scratchpad Based Communication Between CPUs and Accelerators
    Ayoosh Bansal, Chance Coats, Evan Lissoos, and Benjamin Schreiber
    arXiv preprint arXiv:1910.10794, Sep 2019

2018

  1. Conference
    Evaluating the memory subsystem of a configurable heterogeneous mpsoc
    Ayoosh Bansal, Rohan Tabish, Giovani Gracioli, Renato Mancuso, Rodolfo Pellizzoni, and Marco Caccamo
    In Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT) , Sep 2018

2015

  1. Conference
    Thermal extension of the total bandwidth server
    Rehan Ahmed, Ayoosh Bansal, Bhuvana Kakunoori, Parameswaran Ramanathan, and Kewal K Saluja
    In 2015 28th International Conference on VLSI Design , Sep 2015