Dr. rer. nat. Alexander Heinecke
From Sccswiki
(Redirected from Alexander Heinecke, M.Sc., M.Sc. with honors)
Address:
 Guest from:
 Intel Corporation
 Systems and Software Research
 Parallel Computing Lab
 2200 Mission College Blvd.
 SC12303
 Santa Clara, CA, 950541537
 USA
Awards
 Together with with his coauthors, Alexander Heinecke received the PRACE ISC Award 2014 for their paper "Sustained Petascale Performance of Seismic Simulations with SeisSol on SuperMUC" at the "International Supercomputing Conference 2014", Leipzig. More information can be found at [1].
 Together with their coauthors, Wolfgang Eckhardt, Alexander Heinecke and HansJoachim Bungartz received the PRACE ISC Award 2013 for their paper "591 TFLOPS MultiTrillion Particles Simulation on SuperMUC" at the "International Supercomputing Conference 2013", Leipzig. More information can be found at [2].
 Together with NICS, Appro and Intel Labs Alexander Heinecke was able to place the supercomputer called BEACON (installed at NICS) at #1 spot of Nov. 2012 Green500 list.
 Alexander Heinecke was awarded the Intel Doctoral Student Honor Programme Award in 2012.
 Alexander Heinecke and Dirk Pflüger were awarded the Best Paper Award for their publication entitled "Multi and ManyCore Data Mining with Adaptive Sparse Grids" at the 2011 ACM International Conference on Computing Frontiers.
Publications
Volume 2016

S. Becker, K. Stöbener, S. Werth, S. Eckelsbach, W. Eckhardt, A. Heinecke, N. Tchipev, H.J. Bungartz, J. Vrabec and H. Hasse: High accuracy molecular dynamics simulation of fluids at interfaces [BibTeX].
In S. Wagner, A. Bode, H. Brüchle and M. Brehm (ed.), High Performance Computing in Science and Engineering Garching/Munich 2016, p. 122–123. Bayerische Akademie der Wissenschaften, München, July 2016. 
A. Heinecke, A. Breuer, M. Bader and P. Dubey: High Order Seismic Simulations on the Intel Xeon Phi Processor (Knights Landing) [BibTeX].
In M. J. Kunkel, P. Balaji and J. Dongarra (ed.), High Performance Computing: 31st International Conference, ISC High Performance 2016, Volume 9697 of Lecture Notes in Computer Science, p. 343–362, June 2016. 
A. Breuer, A. Heinecke and M. Bader: Petascale Local Time Stepping for the ADERDG Finite Element Method [BibTeX].
In 2016 IEEE International Parallel & Distributed Processing Symposium, p. 854–863, June 2016. 
A. Heinecke, A. Breuer and M. Bader: High Performance Seismic Simulations [BibTeX].
In J. Jeffers, J. Reinders and A. Sodani (ed.), Intel Xeon Phi Processor High Performance Programming  Knights Landing Edition, p. Chapter 21. Morgan Kaufmann, May 2016. 
A. Heinecke, R. Karlstetter, D. Pflüger and H.J. Bungartz: Data Mining on Vast Datasets as a Cluster System Benchmark [BibTeX].
In Concurrency and Computation: Practice and Experience, Volume 28(7), p. 2145–2165. John Wiley & Sons, 2016. submitted.
Volume 2015

A. Breuer, A. Heinecke, L. Rannabauer and M. Bader: HighOrder ADERDG Minimizes Energy and TimetoSolution of SeisSol [BibTeX].
In High Performance Computing, 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 1216, 2015, Proceedings, Volume 9137 of Lecture Notes in Computer Science, p. 340–357. Springer, July 2015. 
N. Tchipev, A. Wafai, C. W. Glass, W. Eckhardt, A. Heinecke, H.J. Bungartz and P. Neumann: Optimized Force Calculation of Molecular Dynamics Simulations for the Intel Xeon Phi [BibTeX].
In EuroPar 2015: Parallel Processing Workshops, Volume 9523 of Lecture Notes in Computer Science, p. 774–785. Springer, Vienna, June 2015. 
R. Brook, A. Heinecke, A. Costa, P. Peltz Jr., V. Betro, T. Baer, M. Bader and P. Dubey: Beacon: Deployment and Application of Intel Xeon Phi Coprocessors for Scientific Computing [BibTeX].
In Computing in Science and Engineering, Volume 17(2), p. 65–72. IEEE, March 2015. Issue on High Performance Computing.
Volume 2014

A. Heinecke, A. Breuer, S. Rettenberger, M. Bader, A.A. Gabriel, C. Pelties, A. Bode, W. Barth, X.K. Liao, K. Vaidyanathan, M. Smelyanskiy and P. Dubey: Petascale High Order Dynamic Rupture Earthquake Simulations on Heterogeneous Supercomputers [BibTeX].
In Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis SC14, p. 3–14. IEEE, New Orleans, LA, USA, November 2014. Gordon Bell Finalist. 
A. Breuer, A. Heinecke, S. Rettenberger, M. Bader, A.A. Gabriel and C. Pelties: Sustained Petascale Performance of Seismic Simulations with SeisSol on SuperMUC [pdf] [BibTeX].
In J.M. Kunkel, T. T. Ludwig and H.W. Meuer (ed.), Supercomputing  29th International Conference, ISC 2014, Volume 8488 of Lecture Notes in Computer Science, p. 1–18. Springer, Heidelberg, June 2014. PRACE ISC Award 2014. 
A. Marek, V. Blum, R. Johanni, V. Havu, B. Lang, T. Auckenthaler, A. Heinecke, H.J. Bungartz and H. Lederer: The ELPA Library  Scalable Parallel Eigenvalue Solutions for Electronic Structure Theory and Computational Science [] [BibTeX].
In Journal of Physics: Condensed Matter, Volume 26(21), p. 213201. IOP Publishing, May 2014. 
K. Vaidyanathan, K. Pamnany, D. D. Kalamkar, A. Heinecke, M. Smelyanskiy, J. Park, D. Kim, A. Shet G, B. Kaul, B. Jo'o and P. Dubey: Improving Communication Performance and Scalability of Native Applications on Intel Xeon Phi Coprocessor Clusters [BibTeX].
In 28th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2014, Phoenix, AZ, USA, May 1923, 2014, May 2014. accepted for publication. 
A. Breuer, A. Heinecke, M. Bader and C. Pelties: Accelerating SeisSol by Generating Vectorized Code for Sparse Matrix Operators [pdf] [BibTeX].
In Parallel Computing  Accelerating Computational Science and Engineering (CSE), Volume 25 of Advances in Parallel Computing, p. 347–356. IOS Press, April 2014. 
A. Heinecke: Boosting Scientific Computing Applications through Leveraging Data Parallel Architectures [BibTeX].
Dissertation, Institut für Informatik, Technische Universität München. Verlag Dr. Hut, München, January 2014. 
A. Marek, V. Blum, R. Johanni, V. Havu, B. Lang, T. Auckenthaler, A. Heinecke, H.J. Bungartz and H. Lederer: The ELPA Library  Scalable Parallel Eigenvalue Solutions for Electronic Structure Theory and Computational Science [BibTeX].
In PsiK Research Highlight, Volume 2014(1), January 2014. 
H.J. Bungartz, W. Eckhardt and A. Heinecke: LargeScale Molecular Dynamics in Chemical Engineering [pdf] [BibTeX].
In S. Wagner, A. Bode, H. Satzger and M. Brehm (ed.), High Performance Computing in Science and Engineering, p. 194–195. LeibnizRechenzentrum, Garching/Munich, 2014.
Volume 2013

A. Heinecke, J. Jepsen and H.J. Bungartz: ManyCore Architectures Boost the Pricing of Basket Options on Adaptive Sparse Grids [BibTeX].
In WHPCF'13: Sixth Workshop on High Performance Computational Finance held in conjunction with Supercomputing 2013: The International Conference for High Performance Computing, Networking, Storage and Analysis, p. 1–9. ACM, Denver, CO, USA, November 2013. 
A. Heinecke, A. Breuer, S. Rettenberger, M. Bader, A. Gabriel and C. Pelties: Optimized Kernels for large scale earthquake simulations with SeisSol, an unstructured ADERDG code [BibTeX].
In Supercomputing 2013, The International Conference for High Performance Computing, Networking, Storage and Analysis.. IEEE, Denver, November 2013. Poster abstract, accepted for publication. 
W. Eckhardt, A. Heinecke, W. Hoelzl and H.J. Bungartz: Vectorization of MultiCenter, HighlyParallel RigidBody Molecular Dynamics Simulations [pdf] [BibTeX].
In Supercomputing 2013, The International Conference for High Performance Computing, Networking, Storage and Analysis.. IEEE, Denver, November 2013. Poster abstract.. 
W. Eckhardt, A. Heinecke, R. Bader, M. Brehm, N. Hammer, H. Huber, H.G. Kleinhenz, J. Vrabec, H. Hasse, M. Horsch, M. Bernreuther, C. Glass, C. Niethammer, A. Bode and H.J. Bungartz: 591 TFLOPS MultiTrillion Particles Simulation on SuperMUC [BibTeX].
In International Supercomputing Conference (ISC) Proceedings 2013, Volume 7905 of Lecture Notes in Computer Science, p. 1–12. Springer, Heidelberg, Germany, June 2013. 
A. Heinecke and D. Pflüger: Emerging Architectures Enable to Boost Massively Parallel Data Mining using Adaptive Sparse Grids [BibTeX].
In International Journal of Parallel Programming, Volume 41(3), p. 357–399. Springer US, New York, June 2013. 
A. Heinecke, D. Pflüger, D. Budnikov, M. Klemm, A. Narkis, M. Shevtsov and A. Zaks: Demonstrating Performance Portability of A Custom OpenCL Data Mining Application to the Intel(R) Xeon Phi(TM) Coprocessor [BibTeX].
In International Workshop on OpenCL Proceedings 2013, May 2013. accepted for publication. 
A. Heinecke, K. Vaidyanathan, M. Smelyanskiy, A. Kobotov, R. Dubtsov, G. Henry, G. Chrysos, A. G Shet and P. Dubey: Design and Implementation of the Linpack Benchmark for Single and MultiNode Systems Based on Intel(R) Xeon Phi(TM) Coprocessor [BibTeX].
In 27th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2013, Cambridge, MA, USA, May 2024, 2013, p. 126–137. IEEE Computer Society, Boston, USA, May 2013. 
W. Eckhardt and A. Heinecke: SuperMUC boosts the largest molecular dynamics simulation by 4X in Number of Particles [BibTeX].
In inside  Innovatives Supercomputing in Deutschland, Volume 11(1), p. 19–21, May 2013. 
A. Heinecke: Solving Highdimensional Problems on Processors with Integrated GPU [BibTeX].
In Facing the MultiCore Challenge III, Volume 7686 of Lecture Notes in Computer Science, p. 121–122. Springer, Heidelberg, Germany, 2013.
Volume 2012

A. Heinecke and C. Trinitis: Cacheoblivious Matrix Algorithms in the Age of Multi and ManyCores [BibTeX].
In Concurrency and Computation: Practice and Experience, Volume 2974. John Wiley & Sons, Ltd, December 2012. doi: 10.1002/cpe.2974. 
A. Heinecke, B. Peherstorfer, D. Pflüger and Z. Song: Sparse Grid Classifiers as Base Learners for AdaBoost [BibTeX].
In 2012 International Conference on High Performance Computing and Simulation (HPCS),, p. 161–166. IEEE, Madrid, July 2012. 
A. Heinecke, S. Schraufstetter and H.J. Bungartz: A highlyparallel BlackScholes Solver based on Adaptive Sparse Grids [BibTeX].
In International Journal of Computer Mathematics, Volume 89(9), p. 1212–1238. Taylor & Francis, June 2012. 
A. Heinecke, T. Auckenthaler and C. Trinitis: Exploiting StateoftheArt x86 Architectures in Scientific Computing [BibTeX].
In Proceeding of the 11th International Symposium on Parallel and Distributed Computing  ISPDC 2012, p. 47–54. IEEE, Munich, June 2012. 
W. Eckhardt and A. Heinecke: An efficient Vectorization of LinkedCell Particle Simulations [BibTeX].
In ACM International Conference on Computing Frontiers, p. 241–243, May 2012. 
A. Heinecke, M. Klemm, D. Pflüger, A. Bode and H.J. Bungartz: Extending a Highly Parallel Data Mining Algorithm to the Intel(R) Many Integrated Core Architecture [BibTeX].
In EuroPar 2011: Parallel Processing Workshops: Proceedings of the 4th Workshop on UnConventional High Performance Computing 2011 (UCHPC 2011), Volume 7156/2012 of Lecture Notes in Computer Science, p. 375–384. Springer, Bordeaux, France, May 2012. 
A. Heinecke, M. Klemm, H. Pabst and D. Pflüger: Towards highperformance implementations of a custom HPC kernel using Intel(R) Array Building Blocks [BibTeX].
In Facing the MulticoreChallenge II, Volume 7174 of Lecture Notes in Computer Science, p. 36–47. Springer, Berlin, May 2012. 
H.J. Bungartz, A. Heinecke, D. Pflüger and S. Schraufstetter: Parallelizing a BlackScholes solver based on finite elements and sparse grids [BibTeX].
In Concurrency and Computation: Practice and Experience. John Wiley & Sons, Ltd, March 2012. 
A. Heinecke, M. Klemm and H.J. Bungartz: GPGPU to ManyCore: NVIDIA Fermi and Intel Many Integrated Core Architecture [BibTeX].
In Computing in Science & Engineering, Volume 14(2), p. 78–83, February 2012. doi:10.1109/MCSE.2012.23.
Volume 2011

H.J. Bungartz, A. Heinecke, D. Pflüger and S. Schraufstetter: Option Pricing with a Direct Adaptive Sparse Grid Approach [BibTeX].
In Journal of Computational and Applied Mathematics, Volume 236(15), p. 3741 –– 3750, October 2011. online Okt. 2011. 
A. Heinecke and C. Trinitis: Making TifaMMy fit for Tomorrow: Towards Future Shared Memory Systems and Beyond [BibTeX].
In 2011 International Conference on High Performance Computing and Simulation (HPCS), p. 517–524. IEEE, Istanbul, Turkey, July 2011. 
A. Heinecke and D. Pflüger: Multi and ManyCore Data Mining with Adaptive Sparse Grids [BibTeX].
In Proceedings of the 8th ACM International Conference on Computing Frontiers, p. 29:1–29:10. ACM, New York, USA, May 2011. 
A. Heinecke: Integration von Adaptivität in einen Dünngitterlöser für BasketOptionen [pdf] [BibTeX].
Master's thesis, Institut für Informatik, Technische Universität München, February 2011.
Volume 2010

A. Heinecke, C. Trinitis and J. Weidendorfer: Porting existing cacheoblivious Linear Algebra HPC Modules to Larrabee Architecture [BibTeX].
In Proceedings of the 2010 ACM International Conference on Computing Frontiers, p. 91–92. ACM Digital Library, May 2010. 
A. Heinecke: Realisierung einer Randbehandlung für adaptive Dünngittermethoden mit Anwendungen im Data Mining und in der Finanzmathematik [pdf] [BibTeX].
Diplomarbeit, Institut für Informatik, Technische Universität München, February 2010. 
H.J. Bungartz, A. Heinecke, D. Pflüger and S. Schraufstetter: Parallelizing a BlackScholes Solver based on Finite Elements and Sparse Grids [BibTeX].
In IEEE International Parallel & Distributed Processing Symposium, 2010.
Volume 2009

M. Bader and A. Heinecke: Cache Oblivious Dense and Sparse Matrix Multiplication Based on Peano Curves [pdf] [BibTeX].
In Proceedings of the PARA 08, 9th International Workshop on StateoftheArt in Scientific and Parallel Computing of Lecture Notes in Computer Science. Springer, December 2009. accepted for publication. 
A. Heinecke and M. Bader: Towards manycore implementation of LU decomposition using Peano Curves [BibTeX].
In Conference On Computing Frontiers, UCHPCMAW '09: Proceedings of the combined workshops on UnConventional high performance computing workshop plus memory access workshop, p. 21–30. ACM, New York, May 2009.
Volume 2008

M. Bader, R. Franz, S. Guenther and A. Heinecke: Hardwareoriented Implementation of Cache Oblivious Matrix Operations Based on Spacefilling Curves [BibTeX].
In R. Wyrzykowski, J. Dongarra, K. Karczewski and J. Wasniewski (ed.), Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Volume 4967 of Lecture Notes in Computer Science, p. 628–638. Springer, May 2008. 
A. Heinecke and M. Bader: Parallel matrix multiplication based on spacefilling curves on shared memory multicore platforms [BibTeX].
In Proceedings of the 2008 Computing Frontiers Conference and colocated workshops: MAW'08 and WRFT'08, p. 385–392, May 2008. 
A. Heinecke: Cache Optimised Data Structures and Algorithms for Sparse Matrices [pdf] [BibTeX].
Bachelor's thesis, Institut für Informatik, TU München, April 2008.
Talks
Volume 2015

N. Tchipev, A. Wafai, C. Glass, W. Eckhardt, A. Heinecke, H.J. Bungartz and P. Neumann: Optimized Force Calculation of Molecular Dynamics Simulations for the Intel Xeon Phi [BibTeX].
EuroPar 2015: Parallel Processing Workshops, Vienna, August 2015. 
N. Tchipev, W. Eckhardt, A. Heinecke, P. Neumann and H.J. Bungartz: SIMD Vectorization for Molecular Dynamics [BibTeX].
ISC '15 BoF Exploiting SIMDParallelism  Today and Tomorrow, Frankfurt, July 2015.
Volume 2013

A. Heinecke: ManyCore Architectures Boost the Pricing of Basket Options on Adaptive Sparse Grids [BibTeX].
WHPCF'13: Sixth Workshop on High Performance Computational Finance held in conjunction with Supercomputing 2013: The International Conference for High Performance Computing, Networking, Storage and Analysis, Denver, CO, USA, November 2013. 
A. Heinecke: Optimized Kernels for large scale earthquake simulations with SeisSol, an unstructured ADERDG code [BibTeX].
Supercomputing 2013, The International Conference for High Performance Computing, Networking, Storage and Analysis, Denver, CO, USA, November 2013. Poster Presentation. 
A. Heinecke: Advanced Scientific Computing on Intel Xeon Phi [BibTeX].
ScalPerf'13 Scalable Approaches to High Performance and High Productivity Computing, Bertinoro, Italy, September 2013. invited. 
A. Heinecke: Advanced Scientific Computing on Intel Xeon Phi [BibTeX].
International Conference on Parallel Computing (ParCo) 2013, Garching, Germany, September 2013. invited. 
A. Heinecke: Accelerators in Scientific Computing: Is It Worth the Effort? [BibTeX].
The 2013 International Conference on High Performance Computing & Simulation (HPCS 2013), Helsinki, Finland, July 2013. invited. 
A. Heinecke: High Performance Option Pricing based on Spatially Adaptive Sparse Grids [BibTeX].
13th International Conference Computational and Mathematical Methods in Science and Engineering 2013, Almeria, Spain, June 2013. invited. 
A. Heinecke: Optimizing the Scalable Direct Eigenvalue Solver ELPA on stateoftheart x86 Architectures [BibTeX].
International Supercomputing Conference (ISC) 2013, Leipzig, Germany, June 2013. Poster Presentation. 
A. Heinecke: FLOPS are free  Data Parallelism in the x86 Architecture [BibTeX].
RRZE, RRZE, Erlangen, Germany, May 2013. invited. 
A. Heinecke: Efficient Numerical Algorithms on Xeon Phi [BibTeX].
Leogang 13, Leogang, Austria, March 2013. 
A. Heinecke: ELPA: A Highly Scalable Eigensolver for Petaflop Applications [BibTeX].
SIAM Computational Science and Engineering (SIAM CSE), Boston, USA, February 2013.
Volume 2012

A. Heinecke: Data Mining with Adaptive Sparse Grids on a Intel(R) Xeon(R) Phi(TM) Cluster [BibTeX].
Invited Demo at Intel Booth SC12, The International Conference for High Peformance Computing, Networking, Storage and Analysis, Salt Lake City, USA, November 2012. 
A. Heinecke: Solving Highdimensional Problems on Processors with Integrated GPU [BibTeX].
Facing the MulticoreChallenge III, Stuttgart, Germany, October 2012. poster presentation. 
A. Heinecke: A Note on Duality of Peak and Application Peak Performance [BibTeX].
ScalPerf'12 Scalable Approaches to High Performance and High Productivity Computing, Bertinoro, Italy, September 2012. 
A. Heinecke: From GPGPUs to ManyCore CoProcessors [BibTeX].
The 2012 International Conference on High Performance Computing & Simulation (HPCS 2012), Madrid, Spain, July 2012. 
A. Heinecke and C. Trinitis: Teaching Parallel Programming: How to use the Intel(R) ManyCore Testing Lab [BibTeX].
The 2012 International Conference on High Performance Computing & Simulation (HPCS 2012), Madrid, Spain, July 2012. Invited Demonstration. 
A. Heinecke: Sparse Grid Classifiers as Base Learners for AdaBoost [BibTeX].
International Workshop on Machine Learning, Pattern Recognition & Applications (MLPRA 2012) colocated with the 2012 International Conference on High Performance Computing & Simulation (HPCS 2012), Madrid, Spain, July 2012. 
A. Heinecke: A CacheAware and Vectorized UpDown Implementation supporting Spatially Adaptive Sparse Grids [BibTeX].
Workshop on Sparse Grids and Applications, Munich, Germany, July 2012. 
A. Heinecke: Exploiting StateoftheArt x86 Architectures in Scientific Computing [BibTeX].
he 11th International Symposium on Parallel and Distributed Computing  ISPDC 2012, Munich, Germany, June 2012. 
A. Heinecke: Unleashing the Power of Intel Xeon Phi in Data Mining [BibTeX].
International Supercomputing Conference, Hamburg, Germany, June 2012. Invited Intel Booth Presentation.
Volume 2011

A. Heinecke: From GPGPUs to ManyCore CoProcessors [BibTeX].
Scalable Approaches to High Performance and High Productivity Computing 2011, Bertinoro, September 2011. Invited Talk..  A. Heinecke: Towards highperformance implementations of a custom HPC kernel using Intel(R) Array Building Blocks [BibTeX], Karlsruhe, September 2011.

A. Heinecke: Extending a Highly Parallel Data Mining Algorithm to the Intel(R) Many Integrated Core Architecture [BibTeX].
The 4th Workshop on UnConventional High Performance Computing 2011 (UCHPC 2011), colocated with EuroPar 2011, Bordeaux, August 2011. 
A. Heinecke: Making TifaMMy fit for Tomorrow: Towards Future Shared Memory Systems and Beyond [BibTeX].
International Workshop on New Algorithms and Programming Models for the Manycore Era, APMM 2011, colocated with HPCS 2011, Istanbul, July 2011. 
A. Heinecke and C. Trinitis: Teaching Parallel Programming: How to use the Intel(R) ManyCore Testing Lab [BibTeX].
The 2011 International Conference on High Performance Computing & Simulation, Istanbul, July 2011. Invited Demonstration.. 
A. Heinecke: How to use Intel(R) HyperThreading Technology in Scientific Computing [BibTeX].
International Supercomputing Conference, Hamburg, June 2011. Intel Booth Presentation.. 
A. Heinecke: TifaMMy on Intel(R) Knights Ferry (Intel(R) Many Integrated Core Architecture) [BibTeX].
International Supercomputing Conference, Hamburg, June 2011. Invited Demonstration at Intel Booth.. 
A. Heinecke: Towards a highlyparallel PDESolver using Adaptive Sparse Grids on Compute Clusters [pdf] [BibTeX].
HIM  Workshop on Sparse Grids and Applications, Bonn, Germany, May 2011. 
A. Heinecke: Multi and ManyCore Data Mining with Adaptive Sparse Grids [pdf] [BibTeX].
2011 ACM International Conference on Computing Frontiers, Ischia, Italy, May 2011.
Volume 2010

A. Heinecke: Porting existing cacheoblivious Linear Algebra HPC Modules to Larrabee Architecture [BibTeX].
2010 ACM International Conference on Computing Frontiers, Bertinoro, Italy, May 2010.
Volume 2009

A. Heinecke: Towards manycore implementation of LU decomposition using Peano Curves [BibTeX].
2009 ACM International Conference on Computing Frontiers, Ischia, Italy, May 2009.
Volume 2008

A. Heinecke: Parallel matrix multiplication based on spacefilling curves on shared memory multicore platforms [BibTeX].
ACM International Conference on Computing Frontiers, Ischia, May 2008.