Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/aplas/AccattoliB17,
  author       = {Beniamino Accattoli and
                  Bruno Barras},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {The Negligible and Yet Subtle Cost of Pattern Matching},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {426--447},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_21},
  doi          = {10.1007/978-3-319-71237-6\_21},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/AccattoliB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/CaoCA17,
  author       = {Qinxiang Cao and
                  Santiago Cuellar and
                  Andrew W. Appel},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Bringing Order to the Separation Logic Jungle},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {190--211},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_10},
  doi          = {10.1007/978-3-319-71237-6\_10},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/CaoCA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ChawdharyK17,
  author       = {Aziem Chawdhary and
                  Andy King},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Compact Difference Bound Matrices},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {471--490},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_23},
  doi          = {10.1007/978-3-319-71237-6\_23},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ChawdharyK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/DahiyaB17,
  author       = {Manjeet Dahiya and
                  Sorav Bansal},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Black-Box Equivalence Checking Across Compiler Optimizations},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {127--147},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_7},
  doi          = {10.1007/978-3-319-71237-6\_7},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/DahiyaB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Diaz-Caro17,
  author       = {Alejandro D{\'{\i}}az{-}Caro},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {A Lambda Calculus for Density Matrices with Classical and Probabilistic
                  Controls},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {448--467},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_22},
  doi          = {10.1007/978-3-319-71237-6\_22},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/Diaz-Caro17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Erbatur0Z17,
  author       = {Serdar Erbatur and
                  Martin Hofmann and
                  Eugen Zalinescu},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Enforcing Programming Guidelines with Region Types and Effects},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {85--104},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_5},
  doi          = {10.1007/978-3-319-71237-6\_5},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/Erbatur0Z17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/GinkelSP17,
  author       = {Neline van Ginkel and
                  Raoul Strackx and
                  Frank Piessens},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Automatically Generating Secure Wrappers for {SGX} Enclaves from Separation
                  Logic Specifications},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {105--123},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_6},
  doi          = {10.1007/978-3-319-71237-6\_6},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/GinkelSP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/GulwaniJ17,
  author       = {Sumit Gulwani and
                  Prateek Jain},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Programming by Examples: {PL} Meets {ML}},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_1},
  doi          = {10.1007/978-3-319-71237-6\_1},
  timestamp    = {Wed, 01 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/GulwaniJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HayesWM17,
  author       = {Ian J. Hayes and
                  Xi Wu and
                  Larissa A. Meinicke},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Capabilities for Java: Secure Access to Resources},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {67--84},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_4},
  doi          = {10.1007/978-3-319-71237-6\_4},
  timestamp    = {Fri, 21 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/HayesWM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/HeR17,
  author       = {Shaobo He and
                  Zvonimir Rakamaric},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Counterexample-Guided Bit-Precision Selection},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {534--553},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_26},
  doi          = {10.1007/978-3-319-71237-6\_26},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/HeR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KimSGS17,
  author       = {Jieung Kim and
                  Vilhelm Sj{\"{o}}berg and
                  Ronghui Gu and
                  Zhong Shao},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Safety and Liveness of {MCS} Lock - Layer by Layer},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {273--297},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_14},
  doi          = {10.1007/978-3-319-71237-6\_14},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KimSGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KimuraT17,
  author       = {Daisuke Kimura and
                  Makoto Tatsuta},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Decision Procedure for Entailment of Symbolic Heaps with Arrays},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {169--189},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_9},
  doi          = {10.1007/978-3-319-71237-6\_9},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/KimuraT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KiselyovK17,
  author       = {Oleg Kiselyov and
                  Tatsuya Katsushima},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Sound and Efficient Language-Integrated Query - Maintaining the {ORDER}},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {364--383},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_18},
  doi          = {10.1007/978-3-319-71237-6\_18},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/KiselyovK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/KoRR17,
  author       = {Yoonseok Ko and
                  Xavier Rival and
                  Sukyoung Ryu},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Weakly Sensitive Analysis for Unbounded Iteration over JavaScript
                  Objects},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {148--168},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_8},
  doi          = {10.1007/978-3-319-71237-6\_8},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/KoRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Leijen17,
  author       = {Daan Leijen},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Implementing Algebraic Effects in {C} - "Monads for Free in C"},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {339--363},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_17},
  doi          = {10.1007/978-3-319-71237-6\_17},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/Leijen17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/LiMT17,
  author       = {Ximeng Li and
                  Heiko Mantel and
                  Markus Tasch},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Taming Message-Passing Communication in Compositional Reasoning About
                  Confidentiality},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {45--66},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_3},
  doi          = {10.1007/978-3-319-71237-6\_3},
  timestamp    = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/LiMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/MatacheGM17,
  author       = {Cristina Matache and
                  Victor B. F. Gomes and
                  Dominic P. Mulligan},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Programming and Proving with Classical Types},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {215--234},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_11},
  doi          = {10.1007/978-3-319-71237-6\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/MatacheGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/NakamuraKSI17,
  author       = {Hirofumi Nakamura and
                  Kensuke Kojima and
                  Kohei Suenaga and
                  Atsushi Igarashi},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {A Nonstandard Functional Programming Language},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {514--533},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_25},
  doi          = {10.1007/978-3-319-71237-6\_25},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/NakamuraKSI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/Nipkow17,
  author       = {Tobias Nipkow},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Verified Root-Balanced Trees},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {255--272},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_13},
  doi          = {10.1007/978-3-319-71237-6\_13},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/Nipkow17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/OkudonoNKSKH17,
  author       = {Takamasa Okudono and
                  Yuki Nishida and
                  Kensuke Kojima and
                  Kohei Suenaga and
                  Kengo Kido and
                  Ichiro Hasuo},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Sharper and Simpler Nonlinear Interpolants for Program Verification},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {491--513},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_24},
  doi          = {10.1007/978-3-319-71237-6\_24},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/OkudonoNKSKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/PommelletT17,
  author       = {Adrien Pommellet and
                  Tayssir Touili},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Static Analysis of Multithreaded Recursive Programs Communicating
                  via Rendez-Vous},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {235--254},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_12},
  doi          = {10.1007/978-3-319-71237-6\_12},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/PommelletT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ReyndersD17,
  author       = {Bob Reynders and
                  Dominique Devriese},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Efficient Functional Reactive Programming Through Incremental Behaviors},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {321--338},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_16},
  doi          = {10.1007/978-3-319-71237-6\_16},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ReyndersD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/SulzmannT17,
  author       = {Martin Sulzmann and
                  Peter Thiemann},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {A Computational Interpretation of Context-Free Expressions},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {387--405},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_19},
  doi          = {10.1007/978-3-319-71237-6\_19},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/SulzmannT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/UustaluV17,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Partiality and Container Monads},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {406--425},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_20},
  doi          = {10.1007/978-3-319-71237-6\_20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/UustaluV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/YanJWZ17,
  author       = {Gaogao Yan and
                  Li Jiao and
                  Shuling Wang and
                  Naijun Zhan},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Synthesizing SystemC Code from Delay Hybrid {CSP}},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {21--41},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_2},
  doi          = {10.1007/978-3-319-71237-6\_2},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/YanJWZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/ZhangKH17,
  author       = {Yongzhe Zhang and
                  Hsiang{-}Shang Ko and
                  Zhenjiang Hu},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Palgol: {A} High-Level {DSL} for Vertex-Centric Graph Processing with
                  Remote Data Access},
  booktitle    = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  pages        = {301--320},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6\_15},
  doi          = {10.1007/978-3-319-71237-6\_15},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ZhangKH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aplas/2017,
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
                  2017, Suzhou, China, November 27-29, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10695},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71237-6},
  doi          = {10.1007/978-3-319-71237-6},
  isbn         = {978-3-319-71236-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/2017.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.