_id,doi,title
3358,10.1145/1966445.1966476,Scheduling large jobs by abstraction refinement