Keynote abstract: The two decades have seen enormous progress in the broad application of computation to topical problems in science and engineering. By selected examples I will illustrate the current status of the field of molecular simulation, which employs computer simulation algorithms & methodologies based on the principles of quantum mechanics and statistical mechanics to problems at the interface between materials science and chemical biology. The prospects for future applications in the biomedical arena (nano-medicine) will also be touched on, albeit briefly.
Biography: Michael L. Klein received his Ph.D. in Chemistry from the University of Bristol, UK. After holding post-doc positions in Italy, the UK and the US, he joined the staff of National Research Council of Canada in 1968. In 1987 he moved to the University of Pennsylvania as Professor of Chemistry. He became Director of the Laboratory for Research on the Structure of Matter in 1993. In 2009, Professor Klein joined Temple as a Laura H. Carnell Professor of Science and the Director of the Institute for Computational Molecular Science. He was appointed Dean of the College of Science and Technology at Temple in 2013.
Professor Klein is a member of the National Academy of Sciences (2009), a Fellow of the Royal Society of London (2003), and an Honorary Fellow of Trinity College in Cambridge, UK (2013). His NAS election citation states: “Klein has advanced the frontiers of computer simulation for condensed phase molecular systems. His research has influenced the interpretation of experiments on the structural and dynamical behavior of disordered crystals, hydrogen bonded liquids, conducting fluids, supercooled liquids, self-assembled monolayers, and lipid bilayers.”
Keynote abstract: In this talk we discuss one of the challenges we face in high performance computing which is the increased communication cost, the fact that the time needed to communicate a floating-point number between two processors exceeds by huge factors the time required to perform a single floating point operation by one of the processors. Several works have shown that this gap has been increasing exponentially and it is predicted that it will continue to do so in the foreseeable future! Motivated by this trend, we describe novel algorithms for linear algebra computational kernels that drastically reduce the communication cost with respect to classic algorithms.
Biography: Laura Grigori received a Ph.D. in Computer Science (2001) from Université Henri Poincaré, France, INRIA Lorraine. After spending two years at UC Berkeley and LBNL as a postdoctoral researcher, she joined INRIA in January 2004.
She was a member of Sage group at INRIA Rennes and Grand-Large group at INRIA Saclay - Ile de France and LRI, Paris 11 University. Since January 2013 she leads Alpines, a joint group between INRIA Paris and J.L. Lions Laboratory, UPMC. During the academic years 2014/2016 she was on a sabbatical leave as a Visiting Professor/Researcher at UC Berkeley.
Keynote abstract: The Inmos transputer - the first microcomputer designed for concurrent processing - established Bristol as a centre for microprocessor design. Along with its concurrent programming language, occam, the transputer was used in concurrent computers and in specialised concurrent systems for graphics, vision, machine-learning and real-time control. Bristol’s innovations are widely used today and are relevant in the emerging world of ‘Clouds’ connecting a growing internet of ‘Things’ - and Robots, or ‘cyber-physical-systems’.
Clouds will need to support applications that bring together data intensive, high-performance and even real-time computing, and scale to millions of processors. They will need to be energy-efficient; they account for a rapidly increasing proportion of world-wide energy consumption. Things need low-power and energy-efficient processing along with communications and real-time interfaces. Robots need embedded concurrent computing for intelligence and control, integrated with thousands of real-time interfaces. And all of these need understandable, efficient and trustworthy programming tools.
I will propose innovations that could be used either in new architectures or in modifications to existing ones. The aim is to provide the predictable, real-time, concurrent and parallel processing needed for Clouds, Things and Robots, along with the memory-management and fault-containment needed for recent programming languages. Some of these ‘innovations’ date from the 1970s!
Biography: David May is the CTO and co-founder of XMOS, and Professor of Computer Science at Bristol University, UK. He graduated in CS from Cambridge University in 1972 and then spent several years working on architectures and languages for distributed processing. In 1979 he joined Inmos and then spent 16 years in the semiconductor industry. David was the architect of the Inmos Transputer – the first microprocessor designed to support multiprocessing – and the designer of the OCCAM concurrent programming language.
David joined Bristol University as Head of Computer Science in 1995 and continued an active involvement with Bristol’s growing microelectronics cluster and its investors. His most recent venture is XMOS, which he co-founded in 2005. David has 40 granted patents with many pending patents centered around microprocessor technology. David was elected a Fellow of the Royal Society of London in 1990 for his contributions to computer architecture and parallel computing, and a Fellow of the UK Royal Academy of Engineering in 2010.