The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane p is a copy of a frequently executed program path such that p has only one entry point at its beginning; p may have branches back to the original code, but the original code never branches into p. Classical data-flow analysis is...

Ariela Keysar is study director of the American Religious Identification Survey, 2001, and a Senior Research Fellow, Center for Jewish Studies of the Graduate Center of the City University of New York. Egon Mayer is co-principal investigator of ARIS 2001 and chairman and professor of sociology, Brooklyn College of the City University of New York. Barry A. Kosmin is co-principal investigator of ...

Reaction invariants are quantities that take the same values before, during and after a reaction. We identify a set of reaction invariants that are linear transformations of the species mole numbers. The material balances for chemically reacting mixtures correspond exactly to equating these reaction invariants before and after reaction has taken place. We present a systematic method for determi...

s of the Invited Talks Towards Automated Information Factories . . . . . . . . . . . . . . . . . . . . . . . . . . . .2Aris M. Ouksel Data Quality Not Your Typical Database Problem . . . . . . . . . . . . . . . . . . . . . .3