Safeguarding Controller Software from Single Event Upset via Conditional Variable Verification (SRC) (APLAS 2025 - Student Research Competition and Posters) - APLAS 2025

Mon 27 - Thu 30 October 2025 Bengaluru, India

Who

Ganesha , Sujit Kumar Chakrabarti

Track

APLAS 2025 SRC and Posters

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

Wed 29 Oct 2025 10:37 - 10:45 at R207 - APLAS SRC Poster Session 2
Wed 29 Oct 2025 13:00 - 13:20 at R104 - SRC Presentation 1 Chair(s): PRITAM MANOHAR GHARAT

File attachments

Poster (aplas2025posters_paper_4.pdf)	141KiB
Extended Abstract (aplas2025srcposters_paper_10.pdf)	440KiB

Ganesha Presenter

IIITB - International Institute of Information Technology Bangalore

India

Sujit Kumar ChakrabartiAuthor

International Institute of Information Technology, Bangalore

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

Wed 29 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

	10:30 - 11:00	APLAS SRC Poster Session 2SRC and Posters at R207

	10:30 7m Poster		Relevance of “Bad Code Smells” in Solidity Smart Contracts (SRC) SRC and Posters P: Roopa Thanmai Kaza University of Limerick, A: Jim Buckley Lero - The Irish Software Research Centre and University of Limerick, A: Andrew LeGear Horizon Globex File Attached
	10:37 7m Poster		Safeguarding Controller Software from Single Event Upset via Conditional Variable Verification (SRC) SRC and Posters P: Ganesha IIITB - International Institute of Information Technology Bangalore, A: Sujit Kumar Chakrabarti International Institute of Information Technology, Bangalore File Attached
	10:52 7m Poster		TOWARDS BETTER CODE SUMMARIZATION USING STRUCTURED AND VISUAL REPRESENTATION (SRC) SRC and Posters P: Shyamal Narang Delhi Technological University, A: Sushant Kumar Pandey University of Groningen, The Netherlands File Attached

	13:00 - 14:00	SRC Presentation 1SRC and Posters at R104 Chair(s): PRITAM MANOHAR GHARAT Microsoft Research India

	13:00 20m Poster		Safeguarding Controller Software from Single Event Upset via Conditional Variable Verification (SRC) SRC and Posters P: Ganesha IIITB - International Institute of Information Technology Bangalore, A: Sujit Kumar Chakrabarti International Institute of Information Technology, Bangalore File Attached
	13:20 20m Poster		CoS-SSA: Context-Sensitive SSA for Interprocedural Program Analyses and Optimisations (SRC) SRC and Posters P: Supriya Bhide Indian Institute of Technology Bombay, A: Uday P. Khedker Indian Institute of Technology (IIT) Bombay, A: PRITAM MANOHAR GHARAT Microsoft Research India File Attached
	13:40 20m Poster		Decompilation into Interaction Trees (SRC) SRC and Posters Dao Le University of New South Wales File Attached