default search action
Search dblp for Publications
export results for "toc:db/journals/pacmpl/pacmpl1.bht:"
@article{DBLP:journals/pacmpl/0001M17, author = {Michael D. Adams and Matthew Might}, title = {Restricting grammars with tree automata}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {82:1--82:25}, year = {2017}, url = {https://doi.org/10.1145/3133906}, doi = {10.1145/3133906}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/0001M17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/0001VW17, author = {Andreas Abel and Andrea Vezzosi and Th{\'{e}}o Winterhalter}, title = {Normalization by evaluation for sized dependent types}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {33:1--33:30}, year = {2017}, url = {https://doi.org/10.1145/3110277}, doi = {10.1145/3110277}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/0001VW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/0002KLP17, author = {Yannick Forster and Ohad Kammar and Sam Lindley and Matija Pretnar}, title = {On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {13:1--13:29}, year = {2017}, url = {https://doi.org/10.1145/3110257}, doi = {10.1145/3110257}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/0002KLP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AdamsenMT17, author = {Christoffer Quist Adamsen and Anders M{\o}ller and Frank Tip}, title = {Practical initialization race detection for JavaScript web applications}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {66:1--66:22}, year = {2017}, url = {https://doi.org/10.1145/3133890}, doi = {10.1145/3133890}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AdamsenMT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AguirreBG0S17, author = {Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Pierre{-}Yves Strub}, title = {A relational logic for higher-order programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {21:1--21:29}, year = {2017}, url = {https://doi.org/10.1145/3110265}, doi = {10.1145/3110265}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AguirreBG0S17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AhmedJSW17, author = {Amal Ahmed and Dustin Jamner and Jeremy G. Siek and Philip Wadler}, title = {Theorems for free for free: parametricity, with and without types}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {39:1--39:28}, year = {2017}, url = {https://doi.org/10.1145/3110283}, doi = {10.1145/3110283}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/AhmedJSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AlbarghouthiDDN17, author = {Aws Albarghouthi and Loris D'Antoni and Samuel Drews and Aditya V. Nori}, title = {FairSquare: probabilistic verification of program fairness}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {80:1--80:30}, year = {2017}, url = {https://doi.org/10.1145/3133904}, doi = {10.1145/3133904}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AlbarghouthiDDN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AnconaDZ17, author = {Davide Ancona and Francesco Dagnino and Elena Zucca}, title = {Reasoning on divergent computations with coaxioms}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {81:1--81:26}, year = {2017}, url = {https://doi.org/10.1145/3133905}, doi = {10.1145/3133905}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AnconaDZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AndersenCF17, author = {Leif Andersen and Stephen Chang and Matthias Felleisen}, title = {Super 8 languages for making movies (functional pearl)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {30:1--30:29}, year = {2017}, url = {https://doi.org/10.1145/3110274}, doi = {10.1145/3110274}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AndersenCF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AuerbachHMSS17, author = {Joshua S. Auerbach and Martin Hirzel and Louis Mandel and Avraham Shinnar and J{\'{e}}r{\^{o}}me Sim{\'{e}}on}, title = {Prototyping a query compiler using Coq (experience report)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {9:1--9:15}, year = {2017}, url = {https://doi.org/10.1145/3110253}, doi = {10.1145/3110253}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/AuerbachHMSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AvanziniL17, author = {Martin Avanzini and Ugo Dal Lago}, title = {Automating sized-type inference for complexity analysis}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {43:1--43:29}, year = {2017}, url = {https://doi.org/10.1145/3110287}, doi = {10.1145/3110287}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AvanziniL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BakstGKJ17, author = {Alexander Bakst and Klaus von Gleissenthall and Rami G{\"{o}}khan Kici and Ranjit Jhala}, title = {Verifying distributed programs via canonical sequentialization}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {110:1--110:27}, year = {2017}, url = {https://doi.org/10.1145/3133934}, doi = {10.1145/3133934}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BakstGKJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BalabonskiBBK17, author = {Thibaut Balabonski and Pablo Barenbaum and Eduardo Bonelli and Delia Kesner}, title = {Foundations of strong call by need}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {20:1--20:29}, year = {2017}, url = {https://doi.org/10.1145/3110264}, doi = {10.1145/3110264}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BalabonskiBBK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BalzerP17, author = {Stephanie Balzer and Frank Pfenning}, title = {Manifest sharing with session types}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {37:1--37:29}, year = {2017}, url = {https://doi.org/10.1145/3110281}, doi = {10.1145/3110281}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BalzerP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BarrettBKMT17, author = {Edd Barrett and Carl Friedrich Bolz{-}Tereick and Rebecca Killick and Sarah Mount and Laurence Tratt}, title = {Virtual machine warmup blows hot and cold}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {52:1--52:27}, year = {2017}, url = {https://doi.org/10.1145/3133876}, doi = {10.1145/3133876}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BarrettBKMT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BaumanBST17, author = {Spenser Bauman and Carl Friedrich Bolz{-}Tereick and Jeremy G. Siek and Sam Tobin{-}Hochstadt}, title = {Sound gradual typing: only mostly dead}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {54:1--54:24}, year = {2017}, url = {https://doi.org/10.1145/3133878}, doi = {10.1145/3133878}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/BaumanBST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Bernardy17, author = {Jean{-}Philippe Bernardy}, title = {A pretty but not greedy printer (functional pearl)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {6:1--6:21}, year = {2017}, url = {https://doi.org/10.1145/3110250}, doi = {10.1145/3110250}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Bernardy17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BernsteinBBCFKK17, author = {Philip A. Bernstein and Sebastian Burckhardt and Sergey Bykov and Natacha Crooks and Jose M. Faleiro and Gabriel Kliot and Alok Kumbhare and Muntasir Raihan Rahman and Vivek Shah and Adriana Szekeres and Jorgen Thelin}, title = {Geo-distribution of actor-based services}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {107:1--107:26}, year = {2017}, url = {https://doi.org/10.1145/3133931}, doi = {10.1145/3133931}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/BernsteinBBCFKK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/BreitnerS17, author = {Joachim Breitner and Chris Smith}, title = {Lock-step simulation is child's play (experience report)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {3:1--3:15}, year = {2017}, url = {https://doi.org/10.1145/3110247}, doi = {10.1145/3110247}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/BreitnerS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ByrdBRM17, author = {William E. Byrd and A. Ballantyne and Gregory Rosenblatt and Matthew Might}, title = {A unified approach to solving seven programming problems (functional pearl)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {8:1--8:26}, year = {2017}, url = {https://doi.org/10.1145/3110252}, doi = {10.1145/3110252}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ByrdBRM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CanouCH17, author = {Benjamin Canou and Roberto Di Cosmo and Gr{\'{e}}goire Henry}, title = {Scaling up functional programming education: under the hood of the OCaml {MOOC}}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {4:1--4:25}, year = {2017}, url = {https://doi.org/10.1145/3110248}, doi = {10.1145/3110248}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CanouCH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CastagnaL17, author = {Giuseppe Castagna and Victor Lanvin}, title = {Gradual typing with union and intersection types}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {41:1--41:28}, year = {2017}, url = {https://doi.org/10.1145/3110285}, doi = {10.1145/3110285}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CastagnaL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CavalcantiBA17, author = {Guilherme Cavalcanti and Paulo Borba and Paola R. G. Accioly}, title = {Evaluating and improving semistructured merge}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {59:1--59:27}, year = {2017}, url = {https://doi.org/10.1145/3133883}, doi = {10.1145/3133883}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CavalcantiBA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CelikPKG17, author = {Ahmet {\c{C}}elik and Sreepathi Pai and Sarfraz Khurshid and Milos Gligoric}, title = {Bounded exhaustive test-input generation on GPUs}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {94:1--94:25}, year = {2017}, url = {https://doi.org/10.1145/3133918}, doi = {10.1145/3133918}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/CelikPKG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ChaeOHY17, author = {Kwonsoo Chae and Hakjoo Oh and Kihong Heo and Hongseok Yang}, title = {Automatically generating features for learning program analysis heuristics for C-like languages}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {101:1--101:25}, year = {2017}, url = {https://doi.org/10.1145/3133925}, doi = {10.1145/3133925}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ChaeOHY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ChasinsB17, author = {Sarah E. Chasins and Rastislav Bod{\'{\i}}k}, title = {Skip blocks: reusing execution history to accelerate web scripts}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {51:1--51:28}, year = {2017}, url = {https://doi.org/10.1145/3133875}, doi = {10.1145/3133875}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ChasinsB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ChaudhuriVGRL17, author = {Avik Chaudhuri and Panagiotis Vekris and Sam Goldman and Marshall Roch and Gabriel Levi}, title = {Fast and precise type checking for JavaScript}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {48:1--48:30}, year = {2017}, url = {https://doi.org/10.1145/3133872}, doi = {10.1145/3133872}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ChaudhuriVGRL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ChoiVSCA17, author = {Joonwon Choi and Muralidaran Vijayaraghavan and Benjamin Sherman and Adam Chlipala and Arvind}, title = {Kami: a platform for high-level parametric hardware specification and its modular verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {24:1--24:30}, year = {2017}, url = {https://doi.org/10.1145/3110268}, doi = {10.1145/3110268}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ChoiVSCA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ClebschFDYWV17, author = {Sylvan Clebsch and Juliana Franco and Sophia Drossopoulou and Albert Mingkun Yang and Tobias Wrigstad and Jan Vitek}, title = {Orca: {GC} and type system co-design for actor languages}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {72:1--72:28}, year = {2017}, url = {https://doi.org/10.1145/3133896}, doi = {10.1145/3133896}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ClebschFDYWV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CogumbreiroSMSV17, author = {Tiago Cogumbreiro and Rishi Surendran and Francisco Martins and Vivek Sarkar and Vasco T. Vasconcelos and Max Grossman}, title = {Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {103:1--103:26}, year = {2017}, url = {https://doi.org/10.1145/3143359}, doi = {10.1145/3143359}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/CogumbreiroSMSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CohenFL17, author = {Nachshon Cohen and Michal Friedman and James R. Larus}, title = {Efficient logging in non-volatile memory by exploiting coherency protocols}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {67:1--67:24}, year = {2017}, url = {https://doi.org/10.1145/3133891}, doi = {10.1145/3133891}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/CohenFL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CosmanJ17, author = {Benjamin Cosman and Ranjit Jhala}, title = {Local refinement typing}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {26:1--26:27}, year = {2017}, url = {https://doi.org/10.1145/3110270}, doi = {10.1145/3110270}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CosmanJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DaraisLNH17, author = {David Darais and Nicholas Labich and Phuc C. Nguyen and David Van Horn}, title = {Abstracting definitional interpreters (functional pearl)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {12:1--12:25}, year = {2017}, url = {https://doi.org/10.1145/3110256}, doi = {10.1145/3110256}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DaraisLNH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DavisMS17, author = {Milo Davis and William Meehan and Olin Shivers}, title = {No-brainer {CPS} conversion (functional pearl)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {23:1--23:25}, year = {2017}, url = {https://doi.org/10.1145/3110267}, doi = {10.1145/3110267}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DavisMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DingS17, author = {Yufei Ding and Xipeng Shen}, title = {{GLORE:} generalized loop redundancy elimination upon LER-notation}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {74:1--74:28}, year = {2017}, url = {https://doi.org/10.1145/3133898}, doi = {10.1145/3133898}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DingS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DonaldsonELT17, author = {Alastair F. Donaldson and Hugues Evrard and Andrei Lascu and Paul Thomson}, title = {Automated testing of graphics shader compilers}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {93:1--93:29}, year = {2017}, url = {https://doi.org/10.1145/3133917}, doi = {10.1145/3133917}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DonaldsonELT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/EbnerURAM17, author = {Gabriel Ebner and Sebastian Ullrich and Jared Roesch and Jeremy Avigad and Leonardo de Moura}, title = {A metaprogramming framework for formal verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {34:1--34:29}, year = {2017}, url = {https://doi.org/10.1145/3110278}, doi = {10.1145/3110278}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/EbnerURAM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Elliott17, author = {Conal Elliott}, title = {Generic functional parallel algorithms: scan and {FFT}}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {7:1--7:25}, year = {2017}, url = {https://doi.org/10.1145/3110251}, doi = {10.1145/3110251}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Elliott17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Elliott17a, author = {Conal Elliott}, title = {Compiling to categories}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {27:1--27:27}, year = {2017}, url = {https://doi.org/10.1145/3110271}, doi = {10.1145/3110271}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Elliott17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/GomesKMB17, author = {Victor B. F. Gomes and Martin Kleppmann and Dominic P. Mulligan and Alastair R. Beresford}, title = {Verifying strong eventual consistency in distributed systems}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {109:1--109:28}, year = {2017}, url = {https://doi.org/10.1145/3133933}, doi = {10.1145/3133933}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/GomesKMB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/GrechFFS17, author = {Neville Grech and George Fourtounis and Adrian Francalanza and Yannis Smaragdakis}, title = {Heaps don't lie: countering unsoundness with heap snapshots}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {68:1--68:27}, year = {2017}, url = {https://doi.org/10.1145/3133892}, doi = {10.1145/3133892}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/GrechFFS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/GrechS17, author = {Neville Grech and Yannis Smaragdakis}, title = {P/Taint: unified points-to and taint analysis}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {102:1--102:28}, year = {2017}, url = {https://doi.org/10.1145/3133926}, doi = {10.1145/3133926}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/GrechS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/HajjJMH17, author = {Izzat El Hajj and Thomas B. Jablin and Dejan S. Milojicic and Wen{-}Mei W. Hwu}, title = {{SAVI} objects: sharing and virtuality incorporated}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {45:1--45:24}, year = {2017}, url = {https://doi.org/10.1145/3133869}, doi = {10.1145/3133869}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/HajjJMH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Hamana17, author = {Makoto Hamana}, title = {How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {22:1--22:28}, year = {2017}, url = {https://doi.org/10.1145/3110266}, doi = {10.1145/3110266}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Hamana17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/IgarashiSI17, author = {Yuu Igarashi and Taro Sekiyama and Atsushi Igarashi}, title = {On polymorphic gradual typing}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {40:1--40:29}, year = {2017}, url = {https://doi.org/10.1145/3110284}, doi = {10.1145/3110284}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/IgarashiSI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/IgarashiTVW17, author = {Atsushi Igarashi and Peter Thiemann and Vasco T. Vasconcelos and Philip Wadler}, title = {Gradual session types}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {38:1--38:28}, year = {2017}, url = {https://doi.org/10.1145/3110282}, doi = {10.1145/3110282}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/IgarashiTVW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/JeongJCO17, author = {Sehun Jeong and Minseok Jeon and Sung Deok Cha and Hakjoo Oh}, title = {Data-driven context-sensitivity for points-to analysis}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {100:1--100:28}, year = {2017}, url = {https://doi.org/10.1145/3133924}, doi = {10.1145/3133924}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/JeongJCO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KaminskiKCW17, author = {Ted Kaminski and Lucas Kramer and Travis Carlson and Eric Van Wyk}, title = {Reliable and automatic composition of language extensions to {C:} the ableC extensible language framework}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {98:1--98:29}, year = {2017}, url = {https://doi.org/10.1145/3138224}, doi = {10.1145/3138224}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KaminskiKCW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KjolstadKCLA17, author = {Fredrik Kjolstad and Shoaib Kamil and Stephen Chou and David Lugato and Saman P. Amarasinghe}, title = {The tensor algebra compiler}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {77:1--77:29}, year = {2017}, url = {https://doi.org/10.1145/3133901}, doi = {10.1145/3133901}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/KjolstadKCLA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/KristensenM17, author = {Erik Krogh Kristensen and Anders M{\o}ller}, title = {Type test scripts for TypeScript testing}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {90:1--90:25}, year = {2017}, url = {https://doi.org/10.1145/3133914}, doi = {10.1145/3133914}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KristensenM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/LiZ17, author = {Xia Li and Lingming Zhang}, title = {Transforming programs and tests in tandem for fault localization}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {92:1--92:30}, year = {2017}, url = {https://doi.org/10.1145/3133916}, doi = {10.1145/3133916}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/LiZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/LiuMM17, author = {Lun Liu and Todd D. Millstein and Madanlal Musuvathi}, title = {A volatile-by-default {JVM} for server applications}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {49:1--49:25}, year = {2017}, url = {https://doi.org/10.1145/3133873}, doi = {10.1145/3133873}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/LiuMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/LopesMMSYZSV17, author = {Cristina V. Lopes and Petr Maj and Pedro Martins and Vaibhav Saini and Di Yang and Jakub Zitny and Hitesh Sajnani and Jan Vitek}, title = {D{\'{e}}j{\`{a}}Vu: a map of code duplicates on GitHub}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {84:1--84:28}, year = {2017}, url = {https://doi.org/10.1145/3133908}, doi = {10.1145/3133908}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/LopesMMSYZSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MadsenLT17, author = {Magnus Madsen and Ondrej Lhot{\'{a}}k and Frank Tip}, title = {A model for reasoning about JavaScript promises}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {86:1--86:24}, year = {2017}, url = {https://doi.org/10.1145/3133910}, doi = {10.1145/3133910}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MadsenLT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MaengCL17, author = {Kiwan Maeng and Alexei Colin and Brandon Lucia}, title = {Alpaca: intermittent execution without checkpoints}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {96:1--96:30}, year = {2017}, url = {https://doi.org/10.1145/3133920}, doi = {10.1145/3133920}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MaengCL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Mainland17, author = {Geoffrey Mainland}, title = {Better living through operational semantics: an optimizing compiler for radio protocols}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {19:1--19:26}, year = {2017}, url = {https://doi.org/10.1145/3110263}, doi = {10.1145/3110263}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/Mainland17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ManskyAN17, author = {William Mansky and Andrew W. Appel and Aleksey Nogin}, title = {A verified messaging system}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {87:1--87:28}, year = {2017}, url = {https://doi.org/10.1145/3133911}, doi = {10.1145/3133911}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ManskyAN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MazinanianKTD17, author = {Davood Mazinanian and Ameya Ketkar and Nikolaos Tsantalis and Danny Dig}, title = {Understanding the use of lambda expressions in Java}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {85:1--85:31}, year = {2017}, url = {https://doi.org/10.1145/3133909}, doi = {10.1145/3133909}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/MazinanianKTD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MelgrattiP17, author = {Hern{\'{a}}n C. Melgratti and Luca Padovani}, title = {Chaperone contracts for higher-order sessions}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {35:1--35:29}, year = {2017}, url = {https://doi.org/10.1145/3110279}, doi = {10.1145/3110279}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MelgrattiP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MidtgaardJKNN17, author = {Jan Midtgaard and Mathias Nygaard Justesen and Patrick Kasting and Flemming Nielson and Hanne Riis Nielson}, title = {Effect-driven QuickChecking of compilers}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {15:1--15:23}, year = {2017}, url = {https://doi.org/10.1145/3110259}, doi = {10.1145/3110259}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MidtgaardJKNN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MorrisE17, author = {J. Garrett Morris and Richard A. Eisenberg}, title = {Constrained type families}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {42:1--42:28}, year = {2017}, url = {https://doi.org/10.1145/3110286}, doi = {10.1145/3110286}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/MorrisE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MuehlboeckT17, author = {Fabian Muehlboeck and Ross Tate}, title = {Sound gradual typing is nominally alive and well}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {56:1--56:30}, year = {2017}, url = {https://doi.org/10.1145/3133880}, doi = {10.1145/3133880}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MuehlboeckT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/NarayananS17, author = {Praveen Narayanan and Chung{-}chieh Shan}, title = {Symbolic conditioning of arrays in probabilistic programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {11:1--11:25}, year = {2017}, url = {https://doi.org/10.1145/3110255}, doi = {10.1145/3110255}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/NarayananS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/NuytsVD17, author = {Andreas Nuyts and Andrea Vezzosi and Dominique Devriese}, title = {Parametric quantifiers for dependent type theory}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {32:1--32:29}, year = {2017}, url = {https://doi.org/10.1145/3110276}, doi = {10.1145/3110276}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/NuytsVD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/OrchardCDR17, author = {Dominic A. Orchard and Mistral Contrastin and Matthew Danish and Andrew C. Rice}, title = {Verifying spatial properties of array computations}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {75:1--75:30}, year = {2017}, url = {https://doi.org/10.1145/3133899}, doi = {10.1145/3133899}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/OrchardCDR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/OwensNKMT17, author = {Scott Owens and Michael Norrish and Ramana Kumar and Magnus O. Myreen and Yong Kiam Tan}, title = {Verifying efficient function calls in CakeML}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {18:1--18:27}, year = {2017}, url = {https://doi.org/10.1145/3110262}, doi = {10.1145/3110262}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/OwensNKMT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/PadonLSS17, author = {Oded Padon and Giuliano Losa and Mooly Sagiv and Sharon Shoham}, title = {Paxos made {EPR:} decidable reasoning about distributed protocols}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {108:1--108:31}, year = {2017}, url = {https://doi.org/10.1145/3140568}, doi = {10.1145/3140568}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/PadonLSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/PapadakisB0AH17, author = {Manolis Papadakis and Gilbert Louis Bernstein and Rahul Sharma and Alex Aiken and Pat Hanrahan}, title = {Seam: provably safe local edits on graphs}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {78:1--78:29}, year = {2017}, url = {https://doi.org/10.1145/3133902}, doi = {10.1145/3133902}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/PapadakisB0AH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ParkinsonVVCDMB17, author = {Matthew J. Parkinson and Dimitrios Vytiniotis and Kapil Vaswani and Manuel Costa and Pantazis Deligiannis and Dylan McDermott and Aaron Blankstein and Jonathan Balkind}, title = {Project snowflake: non-blocking safe manual memory management in .NET}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {95:1--95:25}, year = {2017}, url = {https://doi.org/10.1145/3141879}, doi = {10.1145/3141879}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ParkinsonVVCDMB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/PerezN17, author = {Ivan Perez and Henrik Nilsson}, title = {Testing and debugging functional reactive programming}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {2:1--2:27}, year = {2017}, url = {https://doi.org/10.1145/3110246}, doi = {10.1145/3110246}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/PerezN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/PoesiaGFP17, author = {Gabriel Poesia and Breno Campos Ferreira Guimar{\~{a}}es and Fabricio Ferracioli and Fernando Magno Quint{\~{a}}o Pereira}, title = {Static placement of computation on heterogeneous devices}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {50:1--50:28}, year = {2017}, url = {https://doi.org/10.1145/3133874}, doi = {10.1145/3133874}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/PoesiaGFP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/PombrioKW17, author = {Justin Pombrio and Shriram Krishnamurthi and Mitchell Wand}, title = {Inferring scope through syntactic sugar}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {44:1--44:28}, year = {2017}, url = {https://doi.org/10.1145/3110288}, doi = {10.1145/3110288}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/PombrioKW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Pottier17, author = {Fran{\c{c}}ois Pottier}, title = {Visitors unchained}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {28:1--28:28}, year = {2017}, url = {https://doi.org/10.1145/3110272}, doi = {10.1145/3110272}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Pottier17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ProtzenkoZRRWBD17, author = {Jonathan Protzenko and Jean Karim Zinzindohou{\'{e}} and Aseem Rastogi and Tahina Ramananandro and Peng Wang and Santiago Zanella B{\'{e}}guelin and Antoine Delignat{-}Lavaud and Catalin Hritcu and Karthikeyan Bhargavan and C{\'{e}}dric Fournet and Nikhil Swamy}, title = {Verified low-level programming embedded in {F}}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {17:1--17:29}, year = {2017}, url = {https://doi.org/10.1145/3110261}, doi = {10.1145/3110261}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ProtzenkoZRRWBD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Puente17, author = {Juan Pedro Bol{\'{\i}}var Puente}, title = {Persistence for the masses: RRB-vectors in a systems language}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {16:1--16:28}, year = {2017}, url = {https://doi.org/10.1145/3110260}, doi = {10.1145/3110260}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Puente17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/QiuS17, author = {Xiaokang Qiu and Armando Solar{-}Lezama}, title = {Natural synthesis of provably-correct data-structure manipulations}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {65:1--65:28}, year = {2017}, url = {https://doi.org/10.1145/3133889}, doi = {10.1145/3133889}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/QiuS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RapoportKHL17, author = {Marianna Rapoport and Ifaz Kabir and Paul He and Ondrej Lhot{\'{a}}k}, title = {A simple soundness proof for dependent object types}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {46:1--46:27}, year = {2017}, url = {https://doi.org/10.1145/3133870}, doi = {10.1145/3133870}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/RapoportKHL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Reid17, author = {Alastair Reid}, title = {Who guards the guards? formal validation of the Arm v8-m architecture specification}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {88:1--88:24}, year = {2017}, url = {https://doi.org/10.1145/3133912}, doi = {10.1145/3133912}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Reid17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RicciottiSPC17, author = {Wilmer Ricciotti and Jan Stolarek and Roly Perera and James Cheney}, title = {Imperative functional programs that explain their work}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {14:1--14:28}, year = {2017}, url = {https://doi.org/10.1145/3110258}, doi = {10.1145/3110258}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/RicciottiSPC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RiceAJJPA17, author = {Andrew Rice and Edward Aftandilian and Ciera Jaspan and Emily Johnston and Michael Pradel and Yulissa Arroyo{-}Paredes}, title = {Detecting argument selection defects}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {104:1--104:22}, year = {2017}, url = {https://doi.org/10.1145/3133928}, doi = {10.1145/3133928}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/RiceAJJPA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RichardsAT17, author = {Gregor Richards and Ellen Arteca and Alexi Turcotte}, title = {The {VM} already knew that: leveraging compile-time knowledge to optimize gradual typing}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {55:1--55:27}, year = {2017}, url = {https://doi.org/10.1145/3133879}, doi = {10.1145/3133879}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/RichardsAT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/RingerGST17, author = {Talia Ringer and Dan Grossman and Daniel Schwartz{-}Narbonne and Serdar Tasiran}, title = {A solver-aided language for test input generation}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {91:1--91:24}, year = {2017}, url = {https://doi.org/10.1145/3133915}, doi = {10.1145/3133915}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/RingerGST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SakkaS017, author = {Laith Sakka and Kirshanthan Sundararajah and Milind Kulkarni}, title = {TreeFuser: a framework for analyzing and fusing general recursive tree traversals}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {76:1--76:30}, year = {2017}, url = {https://doi.org/10.1145/3133900}, doi = {10.1145/3133900}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/SakkaS017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SamanthaNNR17, author = {Syeda Khairunnesa Samantha and Hoan Anh Nguyen and Tien N. Nguyen and Hridesh Rajan}, title = {Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {83:1--83:29}, year = {2017}, url = {https://doi.org/10.1145/3133907}, doi = {10.1145/3133907}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/SamanthaNNR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SampsonMM17, author = {Adrian Sampson and Kathryn S. McKinley and Todd Mytkowicz}, title = {Static stages for heterogeneous programming}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {71:1--71:27}, year = {2017}, url = {https://doi.org/10.1145/3133895}, doi = {10.1145/3133895}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/SampsonMM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SantolucitoZDSP17, author = {Mark Santolucito and Ennan Zhai and Rahul Dhodapkar and Aaron Shim and Ruzica Piskac}, title = {Synthesizing configuration file specifications with association rule learning}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {64:1--64:20}, year = {2017}, url = {https://doi.org/10.1145/3133888}, doi = {10.1145/3133888}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/SantolucitoZDSP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ScottLDN17, author = {Ryan G. Scott and Omar S. Navarro Leija and Joseph Devietti and Ryan R. Newton}, title = {Monadic composition for deterministic, parallel batch processing}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {73:1--73:26}, year = {2017}, url = {https://doi.org/10.1145/3133897}, doi = {10.1145/3133897}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ScottLDN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SeidelSCWJ17, author = {Eric L. Seidel and Huma Sibghat and Kamalika Chaudhuri and Westley Weimer and Ranjit Jhala}, title = {Learning to blame: localizing novice type errors with data-driven diagnosis}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {60:1--60:27}, year = {2017}, url = {https://doi.org/10.1145/3138818}, doi = {10.1145/3138818}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/SeidelSCWJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SpathAB17, author = {Johannes Sp{\"{a}}th and Karim Ali and Eric Bodden}, title = {IDE\({}^{\mbox{\emph{al}}}\): efficient and precise alias-aware dataflow analysis}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {99:1--99:27}, year = {2017}, url = {https://doi.org/10.1145/3133923}, doi = {10.1145/3133923}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/SpathAB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Spivey17, author = {J. Michael Spivey}, title = {Faster coroutine pipelines}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {5:1--5:23}, year = {2017}, url = {https://doi.org/10.1145/3110249}, doi = {10.1145/3110249}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Spivey17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SrinivasanVR17, author = {Venkatesh Srinivasan and Ara Vartanian and Thomas W. Reps}, title = {Model-assisted machine-code synthesis}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {61:1--61:26}, year = {2017}, url = {https://doi.org/10.1145/3133885}, doi = {10.1145/3133885}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/SrinivasanVR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/St-AmourFFYF17, author = {Vincent St{-}Amour and Daniel Feltey and Spencer P. Florence and Shu{-}Hung You and Robert Bruce Findler}, title = {Herbarium Racketensis: a stroll through the woods (functional pearl)}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {1:1--1:15}, year = {2017}, url = {https://doi.org/10.1145/3110245}, doi = {10.1145/3110245}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/St-AmourFFYF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Swasey0D17, author = {David Swasey and Deepak Garg and Derek Dreyer}, title = {Robust and compositional verification of object capability patterns}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {89:1--89:26}, year = {2017}, url = {https://doi.org/10.1145/3133913}, doi = {10.1145/3133913}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Swasey0D17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/UgawaAM17, author = {Tomoharu Ugawa and Tatsuya Abe and Toshiyuki Maeda}, title = {Model checking copy phases of concurrent copying garbage collection with various memory models}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {53:1--53:26}, year = {2017}, url = {https://doi.org/10.1145/3133877}, doi = {10.1145/3133877}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/UgawaAM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WangDS17, author = {Xinyu Wang and Isil Dillig and Rishabh Singh}, title = {Synthesis of data completion scripts using finite tree automata}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {62:1--62:26}, year = {2017}, url = {https://doi.org/10.1145/3133886}, doi = {10.1145/3133886}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/WangDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WangWC17, author = {Peng Wang and Di Wang and Adam Chlipala}, title = {TiML: a functional language for practical complexity analysis with invariants}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {79:1--79:26}, year = {2017}, url = {https://doi.org/10.1145/3133903}, doi = {10.1145/3133903}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/WangWC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WayeCD17, author = {Lucas Waye and Stephen Chong and Christos Dimoulas}, title = {Whip: higher-order contracts for modern services}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {36:1--36:28}, year = {2017}, url = {https://doi.org/10.1145/3110280}, doi = {10.1145/3110280}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/WayeCD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WeirichVAE17, author = {Stephanie Weirich and Antoine Voizard and Pedro Henrique Azevedo de Amorim and Richard A. Eisenberg}, title = {A specification for dependent types in Haskell}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {31:1--31:29}, year = {2017}, url = {https://doi.org/10.1145/3110275}, doi = {10.1145/3110275}, timestamp = {Thu, 22 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/WeirichVAE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WeitzLHTET17, author = {Konstantin Weitz and Steven Lyubomirsky and Stefan Heule and Emina Torlak and Michael D. Ernst and Zachary Tatlock}, title = {SpaceSearch: a library for building and verifying solver-aided tools}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {25:1--25:28}, year = {2017}, url = {https://doi.org/10.1145/3110269}, doi = {10.1145/3110269}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/WeitzLHTET17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Winograd-CortHR17, author = {Daniel Winograd{-}Cort and Andreas Haeberlen and Aaron Roth and Benjamin C. Pierce}, title = {A framework for adaptive differential privacy}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {10:1--10:29}, year = {2017}, url = {https://doi.org/10.1145/3110254}, doi = {10.1145/3110254}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/Winograd-CortHR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WoodCBG17, author = {Benjamin P. Wood and Man Cao and Michael D. Bond and Dan Grossman}, title = {Instrumentation bias for dynamic data race detection}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {69:1--69:31}, year = {2017}, url = {https://doi.org/10.1145/3133893}, doi = {10.1145/3133893}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/WoodCBG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WuC17, author = {Baijun Wu and Sheng Chen}, title = {How type errors were fixed and what students did?}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {105:1--105:27}, year = {2017}, url = {https://doi.org/10.1145/3133929}, doi = {10.1145/3133929}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/WuC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/WuCC17, author = {Baijun Wu and John Peter Campora III and Sheng Chen}, title = {Learning user friendly type-error messages}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {106:1--106:29}, year = {2017}, url = {https://doi.org/10.1145/3133930}, doi = {10.1145/3133930}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/WuCC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Yaghmazadeh0DD17, author = {Navid Yaghmazadeh and Yuepeng Wang and Isil Dillig and Thomas Dillig}, title = {SQLizer: query synthesis from natural language}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {63:1--63:26}, year = {2017}, url = {https://doi.org/10.1145/3133887}, doi = {10.1145/3133887}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Yaghmazadeh0DD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/Yallop17, author = {Jeremy Yallop}, title = {Staged generic programming}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{ICFP}}, pages = {29:1--29:29}, year = {2017}, url = {https://doi.org/10.1145/3110273}, doi = {10.1145/3110273}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/Yallop17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/YangO17, author = {Yanpeng Yang and Bruno C. d. S. Oliveira}, title = {Unifying typing and subtyping}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {47:1--47:26}, year = {2017}, url = {https://doi.org/10.1145/3133871}, doi = {10.1145/3133871}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/YangO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/YuanMJ17, author = {Binhang Yuan and Vijayaraghavan Murali and Christopher M. Jermaine}, title = {Abridging source code}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {58:1--58:26}, year = {2017}, url = {https://doi.org/10.1145/3133882}, doi = {10.1145/3133882}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/YuanMJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ZhaiPGLW17, author = {Ennan Zhai and Ruzica Piskac and Ronghui Gu and Xun Lao and Xi Wang}, title = {An auditing language for preventing correlated failures in the cloud}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {97:1--97:28}, year = {2017}, url = {https://doi.org/10.1145/3133921}, doi = {10.1145/3133921}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ZhaiPGLW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ZhangGSN17, author = {Xin Zhang and Radu Grigore and Xujie Si and Mayur Naik}, title = {Effective interactive resolution of static analysis alarms}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {57:1--57:30}, year = {2017}, url = {https://doi.org/10.1145/3133881}, doi = {10.1145/3133881}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/ZhangGSN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/ZhangM17, author = {Yizhou Zhang and Andrew C. Myers}, title = {Familia: unifying interfaces, type classes, and family polymorphism}, journal = {Proc. {ACM} Program. Lang.}, volume = {1}, number = {{OOPSLA}}, pages = {70:1--70:31}, year = {2017}, url = {https://doi.org/10.1145/3133894}, doi = {10.1145/3133894}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/ZhangM17.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.