APLAS 2025 (series) / Student Research Competition and Posters /
Decompilation into Interaction Trees (SRC)
Wed 29 Oct 2025 09:15 - 09:22 at R207 - APLAS SRC Poster Session 1
Wed 29 Oct 2025 13:40 - 14:00 at R104 - SRC Presentation 1 Chair(s): PRITAM MANOHAR GHARAT
Wed 29 Oct 2025 13:40 - 14:00 at R104 - SRC Presentation 1 Chair(s): PRITAM MANOHAR GHARAT
| Extended Abstract (aplas2025srcposters_paper_9.pdf) | 372KiB |
| Poster (aplas2025posters_paper_5.pdf) | 1.94MiB |
Wed 29 OctDisplayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
Wed 29 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change
09:00 - 09:30 | |||
09:00 7mPoster | 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 7mPoster | 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 7mPoster | Decompilation into Interaction Trees (SRC) SRC and Posters Dao Le University of New South Wales File Attached | ||
09:22 7mPoster | 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 | ||
13:00 - 14:00 | |||
13:00 20mPoster | 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 20mPoster | 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 20mPoster | Decompilation into Interaction Trees (SRC) SRC and Posters Dao Le University of New South Wales File Attached | ||