Fri 23 Feb 2024 11:45 - 12:10 at Room 4 - R110 - Doctoral Symposium Session 1

Fri 23 Feb

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:20 - 13:00
Doctoral Symposium Session 1Doctoral Symposium at Room 4 - R110
11:20
25m
Paper
Finding and Investigating Buggy Codes to Make CS1 Learning Efficient
Doctoral Symposium
Nimisha Agarwal IIT Kanpur
11:45
25m
Paper
Parameterized Static Analysis for Weak Memory Models
Doctoral Symposium
Divyanjali Sharma IIT Delhi, India, Subodh Sharma IIT Delhi
12:10
25m
Paper
Neural Networks Verification: Perspectives from Formal Method
Doctoral Symposium
Priyanka Maity Indian Institute of Technology Kanpur
12:35
25m
Paper
Symbolic Verification of Mesh Commissioning Protocol of Thread
Doctoral Symposium
Pankaj Upadhyay , Subodh Sharma IIT Delhi, Guangdong Bai The University of Queensland