APLAS 2025
Mon 27 - Thu 30 October 2025 Bengaluru, India
APLAS 2025 (series) / The International Institute of Information Technology Bangalore (IIIT Bangalore) /

Room information: R207

VenueThe International Institute of Information Technology Bangalore (IIIT Bangalore)
Room nameR207
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

Wed 29 Oct

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

09:00 - 09:30
APLAS SRC Poster Session 1SRC and Posters at R207
09:00
7m
Poster
Characterizing Irregular Memory Accesses for Better Prediction Prefetching (SRC)
SRC and Posters
P: Avinash Kumar Indian Institute of Technology, Bombay, India, A: Virendra Singh Indian Institute of Technology, Bombay, India, A: Supratim Biswas Indian Institute of Technology, Bombay, India
File Attached
09:07
7m
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
09:15
7m
Poster
Decompilation into Interaction Trees (SRC)
SRC and Posters
Dao Le UNSW Sydney
File Attached
09:22
7m
Poster
Formalizing Banach-Zarecki Theorem using Dependent Types (SRC)
SRC and Posters
P: Yoshihiro Ishiguro Nagoya University, AIST, A: Reynald Affeldt AIST, A: Jacques Garrigue Nagoya University
File Attached
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

Wed 29 Oct

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

Room9:003010:0030
R207

SRC and Posters

APLAS SRC Poster Session 1

SRC and Posters

APLAS SRC Poster Session 2

Wed 29 Oct

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

Room9:0015304510:00153045
R207
APLAS SRC and Posters
Characterizing Irregular Memory Accesses for Better Prediction Prefetch ...
09:00 - 09:07
APLAS SRC and Posters
CoS-SSA: Context-Sensitive SSA for Interprocedural Program Analyses and ...
09:07 - 09:15
APLAS SRC and Posters
Decompilation into Interaction Trees (SRC)
09:15 - 09:22
APLAS SRC and Posters
Formalizing Banach-Zarecki Theorem using Dependent Types (SRC)
09:22 - 09:30
APLAS SRC and Posters
Relevance of “Bad Code Smells” in Solidity Smart Contracts (SRC)
10:30 - 10:37
APLAS SRC and Posters
Safeguarding Controller Software from Single Event Upset via Conditiona ...
10:37 - 10:45
APLAS SRC and Posters
TOWARDS BETTER CODE SUMMARIZATION USING STRUCTURED AND VISUAL REPRESENT ...
10:52 - 11:00