BibTeX records: Shenghsun Cho

• > Home > Persons > Shenghsun Cho

@inproceedings{DBLP:conf/nsdi/AlimadadiMCFM023,
  author       = {Mohammadreza Alimadadi and
                  Hieu Mai and
                  Shenghsun Cho and
                  Michael Ferdman and
                  Peter A. Milder and
                  Shuai Mu},
  editor       = {Mahesh Balakrishnan and
                  Manya Ghobadi},
  title        = {Waverunner: An Elegant Approach to Hardware Acceleration of State
                  Machine Replication},
  booktitle    = {20th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2023, Boston, MA, April 17-19, 2023},
  pages        = {357--374},
  publisher    = {{USENIX} Association},
  year         = {2023},
  url          = {https://www.usenix.org/conference/nsdi23/presentation/alimadadi},
  timestamp    = {Thu, 11 May 2023 17:08:22 +0200},
  biburl       = {https://dblp.org/rec/conf/nsdi/AlimadadiMCFM023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/trets/ChoPFM21,
  author       = {Shenghsun Cho and
                  Mrunal Patel and
                  Michael Ferdman and
                  Peter A. Milder},
  title        = {Practical Model Checking on FPGAs},
  journal      = {{ACM} Trans. Reconfigurable Technol. Syst.},
  volume       = {14},
  number       = {2},
  pages        = {8:1--8:18},
  year         = {2021},
  url          = {https://doi.org/10.1145/3448272},
  doi          = {10.1145/3448272},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trets/ChoPFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/DeFranciscoCFS20,
  author       = {Richard DeFrancisco and
                  Shenghsun Cho and
                  Michael Ferdman and
                  Scott A. Smolka},
  title        = {Swarm model checking on the {GPU}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {22},
  number       = {5},
  pages        = {583--599},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10009-020-00576-x},
  doi          = {10.1007/S10009-020-00576-X},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/DeFranciscoCFS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isca/ChoCMFM20,
  author       = {Shenghsun Cho and
                  Han Chen and
                  Sergey Madaminov and
                  Michael Ferdman and
                  Peter A. Milder},
  title        = {Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA
                  Environments},
  booktitle    = {47th {ACM/IEEE} Annual International Symposium on Computer Architecture,
                  {ISCA} 2020, Virtual Event / Valencia, Spain, May 30 - June 3, 2020},
  pages        = {187--198},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISCA45697.2020.00026},
  doi          = {10.1109/ISCA45697.2020.00026},
  timestamp    = {Mon, 19 Feb 2024 07:32:24 +0100},
  biburl       = {https://dblp.org/rec/conf/isca/ChoCMFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fpl/PatelCFM19,
  author       = {Mrunal Patel and
                  Shenghsun Cho and
                  Michael Ferdman and
                  Peter A. Milder},
  editor       = {Ioannis Sourdis and
                  Christos{-}Savvas Bouganis and
                  Carlos {\'{A}}lvarez and
                  Leonel Antonio Toledo D{\'{\i}}az and
                  Pedro Valero{-}Lara and
                  Xavier Martorell},
  title        = {Runtime-Programmable Pipelines for Model Checkers on FPGAs},
  booktitle    = {29th International Conference on Field Programmable Logic and Applications,
                  {FPL} 2019, Barcelona, Spain, September 8-12, 2019},
  pages        = {51--58},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FPL.2019.00018},
  doi          = {10.1109/FPL.2019.00018},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/PatelCFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/DeFranciscoCFS19,
  author       = {Richard DeFrancisco and
                  Shenghsun Cho and
                  Michael Ferdman and
                  Scott A. Smolka},
  editor       = {Fabrizio Biondi and
                  Thomas Given{-}Wilson and
                  Axel Legay},
  title        = {Swarm Model Checking on the {GPU}},
  booktitle    = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
                  Beijing, China, July 15-16, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11636},
  pages        = {94--113},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30923-7\_6},
  doi          = {10.1007/978-3-030-30923-7\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/DeFranciscoCFS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fpga/ChoPCFM18,
  author       = {Shenghsun Cho and
                  Mrunal Patel and
                  Han Chen and
                  Michael Ferdman and
                  Peter A. Milder},
  editor       = {Jason Helge Anderson and
                  Kia Bazargan},
  title        = {A Full-System {VM-HDL} Co-Simulation Framework for Servers with PCIe-Connected
                  FPGAs},
  booktitle    = {Proceedings of the 2018 {ACM/SIGDA} International Symposium on Field-Programmable
                  Gate Arrays, {FPGA} 2018, Monterey, CA, USA, February 25-27, 2018},
  pages        = {87--96},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3174243.3174269},
  doi          = {10.1145/3174243.3174269},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fpga/ChoPCFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fpl/ChoFM18,
  author       = {Shenghsun Cho and
                  Michael Ferdman and
                  Peter A. Milder},
  title        = {FPGASwarm: High Throughput Model Checking on FPGAs},
  booktitle    = {28th International Conference on Field Programmable Logic and Applications,
                  {FPL} 2018, Dublin, Ireland, August 27-31, 2018},
  pages        = {435--442},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/FPL.2018.00080},
  doi          = {10.1109/FPL.2018.00080},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fpl/ChoFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/micro/ChoSPFH18,
  author       = {Shenghsun Cho and
                  Amoghavarsha Suresh and
                  Tapti Palit and
                  Michael Ferdman and
                  Nima Honarmand},
  title        = {Taming the Killer Microsecond},
  booktitle    = {51st Annual {IEEE/ACM} International Symposium on Microarchitecture,
                  {MICRO} 2018, Fukuoka, Japan, October 20-24, 2018},
  pages        = {627--640},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/MICRO.2018.00057},
  doi          = {10.1109/MICRO.2018.00057},
  timestamp    = {Tue, 31 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/micro/ChoSPFH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}