Search dblp for Publications

export results for "toc:db/conf/aplas/aplas2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aplas/AccattoliB23,
  author       = {Beniamino Accattoli and
                  Pablo Barenbaum},
  editor       = {Chung{-}Kil Hur},
  title        = {A Diamond Machine for Strong Evaluation},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {69--90},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_4},
  doi          = {10.1007/978-981-99-8311-7\_4},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/AccattoliB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ForsterKM23,
  author       = {Yannick Forster and
                  Dominik Kirst and
                  Niklas M{\"{u}}ck},
  editor       = {Chung{-}Kil Hur},
  title        = {Oracle Computability and Turing Reducibility in the Calculus of Inductive
                  Constructions},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {155--181},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_8},
  doi          = {10.1007/978-981-99-8311-7\_8},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ForsterKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Germane23,
  author       = {Kimball Germane},
  editor       = {Chung{-}Kil Hur},
  title        = {m-CFA Exhibits Perfect Stack Precision},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {290--309},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_14},
  doi          = {10.1007/978-981-99-8311-7\_14},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/Germane23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HeuvelPNP23,
  author       = {Bas van den Heuvel and
                  Joseph W. N. Paulus and
                  Daniele Nantes{-}Sobrinho and
                  Jorge A. P{\'{e}}rez},
  editor       = {Chung{-}Kil Hur},
  title        = {Typed Non-determinism in Functional and Concurrent Calculi},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {112--132},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_6},
  doi          = {10.1007/978-981-99-8311-7\_6},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/HeuvelPNP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/IkedaSK23,
  author       = {Ryo Ikeda and
                  Ryosuke Sato and
                  Naoki Kobayashi},
  editor       = {Chung{-}Kil Hur},
  title        = {Argument Reduction of Constrained Horn Clauses Using Equality Constraints},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {246--265},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_12},
  doi          = {10.1007/978-981-99-8311-7\_12},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/IkedaSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Kappelmann23,
  author       = {Kevin Kappelmann},
  editor       = {Chung{-}Kil Hur},
  title        = {Transport via Partial Galois Connections and Equivalences},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {225--245},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_11},
  doi          = {10.1007/978-981-99-8311-7\_11},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/Kappelmann23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KupkeFW23,
  author       = {Clemens Kupke and
                  Fredrik Nordvall Forsberg and
                  Sean Watters},
  editor       = {Chung{-}Kil Hur},
  title        = {A Fresh Look at Commutativity: Free Algebraic Structures via Fresh
                  Lists},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {135--154},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_7},
  doi          = {10.1007/978-981-99-8311-7\_7},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/KupkeFW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/LiLSC23,
  author       = {Wenhua Li and
                  Quang Loc Le and
                  Yahui Song and
                  Wei{-}Ngan Chin},
  editor       = {Chung{-}Kil Hur},
  title        = {Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {269--289},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_13},
  doi          = {10.1007/978-981-99-8311-7\_13},
  timestamp    = {Thu, 07 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/LiLSC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/RestP23,
  author       = {Cas van der Rest and
                  Casper Bach Poulsen},
  editor       = {Chung{-}Kil Hur},
  title        = {Types and Semantics for Extensible Data Types},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {46--66},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_3},
  doi          = {10.1007/978-981-99-8311-7\_3},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/RestP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SaitoA23,
  author       = {Ayumu Saito and
                  Reynald Affeldt},
  editor       = {Chung{-}Kil Hur},
  title        = {Experimenting with an Intrinsically-Typed Probabilistic Programming
                  Language in Coq},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {182--202},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_9},
  doi          = {10.1007/978-981-99-8311-7\_9},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SaitoA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SuGPS23,
  author       = {Qidong Su and
                  Chuqin Geng and
                  Gennady Pekhimenko and
                  Xujie Si},
  editor       = {Chung{-}Kil Hur},
  title        = {TorchProbe: Fuzzing Dynamic Deep Learning Compilers},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {310--331},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_15},
  doi          = {10.1007/978-981-99-8311-7\_15},
  timestamp    = {Thu, 07 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SuGPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SunCWH23,
  author       = {Ke Sun and
                  Sheng Chen and
                  Meng Wang and
                  Dan Hao},
  editor       = {Chung{-}Kil Hur},
  title        = {What Types Are Needed for Typing Dynamic Objects? {A} Python-Based
                  Empirical Study},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {24--45},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_2},
  doi          = {10.1007/978-981-99-8311-7\_2},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SunCWH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/TanabeLAM23,
  author       = {Yudai Tanabe and
                  Luthfan Anshar Lubis and
                  Tomoyuki Aotani and
                  Hidehiko Masuhara},
  editor       = {Chung{-}Kil Hur},
  title        = {Compilation Semantics for a Programming Language with Versions},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {3--23},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_1},
  doi          = {10.1007/978-981-99-8311-7\_1},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/TanabeLAM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Wu23,
  author       = {Jui{-}Hsuan Wu},
  editor       = {Chung{-}Kil Hur},
  title        = {Proofs as Terms, Terms as Graphs},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {91--111},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_5},
  doi          = {10.1007/978-981-99-8311-7\_5},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/Wu23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/WuWSXS23,
  author       = {Jinhua Wu and
                  Yuting Wang and
                  Meng Sun and
                  Xiangzhe Xu and
                  Yichen Song},
  editor       = {Chung{-}Kil Hur},
  title        = {Towards a Framework for Developing Verified Assemblers for the {ELF}
                  Format},
  booktitle    = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  pages        = {205--224},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7\_10},
  doi          = {10.1007/978-981-99-8311-7\_10},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/WuWSXS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aplas/2023,
  editor       = {Chung{-}Kil Hur},
  title        = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
                  2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14405},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-8311-7},
  doi          = {10.1007/978-981-99-8311-7},
  isbn         = {978-981-99-8310-0},
  timestamp    = {Thu, 07 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/2023.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.