Parameterized Static Analysis for Weak Memory Models (17th Innovations in Software Engineering Conference (ISEC 2024) - Doctoral Symposium) - 17th Innovations in Software Engineering Conference (ISEC 2024)

Thu 22 - Sat 24 February 2024 Bangalore, India

Who

Divyanjali Sharma, Subodh Sharma

Track

17th Innovations in Software Engineering Conference (ISEC 2024) Doctoral Symposium

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Divyanjali Sharma

IIT Delhi, India

India

Subodh Sharma

IIT Delhi

India

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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