Research Interests and Publications

    My primary research interest is in the area of quantum circuits. More precisely, I conduct research on quantum and reversible circuit synthesis and optimization, optimization and better control for quantum experiments (including circuit placement, parallelization, accounting for architectural constraints), quantum circuit architectures, and quantum algorithm design.  My other areas of interest include circuit complexity, cryptographic hardware, ontology alignment, and discrete mathematics. I developed and maintain Reversible Logic Synthesis Benchmarks Page [64 citations].

    My H-index is 16, and my G-index is 32. Below is a list of my publications since year 2003; papers contributing to my H-index are marked with the number of citations (cropped automatically by http://scholar.google.com), as follows: [* citations].

    Journal publications

  1. O. Golubitsky and D. Maslov. A Study of Optimal 4-bit Reversible Toffoli Circuits and Their Synthesis. IEEE Transactions on Computers, in print. arXiv:1103.2686
  2. D. Maslov and M. Saeedi. Reversible Circuit Optimization via Leaving the Boolean Domain. IEEE Transactions on CAD, vol. 30(6), pp. 806-816, June 2011. arXiv:1103.0215
  3. D. Maslov, J. Mathew, D. Cheung, and D. K. Pradhan. An O(m2)-depth Quantum Algorithm for the Elliptic Curve Discrete Logarithm Problem over GF(2m). Quantum Information & Computation, vol. 9(7&8), pp. 610-621, July 2009. arXiv:0710.1093
  4. L. Sheridan, D. Maslov, and M. Mosca. Approximating Fractional Time Quantum Evolution. IOP Journal of Physics A: Mathematical and Theoretical, 42(185302), May 2009. arXiv:0810.3843
  5. D. Maslov, S. M. Falconer, and M. Mosca. Quantum Circuit Placement.  IEEE Transactions on CAD, vol. 27(4), pp. 752-763, April 2008. quant-ph/0703256
  6. [36 citations] D. Maslov, G. W. Dueck, D. M. Miller, and C. Negrevergne. Quantum Circuit Simplification and Level Compaction. IEEE Transactions on CAD, vol. 27(3), pp. 436-444, March 2008. quant-ph/0604001 [[[Top 25 downloaded IEEE TCAD paper in 2008]]]
  7. D. Maslov. Linear Depth Stabilizer and Quantum Fourier Transformation Circuits with no Auxiliary Qubits in Finite Neighbor Quantum Architectures. APS Physical Review A 76(5), 052310, November 2007. quant-ph/0703211
  8. [57 citations] D. Maslov, D. M. Miller, and G. W. Dueck. Techniques for the Synthesis of Reversible Toffoli Networks. ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 12(4), article 42, September 2007. quant-ph/0607166
  9. [24 citations] D. Maslov and D. M. Miller. Comparison of the Cost Metrics through Investigation of the Relation between Optimal NCV and Optimal NCT 3-qubit Reversible Circuits. IET Computers & Digital Techniques, vol. 1(2), pp. 98-104, 2007. Also: Virtual Journal of Quantum Information, April 2007. quant-ph/0511008
  10. [33 citations] D. M. Miller, D. Maslov, and G. W. Dueck. Synthesis of Quantum Multiple-Valued Circuits. Journal of Multiple-Valued Logic and Soft Computing, special issue on Nano MVL Structures, vol. 12(5-6), pp. 431-450, December 2006.
  11. D. Maslov. Efficient Reversible and Quantum Implementations of Symmetric Boolean Functions. IEE Proceedings Circuits, Devices & Systems, vol. 153(5), pp. 467-472, October 2006. .pdf
  12. [96 citations] D. Maslov, G. W. Dueck, and D. M. Miller. Toffoli Network Synthesis with Templates. IEEE Transactions on CAD, vol. 24(6), pp. 807-817, June 2005. .pdf  
  13. [26 citations] D. Maslov, G. W. Dueck, and D. M. Miller. Synthesis of Fredkin-Toffoli Reversible Networks. IEEE Transactions on VLSI, vol. 13(6), pp. 765-769, June 2005.  .pdf
  14. [68 citations] D. Maslov and G. W. Dueck. Reversible Cascades with Minimal Garbage. IEEE Transactions on CAD, vol. 23(11), pp. 1497-1509, November 2004. .pdf   
  15. [38 citations] D. Maslov and G. W. Dueck. Improved Quantum Cost for n-bit Toffoli Gates. IEE Electronics Letters, vol. 39(25), pp. 1790-1791, December 2003. quant-ph/0403053

 


    Refereed conferences

 

  1. O. Golubitsky, S. M. Falconer, and D. Maslov. Synthesis of the Optimal 4-bit Reversible Circuits. ACM/IEEE Design Automation Conference (DAC), Anaheim, CA, June 2010. arXiv:1003.1914 .ppt
  2. D. Cheung, D. Maslov, J. Mathew, and D. K. Pradhan. On the Design and Optimization of a Quantum Polynomial-Time Attack on Elliptic Curve Cryptography, 3rd Workshop on Theory of Quantum Computation, Tokyo, Japan, January 30-February 1, 2008; Lecture Notes in Computer Science (LNCS), vol. 5106, pp. 96-104, 2008.  .ppt
  3. D. Maslov, S. M. Falconer, and M. Mosca. Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment. ACM/IEEE Design Automation Conference (DAC), San Diego, CA, pp. 962-966, June 2007. .pdf   .ppt
  4. S. M. Falconer, D. Maslov, and M. Storey. Combining Web-based Searching Techniques with Latent Semantic Analysis to Discover Similarity Between Phrases. 5th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE), Montpellier, France; Lecture Notes in Computer Science (LNCS), vol. 4275, pp. 1075-1091, December 2006. .pdf   .ppt
  5. D. Maslov and G. W. Dueck. Level Compaction in Quantum Circuits. IEEE Congress on Evolutionary Computation (CEC, special session on Quantum Computing), Vancouver, BC, Canada, pp. 2405-2409, July 2006. .pdf   .ppt
  6. D. Maslov, D. M. Miller, and G. W. Dueck. Templates for Reversible Circuit Simplification. IEEE PACRIM, Victoria, Canada, pp. 609-612, 2005.
  7. I. Markov and D. Maslov. Uniformly-switching Logic for Cryptographic Hardware. Design, Automation and Test in Europe (DATE), Munich, Germany, pp. 432-433, March 2005. .pdf   .ppt
  8. [52 citations] D. Maslov, C. Young, D. M. Miller, and G. W. Dueck. Quantum Circuit Simplification Using Templates. Design, Automation and Test in Europe (DATE), Munich, Germany, pp. 1208-1213, March 2005. .pdf   .ppt  
  9. [37 citations] D. M. Miller, G. W. Dueck, and D. Maslov. A Synthesis Method for MVL Reversible logic. International Symposium on Multiple-Valued Logic (ISMVL), Toronto, Canada, pp. 74-80, May 2004. .pdf   .ppt  
  10. [25 citations] D. Maslov, G. W. Dueck, and D. M. Miller. Fredkin/Toffoli Templates for Reversible Logic Synthesis. International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp. 256-261, November 2003. .pdf   .ppt  
  11. [29 citations] D. Maslov, G. W. Dueck, and D. M. Miller. Simplification of Toffoli Networks via Templates. 16th Symposium on Integrated Circuits and System Design, Sao Paulo, Brazil, pp. 53-58, September 2003. .pdf  
  12. [203 citations] D. M. Miller, D. Maslov, and G. W. Dueck. A Transformation Based Algorithm for Reversible Logic Synthesis. ACM/IEEE Design Automation Conference (DAC), Anaheim, CA, pp. 318-323, June 2003. .pdf   .ppt  
  13. [42 citations] G. W. Dueck and D. Maslov. Reversible Function Synthesis with Minimum Garbage Outputs. 6th International Symposium on Representations and Methodology of Future Computing Technologies (RM), Trier, Germany, pp. 154-161, March 2003. .pdf   .ppt  
  14. [64 citations] D. Maslov and G. W. Dueck. Garbage in Reversible Designs of Multiple-Output Functions. 6th International Symposium on Representations and Methodology of Future Computing Technologies (RM), Trier, Germany, pp. 162-170, March 2003. .pdf   .ppt   

 

 

      Refereed by abstract/extended abstract and non-refereed contributions

 
  1. D. Cheung, D. Maslov, and S. Severini. Translation Techniques Between Quantum Circuit Architectures (poster). Workshop on Quantum Information Processing (QIP), New Dehli, India, December 2007 (refereed by extended abstract).pdf
  2. D. Maslov, S. M. Falconer, and M. Mosca. Quantum Circuit Placement. Asian Conference on Quantum Information Science (AQIS), Kyoto, Japan, September 2007 (refereed by extended abstract, short talk). quant-ph/0703256
  3. D. Maslov. Quantum CAD tools (poster). DTO/ARO QC&QA Review Meeting, Minneapolis, MN, August 12-17, 2007. .pdf
  4. G. W. Dueck and D. Maslov. Generation of Multiple Control Toffoli Network Templates. International Workshop on Logic Synthesis (IWLS), May 2007.
  5. S. M. Falconer and D. Maslov. Hierarchical Alignment of Weighted Directed Acyclic Graphs, June 2006. cs.DS/0606124
  6. N. Scott, G. W. Dueck, and D. Maslov. Improving Template Matching for Minimizing Reversible Toffoli Cascades, 7th International Symposium on Representations and Methodology of Future Computing Technologies (RM), Tokyo, Japan, September 2005.
  7. D. Maslov and D. M. Miller. Reed-Muller Spectra Based Synthesis of Reversible Circuits Using a Quantum Cost Metric, 7th International Symposium on Representations and Methodology of Future Computing Technologies (RM), Tokyo, Japan, September 2005.
  8. J. Dick, G. W. Dueck, and D. Maslov. Toffoli Templates with 8 Gates. International Workshop on Boolean Problems, Frieberg, Germany, pp. 41-47, September 2004.
  9. D. Maslov. Dynamic Programming Algorithms as Quantum Circuits: Symmetric Function Realization. SPIE, section OR-18 (Quantum Information and Computation), pp. 386-393, April 2004 (refereed abstract). .pdf   .ppt
  10. D. Maslov and G. W. Dueck. Asymptotically Optimal Regular Synthesis of Reversible Networks (poster). International Workshop on Logic Synthesis (IWLS), Laguna Beach CA, pp. 226-231, May 2003. .pdf
  11. D. Maslov, G. W. Dueck, and D. M. Miller. Templates for Toffoli Network Synthesis. International Workshop on Logic Synthesis (IWLS), Laguna Beach CA, pp. 320-326, May 2003. .pdf   .ppt
  12. D. Maslov and G. W. Dueck. Complexity of Reversible Toffoli Cascades and EXOR PLAs, 12th International Workshop on Post-Binary ULSI Systems, Japan, pp. 17-20, May 2003. .pdf
  13. D. Maslov. Reversible Logic Synthesis. Invited poster presentation at MITACS Fourth Annual Conference and Ottawa Interchange, Ottawa, Canada, May 2003.
  14. G. W. Dueck, D. Maslov, and D. M. Miller. Transformation-based Synthesis of Networks of Toffoli/Fredkin Gates. IEEE Canadian Conference on Electrical and Computer Engineering (CCECE), Montreal, Canada, vol. 1, pp. 211-214, May 2003 (refereed abstract). .pdf

    In Magazines/Review articles

  1. J. Baugh, J. Chamilliard, C. M. Chandrashekar, M. J. Ditty, A. Hubbard, M. Laforest, D. Maslov, O. Moussa, C. Negrevergne, M. Silva, S. Simmons, C. Ryan, R. Laflamme, J. S. Hodges, C. Ramanathan, and  D. G. Cory. Quantum information processing using nuclear and electron magnetic resonance: review and prospect. CAP Physics in Canada, September/October, 2007.  arXiv:0710.1447
  2. D. Maslov. Present practical advances in quantum computation and communication. CompuTerra, vol. 46(570), December 7, 2004. //(in Russian)
  3. D. Maslov. Reversibility in the future computer chip design. CompuTerra, vol. 14(538), pp. 48-51, April 13, 2004. //(in Russian)

    Theses

  1. [25 citations] REVERSIBLE LOGIC SYNTHESIS, PhD Thesis, 2003.
  2. A METHOD TO FIND THE BEST MIXED POLARITY REED-MULLER EXPANSION, Master's Thesis, 2002.