Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 22 Feb

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

09:00 - 11:00
09:00
2h
Other
Workshop - Reimagining Future Enterprises and Society using Digital Twin
Tutorials and Workshops
Souvik Barat Tata Consultancy Services Research, Varun Ramamohan IIT Delhi
11:30 - 13:00
11:30
90m
Other
Workshop - Reimagining Future Enterprises and Society using Digital Twin
Tutorials and Workshops
Souvik Barat Tata Consultancy Services Research, Varun Ramamohan IIT Delhi
14:00 - 15:30
14:00
90m
Other
Workshop - Emerging Software Engineering Education
Tutorials and Workshops
Santosh Singh Rathore ABV-Indian Institute of Information Technology and Management Gwalior, Sheikh Umar Farooq University of Kashmir, India, Saurabh Tiwari DA-IICT Gandhinagar
16:00 - 18:00
16:00
2h
Other
Workshop - Emerging Software Engineering Education
Tutorials and Workshops
Santosh Singh Rathore ABV-Indian Institute of Information Technology and Management Gwalior, Sheikh Umar Farooq University of Kashmir, India, Saurabh Tiwari DA-IICT Gandhinagar

Fri 23 Feb

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

10:00 - 11:00
Doctoral Symposium Session 1Doctoral Symposium at Room 4 - R110
10:00
10m
Other
Opening Remarks
Doctoral Symposium

10:10
25m
Paper
Safeguarding Controller Variables from SEUs using Static Analysis
Doctoral Symposium
Ganesha IIITB - International Institute of Information Technology Bangalore
10:35
25m
Paper
SecSEC: Securing Smart Ethereum Contracts
Doctoral Symposium
Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur
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

Sat 24 Feb

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

15:30 - 16:30
SEIP Session 3 - Birds of a FeatherSoftware Engineering in Practice at Room 4 - R110
15:30
60m
Other
SEIP Session 3 - Birds of a Feather
Software Engineering in Practice

Thu 22 Feb

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

Fri 23 Feb

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

Sat 24 Feb

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

Sat 24 Feb

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