T-choosability in Graphs. - Noga Alon; Ayal Zaks (Discret. Appl. Math., 1998)

Progressions in Sequences of Nearly Consecutive Integers. - Noga Alon; Ayal Zaks (J. Comb. Theory A, 1998)

Sealed calls in Java packages. - Ayal Zaks; Vitaly Feldman; Nava Aizikowitz (OOPSLA, 2000)

Acyclic edge colorings of graphs. - Noga Alon; Benny Sudakov; Ayal Zaks (J. Graph Theory, 2001)

Algorithmic Aspects of Acyclic Edge Colorings. - Noga Alon; Ayal Zaks (Algorithmica, 2002)

Vectorizing for a SIMdD DSP architecture. - Dorit Naishlos; Marina Biberstein; Shay Ben-David; Ayal Zaks (CASES, 2003)

An innovative low-power high-performance programmable signal processor for digital communications. - Jaime H. Moreno; Victor V. Zyuban; Uzi Shvadron; Fredy D. Neeser; Jeff H. Derby; Malcolm S. Ware; Krishnan Kailas; Ayal Zaks; Amir B. Geva; Shay Ben-David; Sameh W. Asaad; Thomas W. Fox; et al. (IBM J. Res. Dev., 2003)

Computing the minimum DNF representation of Boolean functions defined by intervals. - Baruch Schieber; Daniel Geist; Ayal Zaks (Discret. Appl. Math., 2005)

Contributions to the GNU Compiler Collection. - David Edelsohn; Wolfgang Gellerich; Mustafa Hagog; Dorit Naishlos; Mircea Namolaru; Eberhard Pasch; Hartmut Penner; Ulrich Weigand; Ayal Zaks (IBM Syst. J., 2005)

Auto-vectorization of interleaved data for SIMD. - Dorit Nuzman; Ira Rosen; Ayal Zaks (PLDI, 2006)

Introduction. - Bilha Mendelson; Shlomit S. Pinter; Ayal Zaks (Int. J. Parallel Program., 2006)

New Algorithms for SIMD Alignment. - Liza Fireman; Erez Petrank; Ayal Zaks (CC, 2007)

Outer-loop vectorization: revisited for short SIMD architectures. - Dorit Nuzman; Ayal Zaks (PACT, 2008)

Compiling for an indirect vector register architecture. - Dorit Nuzman; Mircea Namolaru; Ayal Zaks; Jeff H. Derby (Conf. Computing Frontiers, 2008)

Topic 4: High Performance Architectures and Compilers. - Koen De Bosschere; Ayal Zaks; Michael C. Huang 001; Luis Piñuel (Euro-Par, 2008)

Polyhedral-Model Guided Loop-Nest Auto-Vectorization. - Konrad Trifunovic; Dorit Nuzman; Albert Cohen 001; Ayal Zaks; Ira Rosen (PACT, 2009)

Practical aggregation of semantical program properties for machine learning based optimization. - Mircea Namolaru; Albert Cohen 001; Grigori Fursin; Ayal Zaks; Ari Freund 001 (CASES, 2010)

Trace-Based Data Layout Optimizations for Multi-core Processors. - Olga Golovanevsky; Alon Dayan; Ayal Zaks; David Edelsohn (HiPEAC, 2010)

Flow: A Stream Processing System Simulator. - Alfred J. Park; Cheng-Hong Li; Ravi Nair; Nobuyuki Ohba; Uzi Shvadron; Ayal Zaks; Eugen Schenfeld (PADS, 2010)

Vapor SIMD: Auto-vectorize once, run everywhere. - Dorit Nuzman; Sergei Dyshel; Erven Rohou; Ira Rosen; Kevin Williams 001; David Yuste; Albert Cohen 001; Ayal Zaks (CGO, 2011)

Speculatively vectorized bytecode. - Erven Rohou; Sergei Dyshel; Dorit Nuzman; Ira Rosen; Kevin Williams 001; Albert Cohen 001; Ayal Zaks (HiPEAC, 2011)

Tolerant Value Speculation in Coarse-Grain Streaming Computations. - Nathaniel Azuelos; Idit Keidar; Ayal Zaks (IPDPS, 2011)

Milepost GCC: Machine Learning Enabled Self-tuning Compiler. - Grigori Fursin; Yuriy Kashnikov; Abdul Wahid Memon; Zbigniew Chamski; Olivier Temam; Mircea Namolaru; Elad Yom-Tov; Bilha Mendelson; Ayal Zaks; Eric Courtois; François Bodin; Phil Barnard; et al. (Int. J. Parallel Program., 2011)

ACOTES Project: Advanced Compiler Technologies for Embedded Streaming. - Harm Munk; Eduard Ayguadé; Cédric Bastoul; Paul M. Carpenter; Zbigniew Chamski; Albert Cohen 001; Marco Cornero; Philippe Dumont; Marc Duranton; Mohammed Fellahi; Roger Ferrer; Razya Ladelsky; et al. (Int. J. Parallel Program., 2011)

Parallelizing more Loops with Compiler Guided Refactoring. - Per Larsen; Razya Ladelsky; Jacob Lidman; Sally A. McKee; Sven Karlsson; Ayal Zaks (ICPP, 2012)

Speculative separation for privatization and reductions. - Nick P. Johnson; Hanjun Kim 001; Prakash Prabhu; Ayal Zaks; David I. August (PLDI, 2012)

Parcae: a system for flexible parallel execution. - Arun Raman; Ayal Zaks; Jae W. Lee; David I. August (PLDI, 2012)

Towards flexible exascale stream processing system simulation. - Alfred J. Park; Cheng-Hong Li; Ravi Nair; Nobuyuki Ohba; Uzi Shvadron; Ayal Zaks; Eugen Schenfeld (Simul., 2012)

Fast condensation of the program dependence graph. - Nick P. Johnson; Taewook Oh; Ayal Zaks; David I. August (PLDI, 2013)

Streamlining Whole Function Vectorization in C Using Higher Order Vector Semantics. - Gil Rapaport; Ayal Zaks; Yosi Ben-Asher (IPDPS Workshops, 2015)

LLVM Framework and IR Extensions for Parallelization, SIMD Vectorization and Offloading. - Xinmin Tian; Hideki Saito 001; Ernesto Su; Abhinav Gaba; Matt Masten; Eric N. Garcia; Ayal Zaks (LLVM-HPC@SC, 2016)

LLVM Compiler Implementation for Explicit Parallelization and SIMD Vectorization. - Xinmin Tian; Hideki Saito 001; Ernesto Su; Jin Lin; Satish Guggilla; Diego Caballero; Matt Masten; Andrew Savonichev; Michael Rice; Elena Demikhovsky; Ayal Zaks; Gil Rapaport; et al. (LLVM-HPC@SC, 2017)

MemoDyn: exploiting weakly consistent data structures for dynamic parallel memoization. - Prakash Prabhu; Stephen R. Beard; Sotiris Apostolakis; Ayal Zaks; David I. August (PACT, 2018)

Message from the Program Chairs. - Mary Lou Soffa; Ayal Zaks (CGO, 2021)

Introduction to TTL, an Open Source Tensor and Tiling Library for OpenCL. - Christopher Gearing; Ayal Zaks (IWOCL, 2023)

If-Convert as Early as You Must. - Dorit Nuzman; Ayal Zaks; Ziv Ben-Zion (CC, 2024)