{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:09:27Z","timestamp":1763968167430,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1109\/cgo.2015.7054201","type":"proceedings-article","created":{"date-parts":[[2015,3,10]],"date-time":"2015-03-10T21:47:12Z","timestamp":1426024032000},"page":"213-224","source":"Crossref","is-referenced-by-count":3,"title":["Scalable conditional induction variables (CIV) analysis"],"prefix":"10.1109","author":[{"given":"Cosmin E.","family":"Oancea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence","family":"Rauchwerger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349322"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/301104.301112","article-title":"Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization","author":"moon","year":"1999","journal-title":"Princ Pract of Par Prog PPoPP"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2364474.2364484"},{"key":"ref13","first-page":"156","article-title":"Set-Congruence Dynamic Analysis for Software Thread-Level Speculation","author":"oancea","year":"2008","journal-title":"Lang Comp Par Comp (LCPC)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254124"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36036-7_5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/509705.509708"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926449"},{"key":"ref18","first-page":"4","article-title":"The Omega Test: a Fast and Practical Integer Programming Algorithm for Dependence Analysis","volume":"8","author":"pugh","year":"1992","journal-title":"Communications of the ACM"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291900"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/M-PDT.1994.329796"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/602770.602858"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008013906463"},{"journal-title":"Technical Report","year":"0","author":"edward","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/200994.201003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/12.42122"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1075382.1075385"},{"key":"ref1","article-title":"Speedup of Ordinary Programs","author":"banerjee","year":"1988","journal-title":"Dept of Comp Sci Univ of Illinois at Urbana-Champaign Report No 79-989"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/71.752782"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024597010150"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1152154.1152165"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/32.391376"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2004.1342558"},{"key":"ref26","first-page":"427","article-title":"Induction Variable Analysis Without Idiom Recognition: Beyond Monotonicity","author":"wu","year":"2001","journal-title":"Lang Comp Par Comp (LCPC)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/224538.224648"}],"event":{"name":"2015 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2015,2,7]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2015,2,11]]}},"container-title":["2015 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7041249\/7054173\/07054201.pdf?arnumber=7054201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T17:30:41Z","timestamp":1691515841000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7054201\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cgo.2015.7054201","relation":{},"subject":[],"published":{"date-parts":[[2015,2]]}}}