Contact

All Stories

  1. Designing, Developing and Deploying an Enterprise Scale Network Monitoring System

    Article • February 2022, ACM (Association for Computing Machinery)

    Kunal Banerjee

  2. From Pixels to Words

    Article • October 2021, ACM (Association for Computing Machinery)

    Kunal Banerjee, Pranay Dugar

  3. A Counter-Example Generation Procedure for Path based Equivalence

    Article • IET Software, September 2018, the Institution of Engineering and Technology (the IET)

    Kunal Banerjee

  4. Determining whether two programs are equivalent in the presence of data-race

    Article • June 2016, ACM (Association for Computing Machinery)

    Kunal Banerjee