Abstract: Program synthesis, as an automated program construction method, has become a research focus in both software engineering and artificial intelligence. With the increasing size of the program ...

Abstract: Programming for quantum computers is complicated and time-consuming, because quantum operations are counterintuitive and their combined effects are difficult to understand. Existing tools ...

When writing research software we almost always investigate highly specific properties or algorithms of our domain, leading to us building the tools from scratch over and over again. The very same ...