default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/toplas/toplas42.bht:"
download as .bib file
@article{DBLP:journals/toplas/LiuWR21,
author = {Peizun Liu and
Thomas Wahl and
Thomas W. Reps},
title = {Interprocedural Context-Unbounded Program Analysis Using Observation
Sequences},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {4},
pages = {16:1--16:34},
year = {2021},
url = {https://doi.org/10.1145/3418583},
doi = {10.1145/3418583},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiuWR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MasudL21,
author = {Abu Naser Masud and
Bj{\"{o}}rn Lisper},
title = {Semantic Correctness of Dependence-based Slicing for Interprocedural,
Possibly Nonterminating Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {4},
pages = {19:1--19:56},
year = {2021},
url = {https://doi.org/10.1145/3434489},
doi = {10.1145/3434489},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MasudL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ShenR21,
author = {Jiasi Shen and
Martin C. Rinard},
title = {Active Learning for Inference and Regeneration of Applications that
Access Databases},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {4},
pages = {18:1--18:119},
year = {2021},
url = {https://doi.org/10.1145/3430952},
doi = {10.1145/3430952},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ShenR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SwalensKM21,
author = {Janwillem Swalens and
Joeri De Koster and
Wolfgang De Meuter},
title = {Chocola: Composable Concurrency Language},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {4},
pages = {17:1--17:56},
year = {2021},
url = {https://doi.org/10.1145/3427201},
doi = {10.1145/3427201},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SwalensKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ahmed20,
author = {Amal Ahmed},
title = {Introduction to the Special Issue on {ESOP} 2018},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {1},
pages = {1:1},
year = {2020},
url = {https://doi.org/10.1145/3368252},
doi = {10.1145/3368252},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Ahmed20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AmtoftB20,
author = {Torben Amtoft and
Anindya Banerjee},
title = {A Theory of Slicing for Imperative Probabilistic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {6:1--6:71},
year = {2020},
url = {https://doi.org/10.1145/3372895},
doi = {10.1145/3372895},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AmtoftB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CoblenzOEKBBMSA20,
author = {Michael J. Coblenz and
Reed Oei and
Tyler Etzel and
Paulette Koronkevich and
Miles Baker and
Yannick Bloem and
Brad A. Myers and
Joshua Sunshine and
Jonathan Aldrich},
title = {Obsidian: Typestate and Assets for Safer Blockchain Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {3},
pages = {14:1--14:82},
year = {2020},
url = {https://doi.org/10.1145/3417516},
doi = {10.1145/3417516},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/CoblenzOEKBBMSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/EilersMH20,
author = {Marco Eilers and
Peter M{\"{u}}ller and
Samuel Hitz},
title = {Modular Product Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {1},
pages = {3:1--3:37},
year = {2020},
url = {https://doi.org/10.1145/3324783},
doi = {10.1145/3324783},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/EilersMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FrohnNBG20,
author = {Florian Frohn and
Matthias Naaf and
Marc Brockschmidt and
J{\"{u}}rgen Giesl},
title = {Inferring Lower Runtime Bounds for Integer Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {3},
pages = {13:1--13:50},
year = {2020},
url = {https://doi.org/10.1145/3410331},
doi = {10.1145/3410331},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FrohnNBG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/GharatKM20,
author = {Pritam M. Gharat and
Uday P. Khedker and
Alan Mycroft},
title = {Generalized Points-to Graphs: {A} Precise and Scalable Abstraction
for Points-to Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {8:1--8:78},
year = {2020},
url = {https://doi.org/10.1145/3382092},
doi = {10.1145/3382092},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GharatKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JangdaB20,
author = {Abhinav Jangda and
Uday Bondhugula},
title = {An Effective Fusion and Tile Size Model for PolyMage},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {3},
pages = {12:1--12:27},
year = {2020},
url = {https://doi.org/10.1145/3404846},
doi = {10.1145/3404846},
timestamp = {Fri, 11 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JangdaB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiTMS20,
author = {Yue Li and
Tian Tan and
Anders M{\o}ller and
Yannis Smaragdakis},
title = {A Principled Approach to Selective Context Sensitivity for Pointer
Analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {10:1--10:40},
year = {2020},
url = {https://doi.org/10.1145/3381915},
doi = {10.1145/3381915},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiTMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/MeloRGP20,
author = {Leandro T. C. Melo and
Rodrigo Geraldo Ribeiro and
Breno Campos Ferreira Guimar{\~{a}}es and
Fernando Magno Quint{\~{a}}o Pereira},
title = {Type Inference for {C:} Applications to the Static Analysis of Incomplete
Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {3},
pages = {15:1--15:71},
year = {2020},
url = {https://doi.org/10.1145/3421472},
doi = {10.1145/3421472},
timestamp = {Fri, 11 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/MeloRGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/NarayananS20,
author = {Praveen Narayanan and
Chung{-}chieh Shan},
title = {Symbolic Disintegration with a Variety of Base Measures},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {9:1--9:60},
year = {2020},
url = {https://doi.org/10.1145/3374208},
doi = {10.1145/3374208},
timestamp = {Wed, 10 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/NarayananS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SimpsonV20,
author = {Alex Simpson and
Niels F. W. Voorneveld},
title = {Behavioural Equivalence via Modalities for Algebraic Effects},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {1},
pages = {4:1--4:45},
year = {2020},
url = {https://doi.org/10.1145/3363518},
doi = {10.1145/3363518},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SimpsonV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SkorstengaardDB20,
author = {Lau Skorstengaard and
Dominique Devriese and
Lars Birkedal},
title = {Reasoning about a Machine with Local Capabilities: Provably Safe Stack
and Return Pointer Management},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {1},
pages = {5:1--5:53},
year = {2020},
url = {https://doi.org/10.1145/3363519},
doi = {10.1145/3363519},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/SkorstengaardDB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ToroGT20,
author = {Mat{\'{\i}}as Toro and
Ronald Garcia and
{\'{E}}ric Tanter},
title = {Corrigendum to "Type-driven Gradual Security with References, " by
Toro et al., {ACM} Transactions on Programming Languages and Systems
{(TOPLAS)} Volume 40, Issue 4, Article No. 16},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {11:1--11:2},
year = {2020},
url = {https://doi.org/10.1145/3387725},
doi = {10.1145/3387725},
timestamp = {Wed, 10 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/ToroGT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/XieBOS20,
author = {Ningning Xie and
Xuan Bi and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {Consistent Subtyping for All},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {1},
pages = {2:1--2:79},
year = {2020},
url = {https://doi.org/10.1145/3310339},
doi = {10.1145/3310339},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/XieBOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ZhaoSS20,
author = {David Zhao and
Pavle Subotic and
Bernhard Scholz},
title = {Debugging Large-scale Datalog: {A} Scalable Provenance Evaluation
Strategy},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {42},
number = {2},
pages = {7:1--7:35},
year = {2020},
url = {https://doi.org/10.1145/3379446},
doi = {10.1145/3379446},
timestamp = {Thu, 22 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ZhaoSS20.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.
retrieved on 2024-10-15 10:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
