Shenghsun Cho

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Formal Specification

Temporal Properties

Top Venues

ACM Trans. Reconfigurable Technol. Syst.

Int. J. Softw. Tools Technol. Transf.

Publications

Mohammadreza Alimadadi, Hieu Mai, Shenghsun Cho, Michael Ferdman, Peter A. Milder, Shuai Mu
Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication. NSDI (2023)
Shenghsun Cho, Mrunal Patel, Michael Ferdman, Peter A. Milder
Practical Model Checking on FPGAs. ACM Trans. Reconfigurable Technol. Syst. 14 (2) (2021)
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm model checking on the GPU. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Shenghsun Cho, Han Chen, Sergey Madaminov, Michael Ferdman, Peter A. Milder
Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments. ISCA (2020)
Mrunal Patel, Shenghsun Cho, Michael Ferdman, Peter A. Milder
Runtime-Programmable Pipelines for Model Checkers on FPGAs. FPL (2019)
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm Model Checking on the GPU. SPIN (2019)
Shenghsun Cho, Amoghavarsha Suresh, Tapti Palit, Michael Ferdman, Nima Honarmand
Taming the Killer Microsecond. MICRO (2018)
Shenghsun Cho, Michael Ferdman, Peter A. Milder
FPGASwarm: High Throughput Model Checking on FPGAs. FPL (2018)
Shenghsun Cho, Mrunal Patel, Han Chen, Michael Ferdman, Peter A. Milder
A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs. FPGA (2018)