Ayoosh Bansal

PhD Candidate, Computer Science, University of Illinois Urbana-Champaign

I am passionate about crafting efficient systems to overcome complex challenges, striving to unravel intricacies with elegantly simple solutions. My problem-solving methodology revolves around harnessing expertise across diverse layers within a system, fostering collaboration among components, and prioritizing simplicity in design. This approach has empowered me to architect frameworks for safe autonomous driving, enable comprehensive security auditing for real-time systems, and mitigate execution variability stemming from cache coherence mechanisms. This research is advised by Prof. Lui Sha, at Cyber-Physical Systems Integration Lab.



Sep 12, 2023 System Auditing for Real-Time Systems accepted for ACM Transactions on Privacy and Security.
Aug 25, 2023 Synergistic Perception and Control Simplex abstract accepted for AIAA SciTech 2024.
Sep 4, 2022 Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles preprint available.
Jul 29, 2022 Verifiable Obstacle Detection accepted to appear in ISSRE 2022.
Jul 23, 2022 Towards Efficient Auditing for Real-Time Systems accepted to appear in ESORICS 2022.

selected publications


  1. Journal
    System Auditing for Real-Time Systems
    Ayoosh Bansal, Anant Kandikuppa, Monowar Hasan, Chien-Ying Chen, Adam Bates, and Sibin Mohan
    ACM Trans. Priv. Secur., Sep 2023


  1. 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
  2. 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


  1. 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