Shenghsun Cho

According to our database1, Shenghsun Cho authored at least 6 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Swarm model checking on the GPU.
Int. J. Softw. Tools Technol. Transf., 2020

Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments.
Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

2019
Runtime-Programmable Pipelines for Model Checkers on FPGAs.
Proceedings of the 29th International Conference on Field Programmable Logic and Applications, 2019

2018
Taming the Killer Microsecond.
Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

FPGASwarm: High Throughput Model Checking on FPGAs.
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.
Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018


  Loading...