_id,doi,title
1992,10.1145/2676726.2677008,Succinct representation of concurrent trace sets
1604,10.1145/2676726.2676968,Quantitative interprocedural analysis