Neil J. Ross

According to our database, Neil J. Ross authored at least 23 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Proto-Quipper with Dynamic Lifting.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Proc. ACM Program. Lang., January, 2023

Improved Synthesis of Toffoli-Hadamard Circuits.

Matthew Amy, Andrew N. Glaudell, Sarah Meng Li, Neil J. Ross

Proceedings of the Reversible Computation - 15th International Conference, 2023

2022

On the Lambek embedding and the category of product-preserving presheaves.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

CoRR, 2022

Symbolic Synthesis of Clifford Circuits and Beyond.

Matthew Amy, Owen Bennett-Gibbs, Neil J. Ross

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

A biset-enriched categorical model for Proto-Quipper with dynamic lifting.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

Qutrit Metaplectic Gates Are a Subset of Clifford+T.

Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh

Proceedings of the 17th Conference on the Theory of Quantum Computation, 2022

2021

Generators and Relations for Real Stabilizer Operators.

Justin Makary, Neil J. Ross, Peter Selinger

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Generators and Relations for the Group O_n(Z[1/2]).

Sarah Meng Li, Neil J. Ross, Peter Selinger

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

2020

Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits.

Matthew Amy, Andrew N. Glaudell, Neil J. Ross

Quantum, 2020

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.

Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger

Proceedings of the Reversible Computation - 12th International Conference, 2020

2018

Toward the first quantum simulation with quantum speedup.

Andrew M. Childs, Dmitri Maslov, Yun Seong Nam, Neil J. Ross, Yuan Su

Proc. Natl. Acad. Sci. USA, 2018

2017

Automated optimization of large quantum circuits with continuous parameters.

Yun Seong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs, Dmitri Maslov

CoRR, 2017

A finite presentation of CNOT-dihedral operators.

Matthew Amy, Jianxin Chen, Neil J. Ross

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

2016

Optimal ancilla-free Clifford+<i>T</i> approximation of <i>z</i>-rotations.

Neil J. Ross, Peter Selinger

Quantum Inf. Comput., 2016

2015

Optimal ancilla-free Clifford+<i>V</i> approximation of <i>z</i>-rotations.

Neil J. Ross

Quantum Inf. Comput., 2015

Programming the quantum future.

Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith

Commun. ACM, 2015

2014

Quipper: Concrete Resource Estimation in Quantum Algorithms.

Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron

CoRR, 2014

Optimal ancilla-free Clifford+T approximation of z-rotations.

Neil J. Ross, Peter Selinger

CoRR, 2014

Optimal ancilla-free Pauli+V approximation of z-rotations.

Neil J. Ross

CoRR, 2014

2013

An Introduction to Quantum Programming in Quipper.

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron

Proceedings of the Reversible Computation - 5th International Conference, 2013

Quipper: a scalable quantum programming language.

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators.

Damiano Mazza, Neil J. Ross

Proceedings of the Foundations of Software Science and Computational Structures, 2012

1989

Remarks on the Mobius function of a subposet.

Neil J. Ross

Discret. Math., 1989