{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T08:42:43Z","timestamp":1765960963061},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/micro.2016.7783727","type":"proceedings-article","created":{"date-parts":[[2016,12,19]],"date-time":"2016-12-19T22:11:05Z","timestamp":1482185465000},"page":"1-12","source":"Crossref","is-referenced-by-count":13,"title":["CrystalBall: Statically analyzing runtime behavior via deep sequence learning"],"prefix":"10.1109","author":[{"given":"Stephen","family":"Zekany","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Rings","sequence":"additional","affiliation":[]},{"given":"Nathan","family":"Harada","sequence":"additional","affiliation":[]},{"given":"Michael A.","family":"Laurenzano","sequence":"additional","affiliation":[]},{"given":"Lingjia","family":"Tang","sequence":"additional","affiliation":[]},{"given":"Jason","family":"Mars","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1999.765946"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694347"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/261640.261644"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2013.6638947"},{"key":"ref37","doi-asserted-by":"crossref","DOI":"10.1145\/217474.217570","article-title":"Performance Analysis of Embedded Software Using Implicit Path Enumeration","author":"li","year":"1995","journal-title":"Proceedings of the Design Automation Conference (DAC)"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.21"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301678"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/800230.806987"},{"key":"ref27","article-title":"Measuring Em-pirical Computational Complexity","author":"goldsmith","year":"2007","journal-title":"European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE)"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-24797-2","article-title":"Supervised Sequence Labelling with Recurrent Neural Networks","author":"graves","year":"2012"},{"year":"0","key":"ref2","article-title":"Implementation of Path Profiling in the LLVM Infrastructure"},{"year":"0","key":"ref1","article-title":"Address of Label and Indirect Branches in LLVM IR"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/239912.239923"},{"article-title":"Keras","year":"2015","author":"chollet","key":"ref22"},{"key":"ref21","article-title":"On the Statistical Properties of the F-measure","author":"chen","year":"2004","journal-title":"International Conference on Quality Software"},{"key":"ref24","article-title":"Design and Code Inspections to Reduce Errors in Pro-gram Development","author":"fagan","year":"1976","journal-title":"Pioneers and Their Contributions to Software Engineering"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379241"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1162\/089976600300015015"},{"key":"ref25","article-title":"The Geometry of ROC Space: Understanding Machine Learning Metrics through ROC Isometrics","author":"flach","year":"2003","journal-title":"International Conference on Machine Learning (ICML)"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/195473.195549"},{"key":"ref10","article-title":"Efficient Path Profiling","author":"ball","year":"1996","journal-title":"Proceedings of the International Symposium on Microarchitecture (MICRO)"},{"key":"ref11","article-title":"Edge Profiling versus Path Pro-filing: The Showdown","author":"ball","year":"1998","journal-title":"Symposium on Principles of Programming Languages (POPL)"},{"key":"ref40","article-title":"Recurrent Neural Network Based Language Model","author":"mikolov","year":"2010","journal-title":"Proceedings of the International Speech Communication Association (INTERSPEECH)"},{"key":"ref12","article-title":"Core-Det: a Compiler and Runtime System for Deterministic Multithreaded Execution","author":"bergan","year":"2010","journal-title":"Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.25080\/Majora-92bf1922-003","article-title":"Theano: A CPU and GPU Math Expression Compiler","author":"bergstra","year":"2010","journal-title":"Proceedings of the Python for Scientific Computing Conference (SciPy)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.27"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/781151.781153"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.18"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0031-3203(96)00142-2"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191551"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070516"},{"year":"0","key":"ref4","article-title":"LLVM's Analysis and Transform Passes"},{"year":"0","key":"ref3","article-title":"LLVM Language Reference Manual"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/351397.351416"},{"year":"0","key":"ref5","article-title":"Programming Languages Supported by GCC"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368118"},{"key":"ref7","article-title":"Design of a Two-Level Hot Path Detector for Path-Based Loop Optimizations","author":"baba","year":"2007","journal-title":"Advances in Computer Science and Technology (ACST)"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/5.58337"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155119"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/373574.373590"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.12"},{"key":"ref48","article-title":"An Empirical Comparison of Pattern Recognition, Neural Nets and Machine Learning Classification Methods","author":"weiss","year":"1990","journal-title":"Readings in Machine Learning"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1330017.1330019"},{"key":"ref42","article-title":"Evaluation: From Precision, Recall and F-measure to ROC, Informedness, Markedness and Correlation","author":"powers","year":"2011","journal-title":"Technical report Flinders University Adelaide Australia"},{"article-title":"Machine Learning: A Probabilistic Perspective","year":"2012","author":"murphy","key":"ref41"},{"key":"ref44","article-title":"Sequence to Sequence Learning with Neural Networks","author":"sutskever","year":"2014","journal-title":"Advances in Neural Information Processing Systems (NIPS)"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178260"}],"event":{"name":"2016 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO)","start":{"date-parts":[[2016,10,15]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2016,10,19]]}},"container-title":["2016 49th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7777315\/7783693\/07783727.pdf?arnumber=7783727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T02:55:14Z","timestamp":1601261714000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7783727\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/micro.2016.7783727","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}