BibTeX records: Junpeng Zha

• > Home > Persons > Junpeng Zha

@inproceedings{DBLP:conf/pldi/ZhaL022,
  author       = {Junpeng Zha and
                  Hongjin Liang and
                  Xinyu Feng},
  editor       = {Ranjit Jhala and
                  Isil Dillig},
  title        = {Verifying optimizations of concurrent programs in the promising semantics},
  booktitle    = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, San Diego, CA, USA, June 13 -
                  17, 2022},
  pages        = {903--917},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3519939.3523734},
  doi          = {10.1145/3519939.3523734},
  timestamp    = {Tue, 19 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ZhaL022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcst/ZhaFQ20,
  author       = {Junpeng Zha and
                  Xin{-}Yu Feng and
                  Lei Qiao},
  title        = {Modular Verification of SPARCv8 Code},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {35},
  number       = {6},
  pages        = {1382--1405},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11390-020-0536-9},
  doi          = {10.1007/S11390-020-0536-9},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/ZhaFQ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/JiangLXZF19,
  author       = {Hanru Jiang and
                  Hongjin Liang and
                  Siyang Xiao and
                  Junpeng Zha and
                  Xinyu Feng},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {Towards certified separate compilation for concurrent programs},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {111--125},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314595},
  doi          = {10.1145/3314221.3314595},
  timestamp    = {Tue, 19 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/JiangLXZF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhaFQ18,
  author       = {Junpeng Zha and
                  Xinyu Feng and
                  Lei Qiao},
  editor       = {Sukyoung Ryu},
  title        = {Modular Verification of SPARCv8 Code},
  booktitle    = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
                  2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11275},
  pages        = {245--263},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02768-1\_14},
  doi          = {10.1007/978-3-030-02768-1\_14},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhaFQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}