Shenghsun Cho

According to our database, Shenghsun Cho authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication.

Mohammadreza Alimadadi, Hieu Mai, Shenghsun Cho, Michael Ferdman, Peter A. Milder, Shuai Mu

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2021

Practical Model Checking on FPGAs.

Shenghsun Cho, Mrunal Patel, Michael Ferdman, Peter A. Milder

ACM Trans. Reconfigurable Technol. Syst., 2021

2020

Swarm model checking on the GPU.

Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka

Int. J. Softw. Tools Technol. Transf., 2020

Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments.

Shenghsun Cho, Han Chen, Sergey Madaminov, Michael Ferdman, Peter A. Milder

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

2019

Runtime-Programmable Pipelines for Model Checkers on FPGAs.

Mrunal Patel, Shenghsun Cho, Michael Ferdman, Peter A. Milder

Proceedings of the 29th International Conference on Field Programmable Logic and Applications, 2019

2018

Taming the Killer Microsecond.

Shenghsun Cho, Amoghavarsha Suresh, Tapti Palit, Michael Ferdman, Nima Honarmand

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

FPGASwarm: High Throughput Model Checking on FPGAs.

Shenghsun Cho, Michael Ferdman, Peter A. Milder

Proceedings of the 28th International Conference on Field Programmable Logic and Applications, 2018

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

Shenghsun Cho, Mrunal Patel, Han Chen, Michael Ferdman, Peter A. Milder

Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018