The following posters have been accepted:

  • Shubham Sharma, Subhajit Roy, Mate Soos and Kuldeep S. Meel. - GANAK: A Scalable Probabilistic Exact Model Counter
  • Aakanksha Verma, Pankaj Kumar Kalita, Awanish Pandey and Subhajit Roy. - Interactive Debugging of Concurrent Programs under Relaxed Memory Models
  • Priyanka Golia, Kuldeep S. Meel and Subhajit Roy. - A Data Driven Approach for Boolean Function Synthesis
  • Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel and Prateek Saxena. - Quantitative Verification of Neural Networks and Its Security Applications
  • Srinidhi Nagendra. - Verification of Move Smart Contracts
  • Sheerazuddin S. - Bounded Model Checking of Systems with Unbounded Agents
  • Hitarth Singh and Bhishmaraj S. - Tool for analysis of Array Manipulating Programs using Rosette
  • Divyesh Unadkat - Verifying Array Programs with Full-program Induction
  • Shetal Shah - On Boolean Function Synthesis