BibTeX records: Zhengyao Lin

download as .bib file

@article{DBLP:journals/pacmpl/KrogmeierLMM22,
  author    = {Paul Krogmeier and
               Zhengyao Lin and
               Adithya Murali and
               P. Madhusudan},
  title     = {Synthesizing axiomatizations using logic learning},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {6},
  number    = {{OOPSLA2}},
  pages     = {1697--1725},
  year      = {2022},
  url       = {https://doi.org/10.1145/3563348},
  doi       = {10.1145/3563348},
  timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/KrogmeierLMM22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Kasampalis0LAR21,
  author    = {Theodoros Kasampalis and
               Daejun Park and
               Zhengyao Lin and
               Vikram S. Adve and
               Grigore Rosu},
  editor    = {Tim Sherwood and
               Emery D. Berger and
               Christos Kozyrakis},
  title     = {Language-parametric compiler validation with application to {LLVM}},
  booktitle = {{ASPLOS} '21: 26th {ACM} International Conference on Architectural
               Support for Programming Languages and Operating Systems, Virtual Event,
               USA, April 19-23, 2021},
  pages     = {1004--1019},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3445814.3446751},
  doi       = {10.1145/3445814.3446751},
  timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/asplos/Kasampalis0LAR21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChenLTR20,
  author    = {Xiaohong Chen and
               Zhengyao Lin and
               Minh{-}Thai Trinh and
               Grigore Rosu},
  editor    = {Alexandra Silva and
               K. Rustan M. Leino},
  title     = {Towards a Trustworthy Semantics-Based Language Framework via Proof
               Generation},
  booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
               2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12760},
  pages     = {477--499},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-81688-9\_23},
  doi       = {10.1007/978-3-030-81688-9\_23},
  timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/ChenLTR20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics