APLAS 2025 (series) / Student Research Competition and Posters /
Formalizing Banach-Zarecki Theorem using Dependent Types (SRC)
Wed 29 Oct 2025 09:22 - 09:30 at R207 - APLAS SRC Poster Session 1
| Poster (poster.pdf) | 994KiB |
| Extended Abstract (aplas2025srcposters_paper_11.pdf) | 545KiB |
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 , 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 , 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 | ||