Author:
Jaramillo Clara,Gupta Rajiv,Soffa Mary Lou
Subject
General Computer Science,Theoretical Computer Science
Reference11 articles.
1. Bugfind: A Tool for Debugging Optimizing Compilers;Caron;Sigplan Notices,1990
2. Boyd, M.R. and Whalley, D.B. Isolation and Analysis of Optimization Errors. In Proceedings ACM SIGPLAN'93 Conf. on Programming Languages Design and Implementation, pages 26–35, June 1993.
3. Necula G. Translation Validation for an Optimizing Compiler. In Proceedings ACM SIGPLAN'99 Conf. on Programming Languages Design and Implementation, pages 83–94, June 2000.
4. Pneuli A., Rodeh Y., Shtrichman O., and Siegel M. In Proceedings 11th International Conference on Computer Aided Verification, LNCS 1633, Springer-Verlag, pages 455–469, 1999.
5. Wu L. Interactive Source-Level Debugging of Optimized Code. PhD dissertation, University of Illinois, Urbana-Champaign, 2000.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An industrial case study in compiler testing (tool demo);Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering;2018-10-24
2. Optimizing compilation with preservation of structural code coverage metrics to support software testing;Software Testing, Verification and Reliability;2012-10-29
3. Catching and Identifying Bugs in Register Allocation;Static Analysis;2006
4. Compiler verification;ACM SIGSOFT Software Engineering Notes;2003-11