Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/pepm/AsaiU18,
  author       = {Kenichi Asai and
                  Chihiro Uehara},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Selective {CPS} transformation for shift and reset},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {40--52},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162069},
  doi          = {10.1145/3162069},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/AsaiU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/BromanS18,
  author       = {David Broman and
                  Jeremy G. Siek},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Gradually typed symbolic expressions},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {15--29},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162068},
  doi          = {10.1145/3162068},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/BromanS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/GreenmanM18,
  author       = {Ben Greenman and
                  Zeina Migeed},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {On the cost of type-tag soundness},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {30--39},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162066},
  doi          = {10.1145/3162066},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/GreenmanM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/ImanishiSI18,
  author       = {Akifumi Imanishi and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {A guess-and-assume approach to loop fusion for program verification},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {2--14},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162070},
  doi          = {10.1145/3162070},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/ImanishiSI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Jay18,
  author       = {Barry Jay},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Recursive programs in normal form (short paper)},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {67--73},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162067},
  doi          = {10.1145/3162067},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/Jay18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/Midtgaard18,
  author       = {Jan Midtgaard},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Developments in property-based testing (invited talk)},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3168896},
  doi          = {10.1145/3168896},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/Midtgaard18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/MitchellBLK18,
  author       = {Duncan Mitchell and
                  L. Thomas van Binsbergen and
                  Blake Loring and
                  Johannes Kinder},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Checking cryptographic {API} usage with composable annotations (short
                  paper)},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {53--59},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162071},
  doi          = {10.1145/3162071},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/MitchellBLK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/WatanabeK18,
  author       = {Takahisa Watanabe and
                  Yukiyoshi Kameyama},
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Program generation for {ML} modules (short paper)},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  pages        = {60--66},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3162072},
  doi          = {10.1145/3162072},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/WatanabeK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pepm/2018,
  editor       = {Fritz Henglein and
                  Hsiang{-}Shang Ko},
  title        = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3175493},
  doi          = {10.1145/3175493},
  isbn         = {978-1-4503-5587-2},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.