Ayal Zaks

Alfred J. Park, Cheng-Hong Li, Ravi Nair, Nobuyuki Ohba, Uzi Shvadron, Ayal Zaks, Eugen Schenfeld: Towards flexible exascale stream processing system simulation. Simulation 88(7): 832-851 (2012)

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

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

Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August: Speculative separation for privatization and reductions. PLDI 2012: 359-370

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, Elton Ashton, Edwin V. Bonilla, John Thomson, Christopher K. I. Williams, Michael F. P. O'Boyle: Milepost GCC: Machine Learning Enabled Self-tuning Compiler. International Journal of Parallel Programming 39(3): 296-327 (2011)

Harm Munk, Eduard Ayguadé, Cédric Bastoul, Paul M. Carpenter, Zbigniew Chamski, Albert Cohen, Marco Cornero, Philippe Dumont, Marc Duranton, Mohammed Fellahi, Roger Ferrer, Razya Ladelsky, Menno Lindwer, Xavier Martorell, Cupertino Miranda, Dorit Nuzman, Andrea C. Ornstein, Antoniu Pop, Sebastian Pop, Louis-Noël Pouchet, Alex Ramírez, David Ródenas, Erven Rohou, Ira Rosen, Uzi Shvadron, Konrad Trifunovic, Ayal Zaks: ACOTES Project: Advanced Compiler Technologies for Embedded Streaming. International Journal of Parallel Programming 39(3): 397-450 (2011)

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

Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams, Albert Cohen, Ayal Zaks: Speculatively vectorized bytecode. HiPEAC 2011: 35-44

Nathaniel Azuelos, Idit Keidar, Ayal Zaks: Tolerant Value Speculation in Coarse-Grain Streaming Computations. IPDPS 2011: 490-501

Mircea Namolaru, Albert Cohen, Grigori Fursin, Ayal Zaks, Ari Freund: Practical aggregation of semantical program properties for machine learning based optimization. CASES 2010: 197-206

Olga Golovanevsky, Alon Dayan, Ayal Zaks, David Edelsohn: Trace-Based Data Layout Optimizations for Multi-core Processors. HiPEAC 2010: 81-95

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

Konrad Trifunovic, Dorit Nuzman, Albert Cohen, Ayal Zaks, Ira Rosen: Polyhedral-Model Guided Loop-Nest Auto-Vectorization. PACT 2009: 327-337

Dorit Nuzman, Ayal Zaks: Outer-loop vectorization: revisited for short SIMD architectures. PACT 2008: 2-11

Dorit Nuzman, Mircea Namolaru, Ayal Zaks, Jeff H. Derby: Compiling for an indirect vector register architecture. Conf. Computing Frontiers 2008: 199-208

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

Liza Fireman, Erez Petrank, Ayal Zaks: New Algorithms for SIMD Alignment. CC 2007: 1-15

Bilha Mendelson, Shlomit S. Pinter, Ayal Zaks: Introduction. International Journal of Parallel Programming 34(2): 111-112 (2006)

Dorit Nuzman, Ira Rosen, Ayal Zaks: Auto-vectorization of interleaved data for SIMD. PLDI 2006: 132-143

Baruch Schieber, Daniel Geist, Ayal Zaks: Computing the minimum DNF representation of Boolean functions defined by intervals. Discrete Applied Mathematics 149(1-3): 154-173 (2005)

David Edelsohn, Wolfgang Gellerich, Mustafa Hagog, Dorit Naishlos, Mircea Namolaru, Eberhard Pasch, Hartmut Penner, Ulrich Weigand, Ayal Zaks: Contributions to the GNU Compiler Collection. IBM Systems Journal 44(2): 259-278 (2005)

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, Daniel Littrell, Marina Biberstein, Dorit Naishlos, Hillery C. Hunter: An innovative low-power high-performance programmable signal processor for digital communications. IBM Journal of Research and Development 47(2-3): 299-326 (2003)

Dorit Naishlos, Marina Biberstein, Shay Ben-David, Ayal Zaks: Vectorizing for a SIMdD DSP architecture. CASES 2003: 2-11

Noga Alon, Ayal Zaks: Algorithmic Aspects of Acyclic Edge Colorings. Algorithmica 32(4): 611-614 (2002)

Noga Alon, Benny Sudakov, Ayal Zaks: Acyclic edge colorings of graphs. Journal of Graph Theory 37(3): 157-167 (2001)

Ayal Zaks, Vitaly Feldman, Nava Aizikowitz: Sealed calls in Java packages. OOPSLA 2000: 83-92

Noga Alon, Ayal Zaks: T-choosability in Graphs. Discrete Applied Mathematics 82(1-3): 1-13 (1998)

Noga Alon, Ayal Zaks: Progressions in Sequences of Nearly Consecutive Integers. J. Comb. Theory, Ser. A 84(1): 99-109 (1998)