The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Traditionally, this allocation is done manually by the programmer. Recent work explores automatic lock allocation, aiming primarily to minimize conflicts and maximize parallelism by…

This dissertation examines a number of syntactic and semantic aspects of the full set of TAM (tense-aspect-modal) markers in the dialect of Paciran Javanese (Western Malayo-Polynesian, Austronesian), spoken in East Java, Indonesia.First, I identify the inventory of TAM markers in…