Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation.
Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023
Teaching Quantum Computing Using Microsoft Quantum Development Kit and Azure Quantum.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Developing Programming Assignments for Teaching Quantum Computing and Quantum Programming.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022
Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Developing Programming Exercises for Teaching Quantum Computing.
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021
Testing Quantum Programs using Q# and Microsoft Quantum Development Kit.
Proceedings of the Short Papers Proceedings of the 2nd International Workshop on Software Engineering & Technology (Q-SET 2021) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2021), 2021
A Resource Estimation and Verification Workflow in Q# Special session paper.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Teaching Quantum Computing through a Practical Software-driven Approach: Experience Report.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
The Quantum Katas: Learning Quantum Computing using Programming Exercises.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
Introduction to Quantum Computing.
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language.
CoRR, 2018
Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL.
Proceedings of the Real World Domain Specific Languages Workshop, 2018
Declaratively solving tricky google code jam problems with prolog-based ECLiPSe CLP system.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Declaratively Solving Google Code Jam Problems with Picat.
Proceedings of the Practical Aspects of Declarative Languages, 2015