23 citations · 41 across the 10 of their papers we have counts for
Showing 2024 · cs.SEShow all
2 papers · 2 filters
cs.SE2024★ 2 cited
A Survey on Testing and Analysis of Quantum Software
Matteo Paltenghi, Michael Pradel
Quantum computing is getting increasing interest from both academia and industry, and the quantum software landscape has been growing rapidly. The quantum software stack comprises…
cs.SE2024★ 16 cited
PyTy: Repairing Static Type Errors in Python
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
Gradual typing enables developers to annotate types of their own choosing, offering a flexible middle ground between no type annotations and a fully statically typed language. As m…