Two Poems

Poems include: Abortive and To a June Bu

Specifying and Executing Optimizations for Parallel Programs

Compiler optimizations, usually expressed as rewrites on program graphs, are a core part of all modern compilers. However, even production compilers have bugs, and these bugs are difficult to detect and resolve. The problem only becomes more complex when compiling parallel programs; from the choice of graph representation to the possibility of race conditions, optimization designers have a range of factors to consider that do not appear when dealing with single-threaded programs. In this paper we present PTRANS, a domain-specific language for formal specification of compiler transformations, and describe its executable semantics. The fundamental approach of PTRANS is to describe program transformations as rewrites on control flow graphs with temporal logic side conditions. The syntax of PTRANS allows cleaner, more comprehensible specification of program optimizations; its executable semantics allows these specifications to act as prototypes for the optimizations themselves, so that candidate optimizations can be tested and refined before going on to include them in a compiler. We demonstrate the use of PTRANS to state, test, and refine the specification of a redundant store elimination optimization on parallel programs.Comment: In Proceedings GRAPHITE 2014, arXiv:1407.767

Oh My Darling

THE HUGE BLACK cigar smelled horrible. The fat man who was smoking it, however,. seemed to enjoy it a great deal. . He chewed on it, putting it first in one corner of his mouth, then in the other. Clem watched him out of the corner of her eye. She was fascinated and disgusted by his appearance. His face was round and red. From it stuck a huge bulbous nose with tiny purple veins and red welts. The eyes were mere moist slits with a thin line of eyebrow above. The lips were large and purple. Once he smiled at her, and she saw the brown stubs of broken teeth. Sweat poured from his face and dropped onto his untidy brown suit. Clem could smell him and could feel him against her. Although she sat as close to the window as was possible, she could not get far enough away from him on the narrow seat. She was, therefore, uncomfortable. She pressed her forehead against the window and watched the trees and telephone poles flash by in neat rows

Cabbage Stew

I pulled my left arm from beneath the warm pile of blankets and coverlets. With small forefinger I touched the crystalline sheet of ice that covered the small window above my bed. The contact was strange: along my arm the minute, pale hairs rose with the goose pimples; a queer trembling passed through my body; my small bed trembled; and the hairs on my head seemed to want to pull from their roots. I quickly put my arm back under the comforting warmth of the blankets and pressed my nose into the pillow..

The revival of East European nationalisms

"July 10, 1965.""Prepared for the Fifth International Conference on World Politics, Noordwijk, Netherlands, September 13-18, 1965.""1605"--handwritten on coverIncludes bibliographical reference

The left in France, Italy, and Spain

"April 1979.""2237"--handwritten on cover"This will be the opening chapter of William E. Griffith, ed., The Left in France, Italy, and Spain (Lexington, Mass.: Lexington Books, to be published this year.)"Includes bibliographical reference

Middle East and the great powers

"November 8, 1976.""#2127"--handwritten on coverIncludes bibliographical reference

African crises and American policy

"1565"--handwritten on coverIncludes bibliographical rererence

Some aetiological factors of recurrent abortion.

One of the greatest challenges in obstetrics, is the high foetal loss which occurs in the first and second trimesters. A miscarriage is a cause of distress to any woman. Invariably the first question asked of her medical attendant by a woman who has recently had a miscarriage is, will it happen again? Apart from any mental anguish caused by a miscarriage, it is always accompanied by some degree of pain and haemorrhage, the latter is usually greater than the blood loss which accompanies the normal third stage in a third trimester labour. Haemorrhage with its accompanying shock is probably the commonest complication of abortion. Abortion thus accounts for a considerable percentage of the blood used in any institutional "Blood Bank". When sepsis complicates abortion the matter of criminal abortion immediately comes to mind, however, it must be realised that sepsis may also follow a spontaneous abortion, particularly if the patient is not curetted. Sepsis of the genital tract may cause permanent impairment of fertility. Cornual occlusion of the uterine tubes, 1s a frequent finding in women who have had a miscarriage. Apart from these two great complications of abortion there 1s also the risk of damage to the genital tract, in partioular, cervical lacerations. In addition to the sequelae of the condition itself, there are the added risks attendant to the treatment of the abortion, that is, the risk of anaesthetics and curettage