Neil J. Ross

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 18

Top Topics

Symbolic Reasoning

Analog Circuits

Logic Synthesis

Top Venues

Quantum Inf. Comput.

Publications

Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel S. Mendelson, Neil J. Ross
Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits. RC (2024)
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
Improved Synthesis of Toffoli-Hadamard Circuits. CoRR (2023)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Proto-Quipper with Dynamic Lifting. Proc. ACM Program. Lang. 7 (POPL) (2023)
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross
Improved Synthesis of Toffoli-Hadamard Circuits. RC (2023)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
On the Lambek embedding and the category of product-preserving presheaves. CoRR (2022)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Proto-Quipper with dynamic lifting. CoRR (2022)
Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh
Qutrit Metaplectic Gates Are a Subset of Clifford+T. TQC (2022)
Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross
Symbolic Synthesis of Clifford Circuits and Beyond. QPL (2022)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
A biset-enriched categorical model for Proto-Quipper with dynamic lifting. CoRR (2022)
Justin Makary, Neil J. Ross, Peter Selinger
Generators and Relations for Real Stabilizer Operators. QPL (2021)
Sarah Meng Li, Neil J. Ross, Peter Selinger
(Z[1/2]). QPL (2021)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. RC (2020)
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. CoRR (2020)
Matthew Amy, Andrew N. Glaudell, Neil J. Ross
Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits. Quantum 4 (2020)
Andrew M. Childs, Dmitri Maslov, Yun Seong Nam, Neil J. Ross, Yuan Su
Toward the first quantum simulation with quantum speedup. Proc. Natl. Acad. Sci. USA 115 (38) (2018)
Yun Seong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs, Dmitri Maslov
Automated optimization of large quantum circuits with continuous parameters. CoRR (2017)
Matthew Amy, Jianxin Chen, Neil J. Ross
A finite presentation of CNOT-dihedral operators. QPL (2017)
Neil J. Ross, Peter Selinger
-rotations. Quantum Inf. Comput. 16 (11&12) (2016)
Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith
Programming the quantum future. Commun. ACM 58 (8) (2015)
Neil J. Ross
-rotations. Quantum Inf. Comput. 15 (11&12) (2015)
Neil J. Ross
Optimal ancilla-free Pauli+V approximation of z-rotations. CoRR (2014)
Neil J. Ross, Peter Selinger
Optimal ancilla-free Clifford+T approximation of z-rotations. CoRR (2014)
Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron
Quipper: Concrete Resource Estimation in Quantum Algorithms. CoRR (2014)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
An Introduction to Quantum Programming in Quipper CoRR (2013)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
Quipper: a scalable quantum programming language. PLDI (2013)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
Quipper: A Scalable Quantum Programming Language CoRR (2013)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
An Introduction to Quantum Programming in Quipper. RC (2013)
Damiano Mazza, Neil J. Ross
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators. FoSSaCS (2012)
Neil J. Ross
Remarks on the Mobius function of a subposet. Discret. Math. 73 (3) (1989)