Verified Compilation of Space-Efficient Reversible Circuits

@inproceedings{Amy2017VerifiedCO,
  title={Verified Compilation of Space-Efficient Reversible Circuits},
  author={Matthew Amy and Martin Roetteler and Krysta Marie Svore},
  booktitle={CAV},
  year={2017}
}
The generation of reversible circuits from high-level code is in important problem in several application domains, including low-power electronics and quantum computing. Existing tools compile and optimize reversible circuits for various metrics, such as the overall circuit size or the total amount of space required to implement a given function reversibly. However, little effort has been spent on verifying the correctness of the results, an issue of particular importance in quantum computing… CONTINUE READING
Related Discussions
This paper has been referenced on Twitter 8 times. VIEW TWEETS

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 44 references

Type inference for record concatenation and subtyping

Inf. Comput. • 2004
View 3 Excerpts
Highly Influenced

Quantum programming in QCL, Master’s thesis, Technical University of Vienna

B. Ömer
2000
View 3 Excerpts
Highly Influenced

Subtyping Constrained Types

View 4 Excerpts
Highly Influenced

Pendulum: A reversible computer architecture

Carlin Vieri
Master’s thesis, MIT Artificial Intelligence Laboratory (1995). • 1995
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…