APLAS 2025
Mon 27 - Thu 30 October 2025 Bengaluru, India
Wed 29 Oct 2025 09:00 - 09:07 at R207 - APLAS SRC Poster Session 1
Extended Abstract (aplas2025srcposters_paper_7.pdf)506KiB
Poster (aplas2025posters_paper_6.pdf)186KiB

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 University of New South Wales
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