Cited By
View all- Paradis ADekoninck JBichsel BVechev M(2024)Synthetiq: Fast and Versatile Quantum Circuit SynthesisProceedings of the ACM on Programming Languages10.1145/36498138:OOPSLA1(55-82)Online publication date: 29-Apr-2024
- Wang GZhu ZCheng XMeng D(2023)A High-Coverage and Efficient Instruction-Level Testing Approach for x86 ProcessorsIEEE Transactions on Computers10.1109/TC.2023.328876272:11(3203-3217)Online publication date: 1-Nov-2023
- Koenig JPadon OAiken AFreund SYahav E(2021)Adaptive restarts for stochastic synthesisProceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3453483.3454071(696-709)Online publication date: 19-Jun-2021
- Show More Cited By