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
- 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
- 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
- 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
- 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
- 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
- [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]]]
- 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
- [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
- [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
- [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.
- 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
- [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
- [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
- [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
- [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
- 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
- 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
- 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
- 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
- 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
- D.
Maslov, D. M. Miller, and G. W. Dueck. Templates for Reversible
Circuit Simplification. IEEE PACRIM, Victoria,
Canada, pp. 609-612, 2005.
- 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
- [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
- [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
- [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
- [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
- [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
- [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
- [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
- 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
- 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
- D.
Maslov. Quantum CAD tools (poster). DTO/ARO QC&QA Review
Meeting, Minneapolis, MN, August 12-17, 2007. .pdf
- G. W. Dueck and D. Maslov. Generation of
Multiple Control Toffoli Network Templates. International Workshop
on Logic Synthesis (IWLS), May 2007.
- S. M. Falconer and D. Maslov. Hierarchical Alignment of Weighted Directed Acyclic Graphs, June
2006. cs.DS/0606124
- 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.
- 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.
- 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.
- 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
- 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
- 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
- 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
- D.
Maslov. Reversible Logic Synthesis. Invited poster presentation
at MITACS Fourth Annual Conference and Ottawa Interchange,
Ottawa,
Canada, May 2003.
- 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
- 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
- D.
Maslov. Present practical advances in quantum computation and
communication. CompuTerra, vol. 46(570), December 7, 2004. //(in
Russian)
- D.
Maslov. Reversibility in the future computer chip design.
CompuTerra, vol. 14(538), pp. 48-51, April 13, 2004. //(in Russian)
Theses
- [25 citations] REVERSIBLE LOGIC SYNTHESIS, PhD Thesis,
2003.
- A METHOD TO FIND THE BEST MIXED POLARITY
REED-MULLER EXPANSION, Master's Thesis, 2002.