BibTeX records: Shenghsun Cho

download as .bib file

@inproceedings{DBLP:conf/fpl/PatelCFM19,
  author    = {Mrunal Patel and
               Shenghsun Cho and
               Michael Ferdman and
               Peter Milder},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/fpl/2019},
  url       = {https://doi.org/10.1109/FPL.2019.00018},
  doi       = {10.1109/FPL.2019.00018},
  timestamp = {Thu, 14 Nov 2019 09:41:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/PatelCFM19},
  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},
  title     = {Swarm Model Checking on the {GPU}},
  booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
               Beijing, China, July 15-16, 2019, Proceedings},
  pages     = {94--113},
  year      = {2019},
  crossref  = {DBLP:conf/spin/2019},
  url       = {https://doi.org/10.1007/978-3-030-30923-7\_6},
  doi       = {10.1007/978-3-030-30923-7\_6},
  timestamp = {Thu, 03 Oct 2019 13:48:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/DeFranciscoCFS19},
  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 Milder},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/fpga/2018},
  url       = {https://doi.org/10.1145/3174243.3174269},
  doi       = {10.1145/3174243.3174269},
  timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpga/ChoPCFM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/ChoFM18,
  author    = {Shenghsun Cho and
               Michael Ferdman and
               Peter 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},
  year      = {2018},
  crossref  = {DBLP:conf/fpl/2018},
  url       = {https://doi.org/10.1109/FPL.2018.00080},
  doi       = {10.1109/FPL.2018.00080},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/ChoFM18},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/micro/2018},
  url       = {https://doi.org/10.1109/MICRO.2018.00057},
  doi       = {10.1109/MICRO.2018.00057},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micro/ChoSPFH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpl/2019,
  editor    = {Ioannis Sourdis and
               Christos{-}Savvas Bouganis and
               Carlos {\'{A}}lvarez and
               Leonel Toledo and
               Pedro Valero{-}Lara and
               Xavier Martorell},
  title     = {29th International Conference on Field Programmable Logic and Applications,
               {FPL} 2019, Barcelona, Spain, September 8-12, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8890609/proceeding},
  isbn      = {978-1-7281-4884-7},
  timestamp = {Thu, 14 Nov 2019 09:41:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2019,
  editor    = {Fabrizio Biondi and
               Thomas Given{-}Wilson and
               Axel Legay},
  title     = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
               Beijing, China, July 15-16, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11636},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-30923-7},
  doi       = {10.1007/978-3-030-30923-7},
  isbn      = {978-3-030-30922-0},
  timestamp = {Thu, 03 Oct 2019 13:48:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpga/2018,
  editor    = {Jason Helge Anderson and
               Kia Bazargan},
  title     = {Proceedings of the 2018 {ACM/SIGDA} International Symposium on Field-Programmable
               Gate Arrays, {FPGA} 2018, Monterey, CA, USA, February 25-27, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3174243},
  doi       = {10.1145/3174243},
  timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpga/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpl/2018,
  title     = {28th International Conference on Field Programmable Logic and Applications,
               {FPL} 2018, Dublin, Ireland, August 27-31, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8529150/proceeding},
  isbn      = {978-1-5386-8517-4},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fpl/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micro/2018,
  title     = {51st Annual {IEEE/ACM} International Symposium on Microarchitecture,
               {MICRO} 2018, Fukuoka, Japan, October 20-24, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8573939/proceeding},
  isbn      = {978-1-5386-6240-3},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micro/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics