Venue: F.C. Kohli Auditorium, KReSIT Building.
The abstract booklet is here
Presenter | Title |
---|---|
Vrunda Dave | Computability of Regular Functions over Infinite Words is Decidable |
Saptarshi Sarkar | Block Products for Algebra over Countable Words and Applications to Logic |
Sparsa Roychowdhury | Efficient Underapproximate Reachability for Timed Multipushdown Systems |
Divyesh Unadkat | Verifying Array Manipulating Programs by Full-program Induction |
Anshuman Dhuliya | Synergistic Program ANalyzer (SPAN) |
Omkarendra Tiwari | Code Smells |
Presenter | Title |
---|---|
Vishal Kaushal | Video Analytics for Security and Compliance |
Arghya Roy Chaudhuri | PAC Identification of Many Good Arms in Stochastic Multi-Armed Bandits |
Ravi Bhandari | Improving Road Safety Through Smart Sensing |
Rinku Shah | Leveraging Network programmability to accelerate SDN applications |
Aniruddha Kushwaha | Bitstream: A Flexible SDN protocol for WANs |
Priyanka Naik | Tools to build Virtual Network Functions |
Sidharth Sharma | VNF Availability Model for Service Provider Networks |
Muhammed Unais P | SymFlex: Symbiotic management of elastic SSD caches in virtualized environments |