Compiler Technology

Publications

• "Outer-Loop Vectorization - Revisited for Short SIMD Architectures",
  Dorit Nuzman and Ayal Zaks, PACT 2008, October 25-29, 2008, Toronto, Canada.
• "MILEPOST GCC: machine learning based research compiler",
  Grigori Fursin et al., GCC Developers' Summit, June 17-19, 2008, Ottawa, Canada.
  (Presentation)
• "Compiling for an Indirect Vector Register Architecture",
  Dorit Nuzman, Mircea Namolaru, Ayal Zaks, and Jeff H. Derby, Computing Frontiers, May 5-7, 2008, Ischia, Italy.
• "Automatic Feature Generation for Setting Compilers Heuristics",
  Hugh Leather, Elad Yom-Tov, Mircea Namolaru and Ari Freund, SMART '08 (2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion ), January 27, 2008, Goteborg, Sweden.
• "Struct-reorg: current status and future perspectives",
  Olga Golovanevsky and Ayal Zaks, GCC Developers' Summit, July 18-20, 2007, Ottawa, Canada.
• "Loop-based SLP",
  Ira Rosen, Dorit Nuzman, and Ayal Zaks, GCC Developers' Summit, July 18-20, 2007, Ottawa, Canada.
• "New Algorithms for SIMD Alignment",
  Liza Fireman, Erez Petrank, and Ayal Zaks, CC 2007 (16th International Conference on Compiler Construction), March 26-30, 2007, Braga, Portugal.
  (PPT presentation)
• "Matrix flattening and transposing in GCC",
  Razya Ladelsky, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
• "Autovectorization in GCC — two years later",
  Dorit Nuzman and Ayal Zaks, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
• "Devirtualization in GCC",
  Mircea Namolaru, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
• "Auto-Vectorization of Interleaved Data for SIMD",
  Dorit Nuzman, Ira Rosen, and Ayal Zaks, PLDI, June 12-14, 2006, Ottawa, Canada, 132-143.
  (PPT presentation)
• "Exploiting the AltiVec Unit for Commercial Applications",
  Daniel Citron, Hiroshi Inoue, Takao Moriyama, Motohiro Kawahito, Hideaki Komatsu, and Toshio Nakatani, CAECW-9 (9th workshop on Computer Architecture Evaluation using Commercial Workloads), Feb 12, 2006, Austin, Texas.
• "Multi-platform Auto-vectorization",
  Dorit Nuzman and Richard Henderson, CGO-4 (The 4th Annual International Symposium on Code Generation and Optimization), March 26-29, 2006, Manhattan, New York, 281-294.
• "Auto-Vectorization of Interleaved Data for SIMD",
  Dorit Nuzman, Ira Rosen and Ayal Zaks, IBM Research Report H-0235, 2005.
• "Contributions to the GNU Compiler Collection GCC",
  David Edelsohn et al, IBM Systems Journal issue on Open Source, volume 44, number 2 May 2005, pp 259-278.
• "Interprocedural Constant Propagation and Method Versioning in GCC",
  Razya Ladelsky and Mircea Namolaru, The 2005 GCC Developers Summit (http://www.gccsummit.org/2005/), pp 133-143.
• "Cache Aware Data Layout Reorganization Optimization in GCC",
  Mostafa Hagog and Caroline Tice, The 2005 GCC Developers Summit (http://www.gccsummit.org/2005/), pp 69-92.
• "Autovectorization in GCC",
  Dorit Naishlos, The 2004 GCC Developers Summit (http://www.gccsummit.org/2004/) pp 105-118.
• "TCP/IP checksum vectorization using AltiVec",
  Ayal Zaks, Daniel Citron and Dorit Naishlos, IBM developerWorks, 26 Oct 2004.
• "Swing Modulo Scheduling in GCC",
  Mostafa Hagog and Ayal Zaks, The 2004 GCC Developers Summit (http://www.gccsummit.org/2004/), pp 55-64.
• "Vectorizing for SIMdD DSP Architecture",
  Dorit Naishlos, Shay Ben-David, Marina Biberstein and Ayal Zaks, CASES 2003 (International Conference on Compilers, Architecture and Synthesis for Embedded Systems, Oct 30-Nov 1, 2003, San Jose, California.), pp. 2-11.
• "Computing the minimum DNF representation of Boolean functions defined by intervals",
  Baruch Schieber, Danny Geist and Ayal Zaks, Discrete Applied Mathematics, Volume 149, Issues 1-3, 1 August 2005, Pages 154-173. See also IBM Technical Report RC23335 (W0409-058) September 10, 2004.
• "An innovative low-power high-perfomance programmable signal processor for digital communications",
  J.H. Moreno et al, IBM Journal of Research and Development, Volume 47, Number 2/3, March/May 2003, pp. 299-326.
• "Compiler Vectorization Techniques for a Disjoint SIMD Architecture",
  Dorit Naishlos, Marina Biberstein and Ayal Zaks, IBM Research Report H-0146 November 17, 2002.
• "Minimizing Inter-File Transfers in Architectures with Separate Address Registers",
  Mayan Moudgill and Ayal Zaks, IBM Research Report RC 21884 (98461) 16 Nov. 2000.
• "Sealed Calls in Java Packages",
  Ayal Zaks, Vitaly Feldman and Nava Aizikowitz, OOPSLA 2000, Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), Minneapolis, Minnesota, Oct. 2000, pp. 83-92.