InTheLoop | 11.05.2007
The weekly newsletter for Berkeley Lab Computing Sciences
November 5, 2007
Latest CRD Report Features Computational Cosmology Center and More
Find out what some of your fellow researchers are up to in the latest issue of the CRD Report. This edition features stories about the new Computational Cosmology Center, a new Alvarez Fellow, climate research, a new book on petascale computing, and SC07. The issue can be found at http://crd.lbl.gov/html/news/CRDreport1007.pdf.
Seminar Today on “Static Analysis of Dynamic Data Structures”
Radu Rugina from the Department of Computer Science at Cornell University will speak at today’s Scientific Computing Seminar (Monday, November 5) from 1:00 to 2:00 pm in the Building 50B, 2222 Conference Room. The topic is “Static Analysis of Dynamic Data Structures.”
Here is the abstract:
“Dynamic allocation and destructive heap updates are fundamental language constructs that allow programmers to implement complex, efficient linked data structures. However, their flexibility makes it difficult for compilers and program analyzers to statically reason about the correct manipulation of such structures.
“In this talk I will discuss new heap analysis techniques and their application to error detection, program verification, and compiler transformations. These analyses are based on a novel approach where the compiler uses local reasoning about single heap cells, instead of global reasoning about the entire heap. This approach makes analyses precise enough to handle a large class of heap manipulation algorithms, and lightweight enough to scale to larger programs.”
“Shift Invariant Data Decomposition” Will Be Discussed on Friday
Morten Mørup from the Department of Intelligent Signal Processing, Technical University of Denmark, will present a Scientific Computing Seminar on “Shift Invariant Data Decomposition” on Friday, November 7, from 11:00 am to noon in the Building 50A, 5132 Conference Room.
Here is the abstract:
“Data mining by decomposition based on low rank approximations has become an important tool in the analysis of many types of data. However, often such low rank approximations are too restrictive for the data at hand. One cause violating the simple low rank structure is the occurrence of shifts, for instance, caused by delays between the various sources and sensors measuring the data. We formulate models that can take into account shifts in the data and derive efficient algorithms to solve for these types of shift invariant representations. The approach generalizes to data of more than two modalities (i.e., tensors). Applications within image and sound processing as well as analysis of neuroscience data such as EEG and fMRI are given.”
Nenad Vukmirovic Joins the Scientific Computing Group as Postdoc
The Scientific Computing Group welcomes Dr. Nenad Vukmirovic, who has joined them as a postdoctoral fellow. He will work with Lin-Wang Wang on electronic structure calculations for large organic molecules, with a focus on the charge patching method. Nenad received his Ph.D. from the University of Leeds in the UK this past summer. In his Ph.D. work, Nenad simulated electron devices, lasers, quantum dots, and electron transport. He also has experience in developing large scale scientific software. During his graduate studies, Nenad won several IEEE fellowships. As a high school student, Nenad was a gold medalist at the 30th International Physics Olympiad in
A Limited Number of HPCwire Newsletter Subscriptions Are Available
Computing Sciences pays a bulk rate for up to 50 staff subscriptions to the weekly HPCwire newsletter. There are currently 14 subscriptions available. Anyone interested in obtaining one should contact Jeanne Gerstle at JMGerstle@lbl.gov. Since Michael Feldman took over as HPCwire editor two years ago, the quality has improved dramatically with more original writing, so if you haven’t read the newsletter for a while, it’s worth another look.
About Computing Sciences at Berkeley Lab
The Lawrence Berkeley National Laboratory (Berkeley Lab) Computing Sciences organization provides the computing and networking resources and expertise critical to advancing the Department of Energy's research missions: developing new energy sources, improving energy efficiency, developing new materials and increasing our understanding of ourselves, our world and our universe.
ESnet, the Energy Sciences Network, provides the high-bandwidth, reliable connections that link scientists at 40 DOE research sites to each other and to experimental facilities and supercomputing centers around the country. The National Energy Research Scientific Computing Center (NERSC) powers the discoveries of 6,000 scientists at national laboratories and universities, including those at Berkeley Lab's Computational Research Division (CRD). CRD conducts research and development in mathematical modeling and simulation, algorithm design, data storage, management and analysis, computer system architecture and high-performance software implementation. NERSC and ESnet are DOE Office of Science User Facilities.
Lawrence Berkeley National Laboratory addresses the world's most urgent scientific challenges by advancing sustainable energy, protecting human health, creating new materials, and revealing the origin and fate of the universe. Founded in 1931, Berkeley Lab's scientific expertise has been recognized with 13 Nobel prizes. The University of California manages Berkeley Lab for the DOE’s Office of Science.
DOE’s Office of Science is the single largest supporter of basic research in the physical sciences in the United States, and is working to address some of the most pressing challenges of our time. For more information, please visit science.energy.gov.