Front Page

The Liberty Research Group

Fast Condensation of the Program Dependence Graph [abstract] (ACM DL, PDF)
Nick P. Johnson, Taewook Oh, Ayal Zaks, and David I. August
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2013.

Parcae: A System for Flexible Parallel Execution [abstract] (PDF)
Arun Raman, Ayal Zaks, Jae W. Lee, and David I. August
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2012.

Speculative Separation for Privatization and Reductions [abstract] (ACM DL, PDF)
Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, and David I. August
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2012.

Tolerant Value Speculation in Coarse-Grain Streaming Computations [abstract] (IEEE Xplore, PDF)
Nathaniel Azuelos, Idit Keidar, and Ayal Zaks
Proceedings of the 25th IEEE International Parallel and Distributed Processing Symposium (IPDPS), May 2011.

Vapor SIMD: Auto-Vectorize Once, Run Everywhere [abstract] (IEEE Xplore)
Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams, David Yuste, Albert Cohen, and Ayal Zaks
Proceedings of the 2011 International Symposium on Code Generation and Optimization (CGO), April 2011.

Speculatively Vectorized Bytecode [abstract] (ACM DL)
Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams, Albert Cohen, and Ayal Zaks
Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC), January 2011.

Practical Aggregation of Semantical Program Properties for Machine Learning Based Compilation [abstract] (ACM DL)
Mircea Namolaru, Grigori Fursin, Albert Cohen, Ari Freund, and Ayal Zaks
Proceedings of the International Conference on Compilers and Synthesis for Embedded Systems (CASES), October 2010.

Trace-Based Data Layout Optimizations for Multi-Core Processors [abstract] (SpringerLink)
Olga Golovanevsky, Alon Dayan, Ayal Zaks, and David Edelsohn
Proceedings of the 5th International Conference on High Performance and Embedded Architectures and Compilers (HiPEAC), January 2010.
Winner Best Paper Award.

Polyhedral-Model Guided Loop-Nest Auto-Vectorization [abstract] (IEEE Xplore)
Konrad Trifunovic, Dorit Nuzman, Albert Cohen, Ayal Zaks, and Ira Rosen
Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques (PACT), 2009.

Outer-Loop Vectorization - Revisited for Short SIMD Architectures [abstract] (ACM DL)
Dorit Nuzman and Ayal Zaks
Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques (PACT), 2008.

New Algorithms for SIMD Alignment [abstract]
Liza Fireman, Erez Petrank, and Ayal Zaks
Proceedings of the 16th International Conference on Compiler Construction (CC), March 2007.

Auto-Vectorization of Interleaved Data for SIMD [abstract] (ACM DL)
Dorit Nuzman, Ira Rosen, and Ayal Zaks
Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2006.

Vectorizing for SIMdD DSP Architecture [abstract] (ACM DL)
Dorit Naishlos, Shay Ben-David, Marina Biberstein, and Ayal Zaks
Proceedings of the International Conference on Compilers and Synthesis for Embedded Systems (CASES), October 2003.

Sealed Calls in Java Packages [abstract] (ACM DL)
Ayal Zaks, Vitaly Feldman, and Nava Aizikowitz
Proceedings of the Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2000.