- document
-
Dams, D. (author), Havelund, K. (author), Kauffman, S. (author)We present a Python library for trace analysis named PyContract. PyContract is a shallow internal DSL, in contrast to many trace analysis tools that implement external or deep internal DSLs. The library has been used in a project for analysis of logs from NASA’s Europa Clipper mission. We describe our design choices, explain the API via examples...conference paper 2022
- document
- Chau, K.W. (author), Tang, J.M. (author), Oosterlee, C.W. (author) article 2020
- document
-
Fu, X. (author), Riesebos, L. (author), Rol, M.A. (author), van Straten, J. (author), van Someren, J. (author), Khammassi, N. (author), Ashraf, I. (author), Vermeulen, R.F.L. (author), Newsum, V. (author), Loh, K.K.L. (author), de Sterke, J.C. (author), Vlothuizen, W.J. (author), Schouten, R.N. (author), Almudever, C.G. (author), Dicarlo, L. (author), Bertels, K. (author)A widely-used quantum programming paradigm comprises of both the data flow and control flow. Existing quantum hardware cannot well support the control flow, significantly limiting the range of quantum software executable on the hardware. By analyzing the constraints in the control microarchitecture, we found that existing quantum assembly...conference paper 2019
- document
-
van den Berg, F. (author), Hooman, J. (author), Haverkort, B.R. (author)This tool paper presents iDSL, a language and a fully automated toolchain for evaluating the performance of service-oriented systems. In this work, we emphasize the use of a high-level domain specific language that is tailored to be understood by system designers and domain experts, a transformation into an underlying process algebra which...conference paper 2018
- document
-
Fu, X. (author), Rol, M.A. (author), Bultink, C.C. (author), van Someren, J. (author), Khammassi, N. (author), Ashraf, I. (author), Vermeulen, R.F.L. (author), De Sterke, J.C. (author), Vlothuizen, W.J. (author), Schouten, R.N. (author), Almudever, C.G. (author), DiCarlo, L. (author), Bertels, K. (author)Quantum computers promise to solve certain problems that are intractable for classical computers, such as factoring large numbers and simulating quantum systems. To date, research in quantum computer engineering has focused primarily at opposite ends of the required system stack: devising high-level programming languages and compilers to...conference paper 2017
- document
-
Van Den Berg, Freek (author), Hooman, Jozef (author), Hartmanns, Arnd (author), Haverkort, Boudewijn R. (author), Remke, Anne (author)System designers need to have insight in the response times of service systems to see if they meet performance requirements. We present a high-level evaluation technique to obtain the distribution of services completion times. It is based on a high-level domain-specific language that hides the underlying technicalities from the system designer....bookPart 2015