• Dutta S. (2023). Localizing faults using verification technique. Journal of Systems and Software. 10.1016/j.jss.2023.111897. (111897). Online publication date: 1-Nov-2023.

    https://linkinghub.elsevier.com/retrieve/pii/S0164121223002923

  • Lopes N, Lee J, Hur C, Liu Z and Regehr J. Alive2: bounded translation validation for LLVM. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. (65-79).

    https://doi.org/10.1145/3453483.3454030

  • Wiesner M and Jakobs M. (2021). Verifying Pipeline Implementations in OpenMP. Model Checking Software. 10.1007/978-3-030-84629-9_5. (81-98).

    https://link.springer.com/10.1007/978-3-030-84629-9_5

  • Goldberg B. Translation validation of loop optimizations and software pipelining in the TVOC framework. Proceedings of the 17th international conference on Static analysis. (6-21).

    /doi/10.5555/1882094.1882097

  • Tristan J and Leroy X. A simple, verified validator for software pipelining. Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (83-92).

    https://doi.org/10.1145/1706299.1706311

  • Tristan J and Leroy X. (2010). A simple, verified validator for software pipelining. ACM SIGPLAN Notices. 45:1. (83-92). Online publication date: 2-Jan-2010.

    https://doi.org/10.1145/1707801.1706311

  • Goldberg B. (2010). Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework. Static Analysis. 10.1007/978-3-642-15769-1_3. (6-21).

    http://link.springer.com/10.1007/978-3-642-15769-1_3

  • Tristan J and Leroy X. (2008). Formal verification of translation validators. ACM SIGPLAN Notices. 43:1. (17-27). Online publication date: 14-Jan-2008.

    https://doi.org/10.1145/1328897.1328444

  • Tristan J and Leroy X. Formal verification of translation validators. Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (17-27).

    https://doi.org/10.1145/1328438.1328444

  • Gopalakrishnan G and Kirby R. Toward reliable and efficient message passing software through formal analysis. Proceedings of the 20th international conference on Parallel and distributed processing. (284-284).

    /doi/10.5555/1898699.1898805

  • Kundaji R and Shyamasundar R. (2006). Refinement calculus. Theoretical Computer Science. 354:1. (153-168). Online publication date: 21-Mar-2006.

    https://doi.org/10.1016/j.tcs.2005.11.013

  • Gopalakrishnan G and Kirby R. (2006). Toward reliable and efficient message passing software through formal analysis Proceedings 20th IEEE International Parallel & Distributed Processing Symposium. 10.1109/IPDPS.2006.1639578. 1-4244-0054-6. (7 pp.).

    http://ieeexplore.ieee.org/document/1639578/

  • Dave M. (2003). Compiler verification. ACM SIGSOFT Software Engineering Notes. 28:6. (2-2). Online publication date: 1-Nov-2003.

    https://doi.org/10.1145/966221.966235