In this paper, we present a translation validation algorithm that uses symbolic evaluation to de- tect semantics discrepancies between a loop and its pipelined ...

In this paper, we present a translation validation algorithm that uses symbolic evaluation to detect semantics discrepancies between a loop and its pipelined ...

Abstract. Software pipelining is a loop optimization that overlaps the execu- tion of several iterations of a loop to expose more instruction-level.

In this paper, we present a translation validation algorithm that uses symbolic evaluation to detect semantics discrepancies between a loop and its pipelined ...

In this paper, we present a translation validation algorithm that uses symbolic evaluation to detect semantics discrepancies between a loop and its pipelined ...

A translation validation algorithm that uses symbolic evaluation to detect semantics discrepancies between a loop and its pipelined version and appears to ...

Jun 22, 2021 · Jean-Baptiste Tristan, Xavier Leroy: A simple, verified validator for software pipelining. POPL 2010: 83-92.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...

A Simple, Verified Validator for Software Pipelining by Jean-Baptiste Tristan, Xavier Leroy published in ACM SIGPLAN Notices.

In this paper, we present a translation validation algorithm that uses symbolic evaluation to detect semantics discrepancies between a loop and its pipelined ...