Program Equivalence Checking for the Facilitation of Quantum Offloading

2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC) ◽

10.1109/ccwc51732.2021.9375948 ◽

2021 ◽

Author(s):

Jon Speer ◽

Jukka K. Nurminen

Keyword(s):

Equivalence Checking ◽

Program Equivalence

Download Full-text

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_22 ◽

2018 ◽

pp. 365-382 ◽

Author(s):

Shubhani Gupta ◽

Aseem Saxena ◽

Anmol Mahajan ◽

Sorav Bansal

Keyword(s):

Equivalence Checking ◽

Program Equivalence ◽

Smt Solvers ◽

Download Full-text

Program equivalence checking by two-tape automata

Cybernetics and Systems Analysis ◽

10.1007/s10559-010-9232-z ◽

2010 ◽

Vol 46 (4) ◽

pp. 554-562 ◽

Author(s):

V. A. Zakharov

Keyword(s):

Equivalence Checking ◽

Program Equivalence

Download Full-text

Parameterized Program Equivalence Checking

High-Level Verification ◽

10.1007/978-1-4419-9359-5_8 ◽

2011 ◽

pp. 123-145

Author(s):

Zachary Tatlock

Keyword(s):

Equivalence Checking ◽

Program Equivalence

Download Full-text

ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ◽

10.1145/3368089.3409757 ◽

2020 ◽

Author(s):

Sahar Badihi ◽

Faridah Akinotcho ◽

Yi Li ◽

Julia Rubin

Keyword(s):

Equivalence Checking ◽

Common Code ◽

Program Equivalence

Download Full-text

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science - Compiler Construction ◽

10.1007/978-3-540-31985-6_15 ◽

2005 ◽

pp. 221-236 ◽

Author(s):

K. C. Shashidhar ◽

Maurice Bruynooghe ◽

Francky Catthoor ◽

Gerda Janssens

Keyword(s):

Source Code ◽

Equivalence Checking ◽

Code Transformations ◽

Program Equivalence

Download Full-text

Deviation-Based Obfuscation-Resilient Program Equivalence Checking With Application to Software Plagiarism Detection

IEEE Transactions on Reliability ◽

10.1109/tr.2016.2570554 ◽

2016 ◽

Vol 65 (4) ◽

pp. 1647-1664 ◽

Author(s):

Jiang Ming ◽

Fangfang Zhang ◽

Dinghao Wu ◽

Peng Liu ◽

Sencun Zhu

Keyword(s):

Equivalence Checking ◽

Plagiarism Detection ◽

Program Equivalence ◽

Resilient Program

Download Full-text

Equivalence checking of arithmetic expressions using fast evaluation

Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems - CASES '05 ◽

10.1145/1086297.1086317 ◽

2005 ◽

Author(s):

Mohammad Ali Ghodrat ◽

Tony Givargis ◽

Alex Nicolau

Keyword(s):

Equivalence Checking ◽

Fast Evaluation ◽

Arithmetic Expressions

Download Full-text

ICCAD-2020 CAD contest in X-value equivalence checking and benchmark suite

Proceedings of the 39th International Conference on Computer-Aided Design ◽

10.1145/3400302.3415739 ◽

2020 ◽

Author(s):

Chih-Jen (Jacky) Hsu ◽

Chi-An (Rocky) Wu ◽

Ching-Yi Huang ◽

Kei-Yong Khoo

Keyword(s):

Equivalence Checking ◽

Benchmark Suite

Download Full-text

Probabilistic equivalence checking based on high-level decision diagrams

14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2011.5783130 ◽

2011 ◽

Author(s):

Anton Karputkin ◽

Raimund Ubar ◽

Mati Tombak ◽

Jaan Raik

Keyword(s):

Equivalence Checking ◽

Decision Diagrams ◽

Download Full-text

Sufficiency-based filtering of invariants for Sequential Equivalence Checking

2011 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2011.6114159 ◽

2011 ◽

Author(s):

Wei Hu ◽

Huy Nguyen ◽

Michael S. Hsiao

Keyword(s):

Equivalence Checking ◽

Sequential Equivalence Checking

Download Full-text