CGO 2023
Sat 25 February - Wed 1 March 2023 Montreal, Canada
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 26 Feb

Displayed time zone: Eastern Time (US & Canada) change

18:00 - 20:00
Reception and PostersMain Conference at Salon Ville-Marie

Mon 27 Feb

Displayed time zone: Eastern Time (US & Canada) change

07:45 - 08:10
Coffee/TeaMain Conference

(food not provided)

08:10 - 08:30
08:30 - 09:30
CGO Keynote: Dr. Peng Wu: PyTorch 2.0 — the Journey to Bringing Compiler Technologies to the Core of PyTorchMain Conference at Montreal 3-4-5
09:30 - 10:00
Coffee breakMain Conference
10:00 - 12:00
Session 1 -- It's all about loops!Main Conference at Montreal 1-2-3
Chair(s): Rodrigo C. O. Rocha University of Edinburgh
10:00
26m
Talk
Code Generation for In-Place Stencils
Main Conference
DOI
10:26
26m
Talk
To Pack or Not to Pack: A Generalized Packing Analysis and Transformation
Main Conference
Caio Salvador Rohwedder University of Alberta, Nathan Henderson University of Alberta, João P. L. De Carvalho University of Alberta, Yufei Chen University of Alberta, Jose Nelson Amaral University of Alberta
DOI
10:52
26m
Talk
Code Synthesis for Sparse Tensor Format Conversion and Optimization
Main Conference
Tobi Popoola Boise State University, Tuowen Zhao University of Utah, Aaron St. George Boise State University, Kalyan Bhetwal Boise State University, Michelle Strout University of Arizona, Mary Hall University of Utah, Catherine R. M. Olschanowsky Boise State University
DOI
11:18
26m
Talk
Looplets: A Language for Structured Coiteration
Main Conference
Willow Ahrens Massachusetts Institute of Technology, Daniel Donenfeld Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University, Saman Amarasinghe Massachusetts Institute of Technology
DOI
12:00 - 13:30
13:30 - 15:10
Session 2 -- Tool and Practical Experience IMain Conference at Montreal 1-2-3
Chair(s): Fernando Magno Quintão Pereira Federal University of Minas Gerais
13:30
26m
Talk
Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques
Main Conference
Peihua Zhang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chenggang Wu Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Mingfan Peng Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Kai Zeng Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Ding Yu Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yuanming Lai Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yan Kang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Wei Wang Institute of Computing Technology at Chinese Academy of Sciences, Zhe Wang Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory
DOI
13:56
26m
Talk
Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology
Main Conference
Arun Thangamani University of Strasbourg; Inria, Tiago Trevisan Jost University of Strasbourg; Inria, Vincent Loechner University of Strasbourg; Inria, Stéphane Genaud University of Strasbourg; Inria, Bérenger Bramas University of Strasbourg; Inria
DOI
14:22
26m
Talk
DJXPerf: Identifying Memory Inefficiencies via Object-Centric Profiling for Java
Main Conference
Bolun Li North Carolina State University, Pengfei Su University of California, Milind Chabbi Scalable Machines Research, Shuyin Jiao North Carolina State University, Xu Liu North Carolina State University
DOI
15:10 - 15:40
Coffee breakMain Conference
15:40 - 17:00
Session 3 -- PotpourriMain Conference at Montreal 1-2-3
Chair(s): Bernhard Egger Seoul National University
15:40
26m
Talk
Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach
Main Conference
Mridul Aanjaneya Rutgers University, Santosh Nagarakatte Rutgers University
DOI
16:06
26m
Talk
A Game-Based Framework to Compare Program Classifiers and Evaders
Main Conference
Thaís Regina Damásio Federal University of Minas Gerais, Michael Canesche Federal University of Minas Gerais, Vinícius Pacheco Federal University of Minas Gerais, Marcus Botacin Texas A&M University, Anderson Faustino da Silva State University of Maringá, Fernando Magno Quintão Pereira Federal University of Minas Gerais
DOI
16:33
26m
Talk
WARDen: Specializing Cache Coherence for High-Level Parallel Languages
Main Conference
Michael Wilkins Northwestern University, Sam Westrick Carnegie Mellon University, Vijay Kandiah Northwestern University, Alex Bernat Northwestern University, Brian Suchy Northwestern University, Enrico Armenio Deiana Northwestern University, Simone Campanoni Northwestern University, Umut A. Acar Carnegie Mellon University, Peter Dinda Northwestern University, Nikos Hardavellas Northwestern University
DOI
17:00 - 17:15
17:15 - 17:30
Paper awardsMain Conference at Montreal 1-2-3

Distinguished paper & Test of time awards

17:30 - 18:30
Business meetingMain Conference at Montreal 1-2-3

Tue 28 Feb

Displayed time zone: Eastern Time (US & Canada) change

08:00 - 08:30
Coffee/TeaMain Conference

(food not provided)

08:30 - 09:30
09:30 - 10:00
Coffee breakMain Conference
12:00 - 13:30
13:30 - 15:10
Session 5 -- Domain-Specific Compilation and DebuggingMain Conference at Montreal 1-2-3
Chair(s): Teresa Johnson Google
13:30
26m
Talk
Compiling Functions onto Digital Microfluidics
Main Conference
Tyson Loveless Intel Corporation, Philip Brisk University of California
DOI
13:56
26m
Talk
Fine-Tuning Data Structures for Query Processing
Main Conference
Amir Shaikhha University of Edinburgh, Marios Kelepeshis University of Oxford, Mahdi Ghorbani University of Edinburgh
DOI
14:22
26m
Talk
D2X: An eXtensible conteXtual Debugger for Modern DSLs
Main Conference
Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
DOI
15:10 - 15:40
Coffee breakMain Conference
15:40 - 17:00
Session 6 -- Tool and Practical Experience IIMain Conference at Montreal 1-2-3
Chair(s): Ayal Zaks Mobileye
15:40
26m
Talk
Bridging Control-Centric and Data-Centric Optimization
Main Conference
Tal Ben-Nun ETH Zurich, Berke Ates ETH Zurich, Alexandru Calotoiu ETH Zurich, Torsten Hoefler ETH Zurich
DOI
16:06
26m
Talk
Parsimony: Enabling SIMD/Vector Programming in Standard Compiler Flows
Main Conference
Vijay Kandiah Northwestern University, Daniel Lustig NVIDIA, Oreste Villa NVIDIA, David Nellans NVIDIA, Nikos Hardavellas Northwestern University
DOI
16:33
26m
Talk
Program State Element Characterization
Main Conference
Enrico Armenio Deiana Northwestern University, Brian Suchy Northwestern University, Michael Wilkins Northwestern University, Brian Homerding Northwestern University, Tommy McMichen Northwestern University, Katarzyna Dunajewski Northwestern University, Peter Dinda Northwestern University, Nikos Hardavellas Northwestern University, Simone Campanoni Northwestern University
DOI
17:00 - 18:00
18:00 - 22:00

Wed 1 Mar

Displayed time zone: Eastern Time (US & Canada) change

08:00 - 08:30
Coffee/TeaMain Conference

(food not provided)

08:30 - 09:30
HPCA Keynote: Prof. Daniel A. Jiménez - Addressing Challenges of Core Microarchitecture ResearchMain Conference at Montreal 3-4-5
09:30 - 10:00
Coffee breakMain Conference
10:00 - 12:00
Session 7 -- Neural Network AcceleratorsMain Conference at Montreal 1-2-3
Chair(s): Lukas Sommer Codeplay Software
10:00
26m
Talk
Flexer: Out-of-Order Scheduling for Multi-NPUs
Main Conference
Hyemi Min Seoul National University, Jungyoon Kwon Seoul National University, Bernhard Egger Seoul National University
DOI
10:26
26m
Talk
Pin or Fuse? Exploiting Scratchpad Memory to Reduce Off-Chip Data Transfer in DNN Accelerators
Main Conference
Hyuk-Jin Jeong Samsung Research, JiHwan Yeo Samsung Research, Cheongyo Bahk Samsung Research, JongHyun Park Samsung Research
DOI
10:52
26m
Talk
Accelerating Deep Neural Networks on Mobile Multicore NPUs
Main Conference
Hanwoong Jung Samsung Advanced Institute of Technology, Hexiang Ji Samsung Research, Alexey Pushchin Samsung Research, Maxim Ostapenko Samsung Advanced Institute of Technology, Wenlong Niu Samsung Research, Ilya Palachev Samsung Research, Yutian Qu Samsung Research, Pavel Fedin Samsung Research, Yuri Gribov Samsung Research, Heewoo Nam Samsung Advanced Institute of Technology, Dongguen Lim Samsung Advanced Institute of Technology, Hyunjun Kim Samsung Advanced Institute of Technology, Joonho Song Samsung Advanced Institute of Technology, Seungwon Lee Samsung Advanced Institute of Technology, Hwansoo Han Sungkyunkwan University
DOI
11:18
26m
Talk
PIMFlow: Compiler and Runtime Support for CNN Models on Processing-in-Memory DRAM
Main Conference
Yongwon Shin POSTECH, Juseong Park POSTECH, Sungjun Cho POSTECH, Hyojin Sung POSTECH
DOI
12:00 - 12:20

Accepted Papers

Title
Accelerating Deep Neural Networks on Mobile Multicore NPUs
Main Conference
DOI
A Game-Based Framework to Compare Program Classifiers and Evaders
Main Conference
DOI
Bridging Control-Centric and Data-Centric Optimization
Main Conference
DOI
Code Generation for In-Place Stencils
Main Conference
DOI
Code Synthesis for Sparse Tensor Format Conversion and Optimization
Main Conference
DOI
Compiling Functions onto Digital Microfluidics
Main Conference
DOI
D2X: An eXtensible conteXtual Debugger for Modern DSLs
Main Conference
DOI
DJXPerf: Identifying Memory Inefficiencies via Object-Centric Profiling for Java
Main Conference
DOI
Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach
Main Conference
DOI
Fine-Tuning Data Structures for Query Processing
Main Conference
DOI
Flexer: Out-of-Order Scheduling for Multi-NPUs
Main Conference
DOI
Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques
Main Conference
DOI
Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology
Main Conference
DOI
Looplets: A Language for Structured Coiteration
Main Conference
DOI
Parsimony: Enabling SIMD/Vector Programming in Standard Compiler Flows
Main Conference
DOI
PIMFlow: Compiler and Runtime Support for CNN Models on Processing-in-Memory DRAM
Main Conference
DOI
Pin or Fuse? Exploiting Scratchpad Memory to Reduce Off-Chip Data Transfer in DNN Accelerators
Main Conference
DOI
Program State Element Characterization
Main Conference
DOI
PyTorch 2.0: The Journey to Bringing Compiler Technologies to the Core of PyTorch (Keynote)
Main Conference
DOI
To Pack or Not to Pack: A Generalized Packing Analysis and Transformation
Main Conference
DOI
WARDen: Specializing Cache Coherence for High-Level Parallel Languages
Main Conference
DOI

Call for Papers

IEEE/ACM International Symposium on Code Generation and Optimization (CGO)

Co-located with PPoPP, HPCA and CC

Montreal, Canada

February 25th – March 1st, 2023

The International Symposium on Code Generation and Optimization (CGO) is a premier venue to bring together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The conference spans the spectrum from purely static to fully dynamic approaches, and from pure software-based methods to specific architectural features and support for code generation and optimization.


Important Dates

  • Paper Submission: September 2, 2022
  • Author Rebuttal Period: October 26 - October 28, 2022
  • Paper Notification: November 7, 2022
  • Artifact Evaluation Deadline: November 28, 2022
  • Artifact Evaluation Notification: December 20, 2022

AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.


Topics

Original contributions are solicited on, but not limited to, the following topics:

  • 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
  • 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

Call for Tool and Practical Experience Papers

In recent years CGO had a special category of papers called “Tools and Practical Experience,” which was very successful. CGO this year will have the same category of papers. Such a paper is subject to the same page length guidelines, except that it must give a clear account of its functionality and a summary about the practice experience with realistic case studies, and describe all the supporting artifacts available.

For papers submitted in this category that present a tool, it is mandatory to submit an artifact to the Artifact Evaluation process and to be successfully evaluated. These papers will initially be conditionally accepted based on the condition that an artifact is submitted to the Artifact Evaluation process and that this artifact is successfully evaluated. Authors are not required to make their tool publicly available, but we do require that an artifact is submitted and successfully evaluated.

Papers submitted in this category presenting practical experience are encouraged but not required to submit an artifact to the Artifact Evaluation process.

The selection criteria for papers in this category are:

  • Originality: Papers should present CGO-related technologies applied to real-world problems with scope or characteristics that set them apart from previous solutions.
  • Usability: The presented Tools or compilers should have broad usage or applicability. They are expected to assist in CGO-related research, or could be extended to investigate or demonstrate new technologies. If significant components are not yet implemented, the paper will not be considered.
  • Documentation: The tool or compiler should be presented on a web-site giving documentation and further information about the tool.
  • Benchmark Repository: A suite of benchmarks for testing should be provided.
  • Availability: Preferences will be given to tools or compilers that are freely available (at either the source or binary level). Exceptions may be made for industry and commercial tools that cannot be made publicly available for business reasons.
  • Foundations: Papers should incorporate the principles underpinning Code Generation and Optimization (CGO). However, a thorough discussion of theoretical foundations is not required; a summary of such should suffice.
  • Artifact Evaluation: The submitted artifact must be functional and supports the claims made in the paper. Submission of an artifact is mandatory for papers presenting a tool.

Artifact Evaluation

The Artifact Evaluation process is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. This process contributes to improved reproducibility in research that should be a great concern to all of us. There is also some evidence that papers with a supporting artifact receive higher citations than papers without (Artifact Evaluation: Is It a Real Incentive? by B. Childers and P. Chrysanthis).

Authors of accepted papers at CGO have the option of submitting their artifacts for evaluation within two weeks of paper acceptance. To ease the organization of the AE committee, we kindly ask authors to indicate at the time they submit the paper, whether they are interested in submitting an artifact. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Additional information is available on the CGO AE web page. Authors of accepted papers are encouraged, but not required, to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.


Authors should carefully consider the difference in focus with the co-located conferences when deciding where to submit a paper. CGO will make the proceedings freely available via the ACM DL platform during the period from two weeks before to two weeks after the conference. This option will facilitate easy access to the proceedings by conference attendees, and it will also enable the community at large to experience the excitement of learning about the latest developments being presented in the period surrounding the event itself.

Submission Site

Papers can be submitted at https://cgo23.hotcrp.com.

Submission Guidelines

Please make sure that your paper satisfies ALL of the following requirements before it is submitted:

  • The paper must be original material that has not been previously published in another conference or journal, nor is currently under review by another conference or journal. Note that you may submit material presented previously at a workshop without copyrighted proceedings.

  • Your submission is limited to ten (10) letter-size (8.5″x11″), single-spaced, double-column pages, using 10pt or larger font, not including references. There is no page limit for references. The ACM SIGPLAN templates must be used with the following options: \documentclass[sigplan,10pt,review,anonymous]{acmart}. Submissions not adhering to these submission guidelines may be outright rejected at the discretion of the program chairs. (Please make sure your paper prints satisfactorily on letter-size (8.5″x11″) paper: this is especially important for submissions from countries where A4 paper is standard.)

  • Papers are to be submitted for double-blind review. Blind reviewing of papers will be done by the program committee, assisted by outside referees. Author names as well as hints of identity are to be removed from the submitted paper. Use care in naming your files. Source file names, e.g., Joe.Smith.dvi, are often embedded in the final output as readily accessible comments. In addition, do not omit references to provide anonymity, as this leaves the reviewer unable to grasp the context. Instead, if you are extending your own work, you need to reference and discuss the past work in third person, as if you were extending someone else’s research. We realize in doing this that for some papers it will still be obvious who the authors are. In this case, the submission will not be penalized as long a concerted effort was made to reference and describe the relationship to the prior work as if you were extending someone else’s research. For example, if your name is Joe Smith:

    In previous work [1,2], Smith presented a new branch predictor for …. In this paper, we extend their work by …

    Bibliography

    [1] Joe Smith, “A Simple Branch Predictor for …,” Proceedings of CGO 2019.

    [2] Joe Smith, “A More Complicated Branch Predictor for…,” Proceedings of CGO 2019.

  • Your submission must be formatted for black-and-white printers and not color printers. This is especially true for plots and graphs in the paper.
  • Please make sure that the labels on your graphs are readable without the aid of a magnifying glass. Typically the default font sizes on the graph axes in a program like Microsoft Excel are too small.
  • Please number the pages.
  • The paper must be written in English.
  • The paper must be submitted in PDF. We cannot accept any other format, and we must be able to print the document just as we receive it. We strongly suggest that you use only the four widely-used printer fonts: Times, Helvetica, Courier and Symbol.
  • Please make sure that the output has been formatted for printing on LETTER size paper. If generating the paper using “dvips”, use the option “-P cmz -t letter”, and if that is not supported, use “-t letter”.
  • The Artifact Evaluation process is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. Authors of accepted papers have the option of submitting their artifacts for evaluation within one week of paper acceptance. To ease the organization of the AE committee, we kindly ask authors to indicate at the time they submit the paper, whether they are interested in submitting an artifact. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Additional information is available on the CGO AE web page. Authors of accepted papers are encouraged, but not required, to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.
  • Authors must register all their conflicts on the paper submission site. Conflicts are needed to ensure appropriate assignment of reviewers. If a paper is found to have an undeclared conflict that causes a problem OR if a paper is found to declare false conflicts in order to abuse or “game” the review system, the paper may be rejected.

  • Please declare a conflict of interest with the following people for any author of your paper:

    • Your Ph.D. advisor(s), post-doctoral advisor(s), Ph.D. students, and post-doctoral advisees, forever.
    • Family relations by blood or marriage, or their equivalent, forever (if they might be potential reviewers).
    • People with whom you have collaborated in the last FIVE years, including:
    • Co-authors of accepted/rejected/pending papers.
    • Co-PIs on accepted/rejected/pending grant proposals.
    • Funders (decision-makers) of your research grants, and researchers whom you fund.
    • People (including students) who shared your primary institution(s) in the last FIVE years.
    • Other relationships, such as close personal friendship, that you think might tend to affect your judgment or be seen as doing so by a reasonable person familiar with the relationship.
    • “Service” collaborations such as co-authoring a report for a professional organization, serving on a program committee, or co-presenting tutorials, do not themselves create a conflict of interest. Co-authoring a paper that is a compendium of various projects with no true collaboration among the projects does not constitute a conflict among the authors of the different projects.
    • On the other hand, there may be others not covered by the above with whom you believe a COI exists, for example, an ongoing collaboration that has not yet resulted in the creation of a paper or proposal. Please report such COIs; however, you may be asked to justify them. Please be reasonable. For example, you cannot declare a COI with a reviewer just because that reviewer works on topics similar to or related to those in your paper. The PC Chair may contact co-authors to explain a COI whose origin is unclear.
    • We hope to draw most reviewers from the PC and the ERC, but others from the community may also write reviews. Please declare all your conflicts (not just restricted to the PC and ERC). When in doubt, contact the program co-chairs.