Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/aplas/ArceriMZ22,
  author       = {Vincenzo Arceri and
                  Isabella Mastroeni and
                  Enea Zaffanella},
  editor       = {Ilya Sergey},
  title        = {Decoupling the Ascending and Descending Phases in Abstract Interpretation},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {25--44},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_2},
  doi          = {10.1007/978-3-031-21037-2\_2},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ArceriMZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/BeckerMRSWW22,
  author       = {Mike Becker and
                  Roland Meyer and
                  Tobias Runge and
                  Ina Schaefer and
                  S{\"{o}}ren van der Wall and
                  Sebastian Wolff},
  editor       = {Ilya Sergey},
  title        = {Model-Based Fault Classification for Automotive Software},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {110--131},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_6},
  doi          = {10.1007/978-3-031-21037-2\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/BeckerMRSWW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/DickersonYZD22,
  author       = {Robert Dickerson and
                  Qianchuan Ye and
                  Michael K. Zhang and
                  Benjamin Delaware},
  editor       = {Ilya Sergey},
  title        = {{RHLE:} Modular Deductive Verification of Relational {\(\forall\)}
                  {\(\exists\)} Properties},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {67--87},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_4},
  doi          = {10.1007/978-3-031-21037-2\_4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/DickersonYZD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/DvirKL22,
  author       = {Yotam Dvir and
                  Ohad Kammar and
                  Ori Lahav},
  editor       = {Ilya Sergey},
  title        = {An Algebraic Theory for Shared-State Concurrency},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {3--24},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_1},
  doi          = {10.1007/978-3-031-21037-2\_1},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/DvirKL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/GengYLHPS22,
  author       = {Chuqin Geng and
                  Haolin Ye and
                  Yixuan Li and
                  Tianyu Han and
                  Brigitte Pientka and
                  Xujie Si},
  editor       = {Ilya Sergey},
  title        = {Novice Type Error Diagnosis with Natural Language Models},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {196--214},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_10},
  doi          = {10.1007/978-3-031-21037-2\_10},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/GengYLHPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/JohannC22,
  author       = {Patricia Johann and
                  Pierre Cagne},
  editor       = {Ilya Sergey},
  title        = {Characterizing Functions Mappable over GADTs},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {135--154},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_7},
  doi          = {10.1007/978-3-031-21037-2\_7},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/JohannC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SchoppX22,
  author       = {Ulrich Sch{\"{o}}pp and
                  Chuangjie Xu},
  editor       = {Ilya Sergey},
  title        = {Inferring Region Types via an Abstract Notion of Environment Transformation},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {45--64},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_3},
  doi          = {10.1007/978-3-031-21037-2\_3},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SchoppX22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SongFC22,
  author       = {Yahui Song and
                  Darius Foo and
                  Wei{-}Ngan Chin},
  editor       = {Ilya Sergey},
  title        = {Automated Temporal Verification for Algebraic Effects},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {88--109},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_5},
  doi          = {10.1007/978-3-031-21037-2\_5},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SongFC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/XueOX22,
  author       = {Xu Xue and
                  Bruno C. d. S. Oliveira and
                  Ningning Xie},
  editor       = {Ilya Sergey},
  title        = {Applicative Intersection Types},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {155--174},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_8},
  doi          = {10.1007/978-3-031-21037-2\_8},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/XueOX22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhouOF22,
  author       = {Yaoda Zhou and
                  Bruno C. d. S. Oliveira and
                  Andong Fan},
  editor       = {Ilya Sergey},
  title        = {A Calculus with Recursive Types, Record Concatenation and Subtyping},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {175--195},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_9},
  doi          = {10.1007/978-3-031-21037-2\_9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhouOF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aplas/2022,
  editor       = {Ilya Sergey},
  title        = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2},
  doi          = {10.1007/978-3-031-21037-2},
  isbn         = {978-3-031-21036-5},
  timestamp    = {Thu, 01 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/2022.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.