Author of the publication

A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs.

, , , , and . FPGA, page 87-96. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication., , , , , and . NSDI, page 357-374. USENIX Association, (2023)Swarm model checking on the GPU., , , and . Int. J. Softw. Tools Technol. Transf., 22 (5): 583-599 (2020)Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments., , , , and . ISCA, page 187-198. IEEE, (2020)FPGASwarm: High Throughput Model Checking on FPGAs., , and . FPL, page 435-442. IEEE Computer Society, (2018)Runtime-Programmable Pipelines for Model Checkers on FPGAs., , , and . FPL, page 51-58. IEEE, (2019)A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs., , , , and . FPGA, page 87-96. ACM, (2018)Practical Model Checking on FPGAs., , , and . ACM Trans. Reconfigurable Technol. Syst., 14 (2): 8:1-8:18 (2021)Taming the Killer Microsecond., , , , and . MICRO, page 627-640. IEEE Computer Society, (2018)Swarm Model Checking on the GPU., , , and . SPIN, volume 11636 of Lecture Notes in Computer Science, page 94-113. Springer, (2019)