Call for Student Research Competition (SRC)
The ACM Student Research Competition (SRC) offers a unique forum for undergraduate and graduate students to present their original research before a panel of judges and attendees at CGO. Participants must be undergraduates or graduate students pursuing an academic degree at the time of initial submission. Participants must be current student members of the ACM.
To participate in the competition, a student must submit an extended abstract (500 words).
The abstracts will be reviewed by a selection committee and selected abstracts will be invited to present as posters at the conference. SRC poster submissions are, in addition, evaluated by a jury during the poster session at the conference. A group of semi-finalists will be invited to give a short presentation (10 minutes + 5 minutes questions) on the day after. The winner of CGO’s ACM SRC will be selected. ACM will then provide the medal and monetary award to the SRC student winners - $500, $300, $200 respectively for the top three winners in graduate/undergraduate category. First place undergraduate and graduate (Masters or PhD program) student winners will advance to the SRC Grand Finals, details will follow from ACM.
Submissions in the form of an extended abstract are solicited in any topics relevant to the main conference, including:
- Code Generation, Translation, Transformation, and Optimization for performance, energy, virtualization, portability, security, or reliability concerns, and architectural support
- Efficient execution of dynamically typed and higher-level languages
- Optimization and code generation for emerging programming models, platforms, domain-specific languages
- Dynamic/static, profile-guided, feedback-directed, and machine learning-based optimization
- Static, Dynamic, and Hybrid Analysis for performance, energy, memory locality, throughput or latency, security, reliability, or functional debugging
- Machine-learning-based code generation, analysis, transformation and optimization
- Machine Learning for Compilers
- Compilers for Machine Learning
- Machine Learning for ML Compilers
- Program characterization methods
- Efficient profiling and instrumentation techniques; architectural support
- Novel and efficient tools
- Compiler design, practice, and experience
- Compiler abstraction and intermediate representations
- Vertical integration of language features, representations, optimizations, and runtime support for parallelism
- Solutions that involve cross-layer (HW/OS/VM/SW) design and integration
- Deployed dynamic/static compiler and runtime systems for general-purpose, embedded system and Cloud/HPC platforms
- Parallelism, heterogeneity, and reconfigurable architectures
- Optimizations for heterogeneous or specialized targets, GPUs, SoCs, CGRA
- Compiler-support for vectorization, thread extraction, task scheduling, speculation, transaction, memory management, data distribution, and synchronization
Update: Hybrid Participation Option
To ensure that no student misses out on the opportunity to participate, CGO 2026 will host the Student Research Competition in a hybrid format. This means that both in-person and virtual participation are allowed. Students who are unable to travel—due to visa constraints, or personal circumstances—may still present their work, compete in the judging rounds, and fully participate in the SRC remotely. For details or any questions, please reach out to the SRC Chair.
Travel grant application
Please see the CGO Student Travel Support page. Feel free to apply for the travel grant. However, please be aware that due to budget constraints, we are unable to guarantee funding for your travel expenses.
Submission Information
Submission must be about unpublished work that is not under review anywhere.
Extended abstracts of up to 500 words should be submitted on or before December 5, 2025 AOE at https://cgo26src.hotcrp.com.
For the abstract, please format your submission using the SIGPLAN format found here. Use one 8.5″x11″ single spaced, double-column page, with 10pt or larger font. Figures are accepted. Include your name and the name of your advisor(s).
All submissions will be reviewed by a selection committee. Notifications will be sent out by December 23, 2025 AOE.
Post Acceptance
Those that receive an “acceptance” notification, please prepare a poster of size 23.4″x33.1″ and bring it with you to the conference. You will be in-charge of printing the poster and bringing them to the conference. We will provide you with locations on where to hang it etc., as we get closer to the conference.
Timeline
- Submission: December 15, 2025 AOE
- Notification: December 29, 2025 AOE
This program is tentative and subject to change.
Sun 1 FebDisplayed time zone: Hobart change
07:45 - 19:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break HPCA/CGO/PPoPP/CC Catering | ||
12:45 - 13:45 | |||
12:45 60mLunch | Lunch HPCA/CGO/PPoPP/CC Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break HPCA/CGO/PPoPP/CC Catering | ||
18:00 - 20:00 | Welcome ReceptionHPCA/CGO/PPoPP/CC Catering at Parkside Ballroom All registered attendees are invited to attend the welcome reception from 18:00 on Sunday evening, where there will be great food and drink and an opportunity to engage with the vibrant HPCA/CGO/PPoPP/CC community. | ||
18:00 2hSocial Event | Welcome Reception HPCA/CGO/PPoPP/CC Catering | ||
Mon 2 FebDisplayed time zone: Hobart change
11:30 - 12:50 | |||
11:30 20mTalk | Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates Main Conference Florian Huemer JKU Linz, Aleksandar Prokopec Oracle Labs, David Leopoldseder Oracle Labs, Raphael Mosaner Oracle Labs, Hanspeter Mössenböck JKU Linz | ||
11:50 20mTalk | Pyls: Enabling Python Hardware Synthesis with Dynamic Polymorphism via LCRS Encoding Main Conference Bolei Tong Wuhan University, Yongyan Fang Wuhan University, Wang Chaorui Wuhan University, Qingan Li Wuhan University, China, Jingling Xue University of New South Wales, YUAN Mengting School of Computer Science, Wuhan University, Wuhan, China | ||
12:10 20mTalk | SkeleShare: Algorithmic Skeletons and Equality Saturation for Hardware Resource Sharing Main Conference Jonathan Van der Cruysse McGill University, Tzung-Han Juang McGill University, Shakiba Bolbolian Khah McGill University, Christophe Dubach McGill University | ||
12:30 20mTalk | Ember: A Compiler for Embedding Operations on Decoupled Access-Execute Architectures Main Conference Marco Siracusa Barcelona Supercomputing Center; Universitat Politècnica de Catalunya, Olivia Hsu Stanford University, Víctor Soria-Pardos Barcelona Supercomputing Center, Joshua Randall Arm, Arnaud Grasset Arm, Eric Biscondi Arm, Douglas J. Joseph Arm, Randy Allen Barcelona Supercomputing Center, Fredrik Kjolstad Stanford University, Miquel Moreto Technical Univeristy of Catalonia, Adrià Armejach Sanosa Barcelona Supercomputing Center & Universitat Politècnica de Catalunya | ||
14:10 - 15:30 | |||
14:10 20mTalk | Flow-Graph-Aware Tiling and Rescheduling for Memory-Efficient On-Device Inference Main Conference | ||
14:30 20mTalk | VFlatten: Selective Value-Object Flattening using Hybrid Static and Dynamic Analysis Main Conference Arjun H. Kumar IIT Mandi, Bhavya Hirani SVNIT, Surat, Hang Shao IBM, Tobi Ajila IBM, Vijay Sundaresan IBM Canada, Daryl Maier IBM Canada, Manas Thakur IIT Bombay | ||
14:50 20mTalk | FRUGAL: Pushing GPU Applications beyond Memory Limits Main Conference Lingqi Zhang RIKEN RCCS, Tengfei Wang Google Cloud, Jiajun Huang University of California, Riverside, Chen Zhuang Tokyo Institute of Technology, Riken Center for Computational Science, Ivan Ivanov Institute of Science Tokyo, Peng Chen RIKEN RCCS, Toshio Endo , Mohamed Wahib RIKEN Center for Computational Science | ||
15:10 20mTalk | Automatic Data Enumeration for Fast Collections Main Conference | ||
15:50 - 17:10 | |||
15:50 20mTalk | Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions Main Conference Marouane Benbetka École Nationale Supérieure d’Informatique, Merwan BEKKAR École Nationale Supérieure d’Informatique, Riyadh Baghdadi New York University Abu Dhabi, Martin Kong Ohio State University | ||
16:10 20mTalk | Space-Time Optimisations for Early Fault-Tolerant Quantum Computation Main Conference | ||
16:30 20mTalk | OpenQudit: Extensible and Accelerated Numerical Quantum Compilation via a JIT-Compiled DSL Main Conference Ed Younis Lawrence Berkeley National Laboratory | ||
16:50 20mTalk | Selene: Cross-Level Barrier-Free Pipelining for Irregular Nested Loops in High-Level Synthesis Main Conference Sungwoo Yun Yonsei University, Seonyoung Cheon Yonsei University, Dongkwan Kim Yonsei University, Heelim Choi Yonsei University, Kunmo Jeong Yonsei University, Chan Lee Yonsei University, Yongwoo Lee DGIST, Hanjun Kim Yonsei University | ||
15:50 - 17:10 | |||
15:50 20mTalk | Enabling Automatic Compiler-Driven Vectorization of Transformers Main Conference Shreya Alladi University of Murcia, Alberto Ros University of Murcia, Alexandra Jimborean University of Murcia | ||
16:10 20mTalk | Unlocking Python Multithreading Capabilities using OpenMP-Based Programming with OMP4Py Main Conference César Piñeiro University of Santiago de Compostela, Juan C. Pichel University of Santiago de Compostela | ||
16:30 20mTalk | The Parallel-Semantics Program Dependence Graph for Parallel Optimization Main Conference Yian Su Northwestern University, Brian Homerding Northwestern University, Haocheng Gao Northwestern University, Federico Sossai Northwestern University, Yebin Chon Princeton University, David I. August Princeton University, Simone Campanoni Google / Northwestern University | ||
16:50 20mTalk | From Threads to Tiles: T2T, a Compiler for CUDA-to-NPU Translation via 2D Vectorization Main Conference Shuaijiang Li Institute of Computing Technology at Chinese Academy of Sciences, Jiacheng Zhao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Ying Liu Institute of Computing Technology, Chinese Academy of Sciences, Shuoming Zhang Institute of Computing Technology at Chinese Academy of Sciences, Lei Chen University of Chinese Academy of Sciences, Yijin Li Institute of Computing Technology at Chinese Academy of Sciences, Yangyu Zhang Institute of Computing Technology,Chinese Academy of Sciences, lizhicheng Institute of Computing Technology at Chinese Academy of Sciences, Runyu Zhou Institute of Computing Technology at Chinese Academy of Sciences, Xiyu Shi Institute of Computing Technology at Chinese Academy of Sciences, Chunwei Xia University of Leeds, Yuan Wen University of Aberdeen, Xiaobing Feng ICT CAS, Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences | ||
17:30 - 19:00 | |||
17:30 90mMeeting | Business Meeting Main Conference | ||
Tue 3 FebDisplayed time zone: Hobart change
08:15 - 16:00 | |||
09:50 - 11:10 | |||
09:50 20mTalk | Binary Diffing via Library Signatures Main Conference Andrei Rimsa CEFET-MG, Anderson Faustino da Silva State University of Maringá, Camilo Santana Melgaço Federal University of Minas Gerais, Fernando Magno Quintão Pereira Federal University of Minas Gerais | ||
10:10 20mTalk | BIT: Empowering Binary Analysis through the LLVM Toolchain Main Conference Puzhuo Liu Ant Group & Tsinghua University, Peng Di Ant Group & UNSW, Jingling Xue University of New South Wales, Yu Jiang Tsinghua University | ||
10:30 20mTalk | Dr.avx: A Dynamic Compilation System for Seamlessly Executing Hardware-Unsupported Vectorization Instructions Main Conference Yue Tang East China Normal University, Mianzhi Wu East China Normal University, Yufeng Li East China Normal University, Haoyu Liao East China Normal University, Jianmei Guo East China Normal University, Bo Huang East China Normal University | ||
10:50 20mTalk | Practical: Are Abstract-Interpreter Baseline JITs Worth It? An Empirical Evaluation through Metacompilation Main Conference Nahuel Palumbo Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium | ||
09:50 - 11:10 | |||
09:50 20mTalk | TPDE: A Fast Adaptable Compiler Back-End Framework Main Conference | ||
10:10 20mTalk | Synthesizing Instruction Selection Back-Ends from ISA Specifications Made Practical Main Conference | ||
10:30 20mTalk | SparseX: Synergizing GPU Libraries for Sparse Matrix Multiplication on Heterogeneous Processors Main Conference Ruifeng Zhang North Carolina State University, Xiangwei Wang North Carolina State University, Ang Li Pacific Northwest National Laboratory, Xipeng Shen North Carolina State University | ||
10:50 20mTalk | Compilation of Generalized Matrix Chains with Symbolic Sizes Main Conference | ||
11:10 - 11:30 | |||
11:10 20mCoffee break | Break HPCA/CGO/PPoPP/CC Catering | ||
11:30 - 12:50 | |||
11:30 20mTalk | TRACE4J: A Lightweight, Flexible, and Insightful Performance Tracing Tool for Java Main Conference | ||
11:50 20mTalk | Proton: Towards Multi-level, Adaptive Profiling for Triton Main Conference Keren Zhou George Mason University, Tianle Zhong University of Virginia, Hao Wu George Mason University, Jihyeong Lee George Mason University, Yue Guan University of California at San Diego, Yufei Ding University of California at Santa Barbara, Corbin Robeck Meta, Yuanwei Fang Meta, Jeff Niu OpenAI, Philippe Tillet OpenAI | ||
12:10 20mTalk | On the Precision of Dynamic Program Fingerprints Based on Performance Counters Main Conference Anderson Faustino da Silva State University of Maringá, Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Marcelo Borges Nogueira Federal University of Rio Grande do Norte, Jeronimo Castrillon TU Dresden, Germany, Fernando Magno Quintão Pereira Federal University of Minas Gerais | ||
12:30 20mTalk | PASTA: A Modular Program Analysis Tool Framework for Accelerators Main Conference Mao Lin University of California Merced, Hyeran Jeon University of California, Merced, Keren Zhou George Mason University | ||
12:50 - 14:10 | |||
12:50 80mLunch | Lunch HPCA/CGO/PPoPP/CC Catering | ||
14:10 - 15:30 | |||
14:10 20mTalk | PIP: Making Andersen’s Points-to Analysis Sound and Practical for Incomplete C Programs Main Conference Håvard Rognebakke Krogstie NTNU, Helge Bahmann Independent Researcher, Magnus Själander Norwegian University of Science and Technology (NTNU), Nico Reissmann Independent Researcher | ||
14:30 20mTalk | Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation Main Conference Siyuan Brant Qian University of Illinois at Urbana-Champaign, Vimarsh Sathia University of Illinois Urbana Champaign, Ivan Ivanov Institute of Science Tokyo, Jan Hueckelheim Argonne National Laboratory, Paul Hovland Argonne National Laboratory, William S. Moses University of Illinois Urbana-Champaign | ||
14:50 20mTalk | PolyUFC: Polyhedral Compilation Meets Roofline Analysis for Uncore Frequency Capping Main Conference Nilesh Rajendra Shah Indian Institute of Technology Hyderabad, India, M V V S Manoj Kumar IIT Hyderabad, Dhairya Baxi IIT Hyderabad, Ramakrishna Upadrasta IIT Hyderabad | ||
15:10 20mTalk | Accelerating App Recompilation across Android System Updates by Code Reusing Main Conference Hongtao Wu Wuhan University, Yu Chen Wuhan University, Mengfei Xie Wuhan University, Futeng Yang Guangdong OPPO Mobile Telecommunications, Jun Yan Guangdong OPPO Mobile Telecommunications, Jiang Ma OPPO Electronics Corp., Jianming Fu Wuhan University, Jason Xue MBZUAI, Qingan Li Wuhan University, China | ||
15:30 - 15:50 | |||
15:30 20mCoffee break | Break HPCA/CGO/PPoPP/CC Catering | ||
15:50 - 17:10 | |||
15:50 20mTalk | QIGen: A Kernel Generator for Inference on Nonuniformly Quantized Large Language Models Main Conference | ||
16:10 20mTalk | DyPARS: Dynamic-Shape DNN Optimization via Pareto-Aware MCTS for Graph Variants Main Conference Hao Qian University of New South Wales, Guangli Li Institute of Computing Technology, Chinese Academy of Sciences, Qiuchu Yu Institute of Computing Technology at Chinese Academy of Sciences, Xueying Wang Beijing University of Posts and Telecommunications, Jingling Xue University of New South Wales | ||
16:30 20mTalk | Compiler-Runtime Co-operative Chain of Verification for LLM-Based Code Optimization Main Conference Hyunho Kwon Yonsei University, Sanggyu Shin SAIT, Ju Min Lee Yonsei University, Hoyun Youm Yonsei University, Seungbin Song SAIT, Seongho Kim Yonsei University, Hanwoong Jung Samsung Advanced Institute of Technology, Seungwon Lee Samsung Advanced Institute of Technology, Hanjun Kim Yonsei University | ||
16:50 20mTalk | Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs Main Conference Xiao Zhang University of Toronto; NVIDIA, Yaoyao Ding University of Toronto; Vector Institute; NVIDIA, Bolin Sun University of Toronto; NVIDIA, Yang Hu NVIDIA, Tatiana Shpeisman Google, Gennady Pekhimenko University of Toronto / Vector Institute | ||
17:15 - 18:15 | |||
18:30 - 21:30 | |||
18:30 3hSocial Event | Excursion HPCA/CGO/PPoPP/CC Catering | ||
Wed 4 FebDisplayed time zone: Hobart change
09:50 - 11:10 | |||
09:50 20mTalk | Multidirectional Propagation of Sparsity Information across Tensor Slices Main Conference Kaio Henrique Andrade Ananias Universidade Federal de Minas Gerais, Danila Seliayeu University of Alberta, Jose Nelson Amaral University of Alberta, Fernando Magno Quintão Pereira Federal University of Minas Gerais | ||
10:10 20mTalk | Synthesizing Specialized Sparse Tensor Accelerators for FPGAs via High-Level Functional Abstractions Main Conference | ||
10:30 20mTalk | Progressive Low-Precision Approximation of Tensor Operators on GPUs: Enabling Greater Trade-Offs between Performance and Accuracy Main Conference Fan Luo Institute of Computing Technology at Chinese Academy of Sciences, Guangli Li Institute of Computing Technology, Chinese Academy of Sciences, Zhaoyang Hao Institute of Computing Technology at Chinese Academy of Sciences, Xueying Wang Beijing University of Posts and Telecommunications, Xiaobing Feng ICT CAS, Huimin Cui Institute of Computing Technology, Chinese Academy of Sciences, Jingling Xue University of New South Wales | ||
10:50 20mTalk | Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis Main Conference Alexander Brauckmann University of Edinburgh, Aarsh Chaube University of Edinburgh, José Wesley De Souza Magalhães University of Edinburgh, Elizabeth Polgreen University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh | ||
11:30 - 12:50 | |||
11:30 20mTalk | A Reinforcement Learning Environment for Automatic Code Optimization in the MLIR Compiler Main Conference Mohammed Tirichine New York University Abu Dhabi; Ecole nationale Supérieure d'Informatique, Nassim Ameur NYU Abu Dhabi; École Nationale Supérieure d’Informatique, Nazim Bendib NYU Abu Dhabi; École Nationale Supérieure d’Informatique, Iheb Nassim Aouadj NYU Abu Dhabi, Djad Bouchama NYU Abu Dhabi; University of Science and Technology Houari Boumediene, Rafik Bouloudene NYU Abu Dhabi; University of Science and Technology Houari Boumediene, Riyadh Baghdadi New York University Abu Dhabi | ||
11:50 20mTalk | Towards Threading the Needle of Debuggable Optimized Binaries Main Conference Cristian Assaiante Sapienza University of Rome, Simone Di Biasio Sapienza University of Rome, Snehasish Kumar Google LLC, Giuseppe Antonio Di Luna Sapienza University of Rome, Daniele Cono D'Elia Sapienza University of Rome, Leonardo Querzoni Sapienza University Rome | ||
12:10 20mTalk | Compiler-Assisted Instruction Fusion Main Conference Ravikiran Ravindranath Reddy University of Murcia, Sawan Singh AMD, Arthur Perais CNRS, Alberto Ros University of Murcia, Alexandra Jimborean University of Murcia | ||
12:30 20mTalk | LLM-VeriOpt: Verification-Guided Reinforcement Learning for LLM-Based Compiler Optimization Main Conference Xiangxin Fang Queen Mary University of London; University of Edinburgh, Jiaqin Kang Queen Mary University of London, Rodrigo C. O. Rocha University of Edinburgh, Sam Ainsworth University of Edinburgh, Lev Mukhanov IMEC (Cambridge); Queen Mary University of London | ||
12:50 - 13:20 | |||
Accepted Papers
| Title | |
|---|---|
| Automated Adversarial Test Generation for Debugging Neural Compiler Optimizations Student Research Competition | |
| Bridging Linalg Dialect with Gemmini Backend Student Research Competition | |
| Effective Tiling for the Snitch Cluster Student Research Competition | |
| Leveraging Alias Analysis Without Porting Student Research Competition | |
| MDH-DSL: Reduction-Aware Data Parallelism via Multi-Dimensional Homomorphisms Student Research Competition | |
| Tensor Abstraction Enabling Explicit Layout Optimization in Homomorphic Encryption Student Research Competition | |
| UniCon: Unified Controllers for the Quantum Computers Student Research Competition | |
| Unifying Medium Sparse Processing Frameworks Student Research Competition | |
| Unlocking Vectorization Scope: Extensible Vectorization via Unified Dependence Semantics Student Research Competition |