Publications

Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin (2023). Rigorous Evaluation of Computer Processors with Statistical Model Checking. In MICRO 2023.

Aniket S. Dalvi, Filip Mazurek, Leon Riesebos, Jacob Whitlow, Swarnadeep Majumder, Kenneth R. Brown (2019). Modular Architecture for Classical Simulation of Quantum Circuits. In QCE 2022.