{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:54:21Z","timestamp":1771959261128,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4]]},"DOI":"10.1109\/cgo.2011.5764694","type":"proceedings-article","created":{"date-parts":[[2011,5,9]],"date-time":"2011-05-09T16:40:43Z","timestamp":1304959243000},"page":"267-276","source":"Crossref","is-referenced-by-count":6,"title":["Prioritizing constraint evaluation for efficient points-to analysis"],"prefix":"10.1109","author":[{"given":"Rupesh","family":"Nasre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Govindarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250767"},{"key":"ref11","article-title":"Scalable context-sensitive points-to analysis using multi-dimensional bloom fil-ters","author":"nasre","year":"2009","journal-title":"APLAS"},{"key":"ref12","author":"cormen","year":"2009","journal-title":"Introduction to Algorithms"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/237814.238000"},{"key":"ref14","article-title":"Exploiting pointer and location equivalence to optimize pointer analysis","author":"hardekopf","year":"2007","journal-title":"SAS"},{"key":"ref15","year":"0","journal-title":"The Llvm Compiler Infrastructure"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349310"},{"key":"ref17","author":"hardekopf","year":"0"},{"key":"ref18","year":"0","journal-title":"Deep-Propagation"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178264"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781144"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349309"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375613"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277667"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"ref9","article-title":"Worklist management strategies for dataflow analysis","author":"kanamori","year":"1994","journal-title":"MSR Technical Report MSR-TR-2004–10"},{"key":"ref1","author":"andersen","year":"1994","journal-title":"Program analysis and specialization for the C programming language"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348916"},{"key":"ref22","article-title":"Scaling Java points-to analysis using spark","author":"lhotak","year":"2003","journal-title":"CC"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378855"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15769-1_26"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45789-5_15"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/512976.512978"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250766"}],"event":{"name":"2011 9th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","location":"Chamonix, France","start":{"date-parts":[[2011,4,2]]},"end":{"date-parts":[[2011,4,6]]}},"container-title":["International Symposium on Code Generation and Optimization (CGO 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5755493\/5764641\/05764694.pdf?arnumber=5764694","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T05:23:23Z","timestamp":1490073803000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5764694\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cgo.2011.5764694","relation":{},"subject":[],"published":{"date-parts":[[2011,4]]}}}