Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

We propose a new approach for producing precise constrained slices of programs in a language such as C. We build upon a previous approach for this problem, which is based on term-rewriting, which primarily targets loop-free fragments and is fully precise in this setting. We incorporate abstract interpretation into term-rewriting, using a given arbitrary abstract lattice, resulting in a novel technique for slicing loops whose precision is linked to the power of the given abstract lattice. We address pointers in a first-class manner, including when they are used within loops to traverse and update recursive data structures. Finally, we illustrate the comparative precision of our slices over those of previous approaches using representative examples.

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

Task-parallel languages are increasingly popular. Many of them provide expressive mechanisms for intertask synchronization. For example, OpenMP 4.0 will integrate data-driven execution semantics derived from the StarSs research language. Compared to the more restrictive data-parallel and fork-join concurrency models, the advanced features being introduced into task-parallelmodels in turn enable improved scalability through load balancing, memory latency hiding, mitigation of the pressure on memory bandwidth, and, as a side effect, reduced power consumption. In this article, we develop a systematic approach to compile loop nests into concurrent, dynamically constructed graphs of dependent tasks. We propose a simple and effective heuristic that selects the most profitable parallelization idiom for every dependence type and communication pattern. This heuristic enables the extraction of interband parallelism (cross-barrier parallelism) in a number of numerical computations that range from linear algebra to structured grids and image processing. The proposed static analysis and code generation alleviates the burden of a full-blown dependence resolver to track the readiness of tasks at runtime. We evaluate our approach and algorithms in the PPCG compiler, targeting OpenStream, a representative dataflow task-parallel language with explicit intertask dependences and a lightweight runtime. Experimental results demonstrate the effectiveness of the approach.

PICES-GLOBEC International Program on Climate Change and Carrying Capacity: Report of the PICES 2002 Volunteer Observing Ship Workshop.

On April 4-5, 2002, the PICES MONITOR Task Team, the PICES Continuous Plankton Recorder (CPR) Advisory Panel, and the Exxon Valdez Oil Spill Trustee Council’s Gulf Ecosystem Monitoring (GEM) program convened a workshop in Seattle, U.S.A., to consider enhanced instrumentation for volunteer observing ships (VOS), particularly instruments to complement CPR data. (PDF contains 44 pages)

Proceedings of the Eighteenth International Sea Turtle Symposium, 3-7 March 1998, Mazatlán, Sinaloa, Mexico

For the first time in its history, the International Symposium on Sea Turtle Biology and Conservation migrated to a site outside of the United States. Thus the Eighteenth edition was hosted by the Mazatlán Research Unit of the Instituto de Ciencias del Mar y Limnología of the Mexican National Autonomous University (UNAM) in Mazatlán, Sinaloa (Mexico) where it was held from 3-7, March, 1998. Above all, our symposium is prominent for its dynamism and enthusiasm in bringing together specialists from the world´s sea turtle populations. In an effort to extend this philosophy, and fully aware of how fast the interest in sea turtles has grown, the organizers paid special attention to bring together as many people as possible. With the tremendous efforts of the Travel Committee and coupled with a special interest by the Latin American region´s devotees, we managed to get 653 participants from 43 countries. The number of presentations increased significantly too, reaching a total of 265 papers, ranging from cutting-edge scientific reports based on highly sophisticated methods, to the experiences and successes of community-based and environmental education programs. A priority given by this symposium was the support and encouragement for the construction of "bridges" across cultural and discipline barriers. We found success in achieving a multinational dialogue among interest groups- scientists, resource managers, decision makers, ngo's, private industry. There was a broad representation of the broad interests that stretch across these sectors, yet everyone was able to listen and offer their own best contribution towards the central theme of the Symposium: the conservation of sea turtles and the diversity of marine and coastal environments in which they develop through their complicated and protracted life cycle. Our multidisciplinary approach is highly important at the present, finding ourselves at a cross roads of significant initiatives in the international arena of environmental law, where the conservation of sea turtles has a key role to play. Many, many people worked hard over the previous 12 months, to make the symposium a success. Our sincerest thanks to all of them: Program committee: Laura Sarti (chair), Ana Barragán, Rod Mast, Heather Kalb, Jim Spotilla, Richard Reina, Sheryan Epperly, Anna Bass, Steve Morreale, Milani Chaloupka, Robert Van Dam, Lew Ehrhart, J. Nichols, David Godfrey, Larry Herbst, René Márquez, Jack Musick, Peter Dutton, Patricia Huerta, Arturo Juárez, Debora Garcia, Carlos Suárez, German Ramírez, Raquel Briseño, Alberto Abreu; Registration and Secretary: Jane Provancha (chair), Lupita Polanco; Informatics: Germán Ramírez, Carlos Suárez; Cover art: Blas Nayar; Designs: Germán Ramírez, Raquel Briseño, Alberto Abreu. Auction: Rod Mast; Workshops and special meetings: Selina Heppell; Student prizes: Anders Rhodin; Resolutions committee: Juan Carlos Cantú; Local organizing committee: Raquel Briseño, Jane Abreu; Posters: Daniel Ríos and Jeffrey Semminoff; Travel committee: Karen Eckert (chair), Marydele Donnelly, Brendan Godley, Annette Broderick, Jack Frazier; Student travel: Francisco Silva and J. Nichols; Vendors: Tom McFarland and J. Nichols; Volunteer coordination: Richard Byles; Latin American Reunión: Angeles Cruz Morelos; Nominations committee: Randall Arauz, Colleen Coogan, Laura Sarti, Donna Shaver, Frank Paladino. Once again, Ed Drane worked his usual magic with the Treasury of the Symposium Significant financial contributions were generously provided by government agencies. SEMARNAP (Mexico´s Ministry of Environment, Natural Resources and Fisheries) through its central office, the Mazatlán Regional Fisheries Research Center (CRIP-Mazatlán) and the National Center for Education and Capacity Building for Sustainable Development (CECADESU) contributed to the logistics and covered the costs of auditoria and audiovisual equipment for the Symposium, teachers and their hotels for the Community Development and Environmental Education workshop in the 5th Latin American Sea Turtle Specialists; DIF (Dept of Family Affairs) provided free accomodation and food for the more than 100 participants in the Latin American Reunion. In this Reunion, the British Council-Mexico sponsored the workshop on the Project Cycle. The National Chamber of the Fisheries Industry (CANAINPES) kindly sponsored the Symposium´s coffee breaks. Personnel from the local Navy (Octave Zona Naval) provided invaluable aid in transport and logistics. The Scientific Coordination Office from UNAM (CICUNAM) and the Latin American Biology Network (RELAB) also provided funding. Our most sincere recognition to all of them. In the name of this Symposium´s compilers, I would like to also express our gratitude to Wayne Witzell, Technical Editor for his guidance and insights and to Jack Frazier for his help in translating and correcting the English of contributions from some non-native English speakers. Many thanks to Angel Fiscal and Tere Martin who helped with the typing in the last, last corrections and editions for these Proceedings. To all, from around the world, who generously helped make the 18th Symposium a huge success, shared their experiences and listened to ours, our deepest gratitude! (PDF contains 316 pages)

Lessons from established breeding programs: terrestrial and aquatic animals

Some relevant components of selection program theory and implementation are reviewed. This includes pedigree recording, genetic evaluation, balancing genetic gains and genetic diversity and tactical integration of key issues. Lessons learned are briefly described – illustrating how existing method and tools can be useful when launching a program in a novel species, and yet highlighting the importance of proper understanding and custom application according to the biology and environments of that species.

Breeding programs on Atlantic salmon in Norway: lessons learned

An early establishment of selective breeding programs on Atlantic salmon has been crucial for the success of developing efficient and sustainable salmon farming in Norway. A national selective breeding program was initiated by AKVAFORSK at the beginning of the 1970s, by collecting fertilized eggs from more than 40 Norwegian river populations. Several private selective breeding programs were also initiated in the 1970s and 1980s. While these private programs were initiated using individual selection (i.e. massselection) to genetically improve growth, the national program was designed to gradually include all economically important traits in the breeding objective (i.e. growth, age at sexual maturation, disease resistance and quality traits) using a combined family and within-family selection strategy. Independent of which selection strategy and program design used, it is important to secure and maintain a broad genetic variation in the breeding populations to maximize selection response. It has been documented that genetically improved salmon from the national selective breeding program grow twice as fast as wild Atlantic salmon and require 25 per cent less feed, while salmon representing the private breeding programs all show an intermediate growth performance. As a result of efficient dissemination of genetically improved Atlantic salmon, the Norwegian salmon farming industry has reduced its feed costs by more than US$ 230 million per year! The national selective breeding program on Atlantic salmon was commercialized into a breeding company (AquaGen) in 1992. Five years later, several private companies and the AKVAFORSK Genetics Center (AFGC) established a second breeding company (SalmoBreed) using breeding candidates from one of the private breeding programs. These two breeding companies have similar products, but different strategies on how to organize the breeding program and to disseminate the genetically improved seed to the Norwegian salmon industry. Greater competition has increased the necessity to document the genetic gain obtained from the different programs and to market the economic benefits of farming the genetically improved breeds. Both breeding companies have organized their dissemination to get a sufficient share of the economic benefits in order to sustain and improve their breeding programs.

Cooperative artificial propagation programs for salmon and steelhead, 1995-1996

Fifteen cooperative fish rearing and planting programs for salmon and steelhead were active from July 1, 1995 through June 30, 1996. For all programs, 134,213 steelhead trout,(Oncorhynchus mykiss), 7,742,577 chinook salmon,(~ tshawytscha),and 25,075 coho salmon(~ kisutch) were planted. (PDF contains 26 pages.)

Cooperative artificial propagation programs for salmon and steelhead, 1996-1997

Fourteen cooperative fish rearing and planting programs for salmon and steelhead were active from July 1, 1996 through June 30, 1997. For all programs, 208,922 steelhead trout, (Oncorhynchus mykiss), 10,334,457 chinook salmon,(O. tshawytscha),and 60,681 coho salmon(O. kisutch) were planted. (PDF contains 24 pages.)

Introduction to MLML_DBASE Programs

The MLML DBASE family of programs described here provides many of the. algorithms used in oceanographic data reduction, general data manipulation and line graphs. These programs provide a consistent file structure for serial data typically encountered in oceanography. This introduction should provide enough general knowledge to explain the scope of the program and to run the basic MLML_DBASE programs. It is not intended as a programmer's guide. (PDF contains 50 pages)