Publications

Peer-Reviewed Journal Publications

Efficient Utilization of SIMD Extensions (2005)

F. Franchetti, S. Kral, J. Lorenz, and C. W. Ueberhuber.

In Proceedings of the IEEE: Special Issue on Program Generation, Optimization, and Platform Adaptation. Vol. 93, no. 2, pages 409-425.

Vectorization techniques for the Blue Gene/L double FPU (2005)

J. Lorenz, S. Kral, F. Franchetti, and C. W. Ueberhuber.

In IBM Journal of Research and Development. Vol. 49, no. 2/3, pages 437-446.

Peer-Reviewed Articles

Large-Scale Electronic Structure Calculations of High-Z Metals on the Blue Gene/L Platform (2006)

F. Gygi, E. W. Draeger, M. Schulz, B. R. de Supinski, J. A. Gunnels, V. Austel, J. C. Sexton, F. Franchetti, S. Kral, C. W. Ueberhuber, and J. Lorenz.

In Proceedings of Supercomputing 2006 -- Int'l Conference on High Performance Computing, Network, Storage, and Analysis.

Winner of the 2006 Gordon Bell Prize (Peak Performance Award).

Compiler Technology for Blue Gene Systems (2006)

S. Kral, M. Triska, and C. W. Ueberhuber.

In Proceedings of Euro-Par 2006 -- Int'l Conference on Parallel and Distributed Computing, pages 279-288.

Springer Lecture Notes in Computer Science (LNCS), vol. 4128.

Large-Scale First-Principles Molecular Dynamics Simulations on the BlueGene/L Platform using the Qbox Code (2005)

F. Gygi, E. Draeger, B. R. de Supinski, R. K. Yates, F. Franchetti, S. Kral, J. Lorenz, C. W. Ueberhuber, J. Gunnels, and J. Sexton.

In Proceedings of Supercomputing 2005 -- Int'l Conference on High Performance Computing, Networking and Storage.

2005 Gordon Bell Prize (Peak Performance Award) finalist; runner-up.

Automatically Tuned FFTs for BlueGene/L's Double FPU (2005)

F. Franchetti, S. Kral, J. Lorenz, M. Pueschel, and C. W. Ueberhuber.

Springer Lecture Notes in Computer Science (LNCS), vol. 3402, pages 23-36.

Automatically Optimized FFT Codes for the BlueGene/L Supercomputer (2004)

F. Franchetti, S. Kral, J. Lorenz, M. Pueschel, C. W. Ueberhuber, and P. Wurzinger.

In Proceedings of VecPar 2004 -- 6th Int'l Conference on High Performance Computing in Computational Sciences, vol. 1, pages 233-246.

FFT Compiler Techniques (2004)

S. Kral, F. Franchetti, J. Lorenz, C. W. Ueberhuber, and P. Wurzinger.

In Proceedings of CC 2004 -- 13th Int'l Conference on Compiler Construction, pages 217-231.

Springer Lecture Notes in Computer Science (LNCS), vol. 2985.

SIMD Vectorization of Straight Line FFT Code (2003)

S. Kral, F. Franchetti, J. Lorenz, and C. W. Ueberhuber.

In Proceedings of Euro-Par 2003 -- Int'l Conference on Parallel and Distributed Computing, pages 251-260.

Declarative program development in Prolog with GUPU (2002)

U. W. Neumerkel and S. Kral.

In Proceedings of WLPE 2002 -- 12th Workshop on Logic Programming Environments, pages 77-86.

Architecture Independent Short Vector FFTs (2001)

F. Franchetti, H. Karner, S. Kral, and C. W. Ueberhuber.

In Proceedings of ICASSP 2001 -- Int'l Conference on Acoustics, Speech, and Signal Processing. Vol. 2, pages 1109-1112.

Slicing zur Fehlersuche in Logikprogrammen (2000)

S. Kral, F. Mesnard, and U. W. Neumerkel.

In Proceedings of WLP 2000 -- 14. Workshop Logische Programmierung, pages 241-243.

Theses

FFT Compiler Techniques for 2-way SIMD Architectures (2004)

Master's Thesis, supervised and evaluated by Prof. C. W. Ueberhuber.

submitted in December 2003, accepted in January 2004, Vienna University of Technology.

FFT Specific Compilation on IBM Blue Gene (2006)

Ph.D. Thesis, supervised by Prof. C. W. Ueberhuber, evaluated by Prof. C. W. Ueberhuber and Prof. A. Steininger.

submitted in May 2006, accepted in June 2006, Vienna University of Technology.

Invited Publications

FFT Specific Compilation on IBM Blue Gene (2007)

In "Ausgezeichnete Informatikdissertationen 2006", Dorothea Wagner et al. (eds.), Gesellschaft für Informatik, Bonn, Germany, 2007.

Lecture Notes in Informatics (LNI), GI-Edition, pages 129-138.

Technical Reports (Austrian Science Fund, Special Research Program SFB F011 "AURORA")

Practical Assessment of MAP's Vectorizer and Backend (2003)

Backend Optimization for Straight Line Code (2003)

Optimization Techniques for SIMD Vectorized Straight Line Code (2003)

F. Franchetti, S. Kral, J. Lorenz, and C. W. Ueberhuber. May 2003.

SIMD Vectorization of Straight Line Code (2003)

F. Franchetti, S. Kral, J. Lorenz, and C. W. Ueberhuber. January 2003.

Compiler Technology for the SIMD Vectorization of Straight Line Code (2003)

S. Kral, F. Franchetti, J. Lorenz, and C. W. Ueberhuber. January 2003.

The Advanced FFT Program Generator GENFFT (2001)

M. Frigo and S. Kral. March 2001.

Last update: Sun Jan 6 20:03:06 CET 2008