Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/pepm/CaretteOS23,
  author       = {Jacques Carette and
                  Gerardo Ortiz and
                  Amr Sabry},
  editor       = {Edwin C. Brady and
                  Jens Palsberg},
  title        = {Symbolic Execution of Hadamard-Toffoli Quantum Circuits},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
                  MA, USA, January 16-17, 2023},
  pages        = {14--26},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571786.3573018},
  doi          = {10.1145/3571786.3573018},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/CaretteOS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/CongA23,
  author       = {Youyou Cong and
                  Kenichi Asai},
  editor       = {Edwin C. Brady and
                  Jens Palsberg},
  title        = {Towards a Reflection for Effect Handlers},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
                  MA, USA, January 16-17, 2023},
  pages        = {55--65},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571786.3573015},
  doi          = {10.1145/3571786.3573015},
  timestamp    = {Fri, 13 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/CongA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/MacedoRVS23,
  author       = {Jos{\'{e}} Nuno Macedo and
                  Emanuel Rodrigues and
                  Marcos Viera and
                  Jo{\~{a}}o Saraiva},
  editor       = {Edwin C. Brady and
                  Jens Palsberg},
  title        = {Efficient Embedding of Strategic Attribute Grammars via Memoization},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
                  MA, USA, January 16-17, 2023},
  pages        = {41--54},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571786.3573019},
  doi          = {10.1145/3571786.3573019},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/MacedoRVS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/ParkHR23,
  author       = {Jihee Park and
                  Jaemin Hong and
                  Sukyoung Ryu},
  editor       = {Edwin C. Brady and
                  Jens Palsberg},
  title        = {Semantic Transformation Framework for Rewriting Rules},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
                  MA, USA, January 16-17, 2023},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571786.3573016},
  doi          = {10.1145/3571786.3573016},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ParkHR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/TokudaK23,
  author       = {Ryo Tokuda and
                  Yukiyoshi Kameyama},
  editor       = {Edwin C. Brady and
                  Jens Palsberg},
  title        = {Generating Programs for Polynomial Multiplication with Correctness
                  Assurance},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
                  MA, USA, January 16-17, 2023},
  pages        = {27--40},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571786.3573017},
  doi          = {10.1145/3571786.3573017},
  timestamp    = {Fri, 13 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/TokudaK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pepm/2023,
  editor       = {Edwin C. Brady and
                  Jens Palsberg},
  title        = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on
                  Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston,
                  MA, USA, January 16-17, 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571786},
  doi          = {10.1145/3571786},
  timestamp    = {Fri, 13 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}