Severo Ochoa Research Seminars
This talk will discuss recent technologies that Bruce Jacob and his group have helped to develop in high-performance systems, including Micron’s Hybrid Memory Cube, flash-based main memories, and high-bandwidth/high-capacity memory, and will discuss the impact of tomorrow’s memory technologies on tomorrow’s applications and operating systems.
This talk will cover the technical features of the RISC-V ISA design, which has the goals of scaling from the tiniest implementations for IoT up to the largest warehouse-scale computers, with support for extensive customization. We'll also describe industry-competitive open-source cores developed at UC Berkeley, all written in Chisel, a productive new open-source hardware design language.
Short Bio: Krste Asanović is a Professor in the EECS Department at the University of California, Berkeley. He received a PhD in Computer Science from UC Berkeley in 1998 then joined the faculty at MIT, receiving tenure in 2005. He returned to join the faculty at Berkeley in 2007, where he co-founded the Berkeley Parallel Computing Laboratory ("Par Lab").
His main research areas are computer architecture, VLSI design, parallel programming and operating system design. He is currently Director of the Berkeley ASPIRE lab tackling the challenge of improving computational efficiency now that transistor scaling is ending. He leads the free RISC-V ISA project, is Chairman of the RISC-V Foundation, and has recently co-founded SiFive Inc. to support commercial use of RISC-V processors. He is also an Associate Director at the Berkeley Wireless Research Center, and holds a joint appointment with the Lawrence Berkeley National Laboratory. He received the NSF CAREER award, and is an ACM Distinguished Scientist and an IEEE Fellow.
In this lecture, organised in collaboration with UPC, Dr Vargas will explore the key challenges and opportunities for data management in the new scientific world, and discuss how a possible data centric artificial intelligence community can best contribute to these exciting domains.
In the Big Data era, due to the ever-growing graph scale and algorithm complexity, several distributed graph processing frameworks have attracted many interests from both academia and industry. In this talk, will be investigated how to achieve the trade-off between performance and cost for large scale graph processing on the Cloud.
Fast content-based searches and complex analytics of the vast amount of data collected via social media, cell phones, ubiquitous smart sensors, and satellites is likely to be the biggest economic driver for the IT industry over the next decade. A cheaper and cooler alternative to large clusters which provides high-performance, high-capacity, scalable random-access flash storage, and allows computation near the data via FPGA-based programmable flash controllers will be presented.
In this talk, a structured approach to the management of HPC resilience using the concept of resilience-based design patterns will be presented. A design pattern is a general repeatable solution to a commonly occurring problem. The authors identify the commonly occurring problems and solutions used to deal with faults, errors and failures in HPC systems.
Prof. Christoph Schär uses emerging heterogeneous supercomputing architectures to accomplish limited-area weather and climate model simulations such as COSMO that is able to run entirely on GPUs (rather than CPUs). Please join us for his presentation on Tuesday March 28th at 12.00, room C6-E101.
This lecture is for BSC staff only. In this talk Prof. Sifakis will discuss rigorous system design as a formal and accountable process leading from requirements to correct-by-construction implementations.
This time we are honored to present a lecture by Prof. Joseph Sifakis, who was recognized with the prestigious Turing award in 2007 together with Edmund M. Clarke and E. Allen Emerson for their roles in developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries. Prof. Sifakis´ talk is titled On the Nature of Computing and it is open to everyone. This lecture is organized jointly with FIB as part of the FIB 40th anniversary program.
Joseph Sifakis is Emeritus Senior CNRS Researcher at Verimag. His current research interests cover fundamental and applied aspects of embedded systems design. The main focus of his work is on the formalization of system design as a process leading from given requirements to
trustworthy, optimized and correct-by-construction implementations.
Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, which he directed for 13 years. Verimag is a leading research laboratory in the area of embedded systems, internationally known for the development of the Lustre synchronous language used by the SCADE tool for the design of safety-critical avionics and space applications.
In 2007, Joseph Sifakis has received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today. Joseph Sifakis has had numerous administrative and managerial responsibilities both at French and European level. He has actively worked to reinvigorate European research in embedded systems as the scientific coordinator of the « ARTIST » European Networks of Excellence, for ten years. He has participated in many major industrial projects led by companies such as Airbus, EADS, France Telecom, Astrium, and STMicroelectronics. Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering, a member of Academia Europea, a member of the American Academy of Arts and Sciences, and a member of the National Academy of Engineering. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He has received the Leonardo da Vinci Medal in 2012. Joseph Sifakis has received in 2009 the Award of the Hellenic Parliament Foundation for Parliamentarism and Democracy. He is a commander of the Greek Order of the Phoenix. He has been the President of the Greek Council for Research and Technology for the period February 2014 – April 2016.