About Elepar and David DiNucci

This blog addresses tools for engineering correct and efficient concurrent programs, such as for high-performance and/or multicore computing.  The blogger, Dr. David C. DiNucci, has been a specialist in this field since the early 1990s.  (He spent the 1990s at the NAS Division of NASA Ames Research Center, first in the Parallel Tools Group, and then as a planning committee lead for a cutting edge grid project called Information Power Grid.)  He generally describes his approach (and the company he founded) as "Elepar", short for "Elemental Parallelism", the concept of breaking a problem down into elemental parts (like atomic transactions) which can each be considered separately and then assembled into a concurrent system  which does not violate the original reasoning.

Much of the discussion here involves a method he developed now known as Scalable Planning Language, or ScalPL.  Early posts in this blog introduce many of ScalPL's important concepts, but it is described in far more detail in a book written by DiNucci in 2012, called "Scalable Planning: Concurrent Action from Elemental Thinking".