Search dblp for Publications

export results for "toc:db/conf/pepm/pepm2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pepm/Asai19,
  author       = {Kenichi Asai},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Extracting a call-by-name partial evaluator from a proof of termination},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {61--67},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294084},
  doi          = {10.1145/3294032.3294084},
  timestamp    = {Sun, 25 Jul 2021 11:46:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Asai19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/DauthS19,
  author       = {Tamino Dauth and
                  Martin Sulzmann},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Futures and promises in Haskell and Scala},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {68--74},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294080},
  doi          = {10.1145/3294032.3294080},
  timestamp    = {Sat, 04 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/DauthS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Jay19,
  author       = {Barry Jay},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {A simpler lambda calculus},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294085},
  doi          = {10.1145/3294032.3294085},
  timestamp    = {Sat, 04 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Jay19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Lu19,
  author       = {Kenny Zhuo Ming Lu},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Control flow obfuscation via {CPS} transformation},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {54--60},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294083},
  doi          = {10.1145/3294032.3294083},
  timestamp    = {Sat, 04 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Lu19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Radanne19,
  author       = {Gabriel Radanne},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Typed parsing and unparsing for untyped regular expression engines},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {35--46},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294082},
  doi          = {10.1145/3294032.3294082},
  timestamp    = {Sat, 04 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Radanne19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/SatoI019,
  author       = {Ryosuke Sato and
                  Naoki Iwayama and
                  Naoki Kobayashi},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Combining higher-order model checking with refinement type inference},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {47--53},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294081},
  doi          = {10.1145/3294032.3294081},
  timestamp    = {Mon, 16 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/SatoI019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/WatanabeTO019,
  author       = {Keiichi Watanabe and
                  Takeshi Tsukada and
                  Hiroki Oshikawa and
                  Naoki Kobayashi},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Reduction from branching-time property verification of higher-order
                  programs to {HFL} validity checking},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {22--34},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294077},
  doi          = {10.1145/3294032.3294077},
  timestamp    = {Sat, 04 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/WatanabeTO019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/XuZWCGX19,
  author       = {Sihan Xu and
                  Sen Zhang and
                  Weijing Wang and
                  Xinya Cao and
                  Chenkai Guo and
                  Jing Xu},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Method name suggestion with hierarchical attention networks},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {10--21},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294079},
  doi          = {10.1145/3294032.3294079},
  timestamp    = {Wed, 04 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/XuZWCGX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/YallopK19,
  author       = {Jeremy Yallop and
                  Oleg Kiselyov},
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Generating mutually recursive definitions},
  booktitle    = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  pages        = {75--81},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032.3294078},
  doi          = {10.1145/3294032.3294078},
  timestamp    = {Sat, 04 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/YallopK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pepm/2019,
  editor       = {Manuel V. Hermenegildo and
                  Atsushi Igarashi},
  title        = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
                  14-15, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3294032},
  doi          = {10.1145/3294032},
  isbn         = {978-1-4503-6226-9},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.