Search dblp for Publications

export results for "toc:db/journals/pacmpl/pacmpl1.bht:"

 download as .bib file

@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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  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}
}
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.