SoftAlloc: A Work Allocation Language with Soft Constraints.

Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan

Browse the full ICWS paper archive.