default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/ftpl:"
download as .bib file
@article{DBLP:journals/ftpl/VassenaRGRS23,
author = {Marco Vassena and
Alejandro Russo and
Deepak Garg and
Vineet Rajani and
Deian Stefan},
title = {From Fine- to Coarse-Grained Dynamic Information Flow Control and
Back},
journal = {Found. Trends Program. Lang.},
volume = {8},
number = {1},
pages = {1--117},
year = {2023},
url = {https://doi.org/10.1561/2500000046},
doi = {10.1561/2500000046},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/VassenaRGRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Bernardo22,
author = {Marco Bernardo},
title = {Probabilistic Trace and Testing Semantics: The Importance of Being
Coherent},
journal = {Found. Trends Program. Lang.},
volume = {7},
number = {4},
pages = {244--332},
year = {2022},
url = {https://doi.org/10.1561/2500000056},
doi = {10.1561/2500000056},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/Bernardo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Albarghouthi21,
author = {Aws Albarghouthi},
title = {Introduction to Neural Network Verification},
journal = {Found. Trends Program. Lang.},
volume = {7},
number = {1-2},
pages = {1--157},
year = {2021},
url = {https://doi.org/10.1561/2500000051},
doi = {10.1561/2500000051},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/Albarghouthi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/ChaudhuriEPSSY21,
author = {Swarat Chaudhuri and
Kevin Ellis and
Oleksandr Polozov and
Rishabh Singh and
Armando Solar{-}Lezama and
Yisong Yue},
title = {Neurosymbolic Programming},
journal = {Found. Trends Program. Lang.},
volume = {7},
number = {3},
pages = {158--243},
year = {2021},
url = {https://doi.org/10.1561/2500000049},
doi = {10.1561/2500000049},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/ChaudhuriEPSSY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/JhalaV21,
author = {Ranjit Jhala and
Niki Vazou},
title = {Refinement Types: {A} Tutorial},
journal = {Found. Trends Program. Lang.},
volume = {6},
number = {3-4},
pages = {159--317},
year = {2021},
url = {https://doi.org/10.1561/2500000032},
doi = {10.1561/2500000032},
timestamp = {Fri, 15 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/JhalaV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/ChangDMRR20,
author = {Bor{-}Yuh Evan Chang and
Cezara Dragoi and
Roman Manevich and
Noam Rinetzky and
Xavier Rival},
title = {Shape Analysis},
journal = {Found. Trends Program. Lang.},
volume = {6},
number = {1-2},
pages = {1--158},
year = {2020},
url = {https://doi.org/10.1561/2500000037},
doi = {10.1561/2500000037},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/ChangDMRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/LiangF20,
author = {Hongjin Liang and
Xinyu Feng},
title = {Progress of Concurrent Objects},
journal = {Found. Trends Program. Lang.},
volume = {5},
number = {4},
pages = {282--414},
year = {2020},
url = {https://doi.org/10.1561/2500000041},
doi = {10.1561/2500000041},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/LiangF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/RingerPSGT19,
author = {Talia Ringer and
Karl Palmskog and
Ilya Sergey and
Milos Gligoric and
Zachary Tatlock},
title = {{QED} at Large: {A} Survey of Engineering of Formally Verified Software},
journal = {Found. Trends Program. Lang.},
volume = {5},
number = {2-3},
pages = {102--281},
year = {2019},
url = {https://doi.org/10.1561/2500000045},
doi = {10.1561/2500000045},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/RingerPSGT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Kiselyov18,
author = {Oleg Kiselyov},
title = {Reconciling Abstraction with High Performance: {A} MetaOCaml approach},
journal = {Found. Trends Program. Lang.},
volume = {5},
number = {1},
pages = {1--101},
year = {2018},
url = {https://doi.org/10.1561/2500000038},
doi = {10.1561/2500000038},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/Kiselyov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/GulwaniPS17,
author = {Sumit Gulwani and
Oleksandr Polozov and
Rishabh Singh},
title = {Program Synthesis},
journal = {Found. Trends Program. Lang.},
volume = {4},
number = {1-2},
pages = {1--119},
year = {2017},
url = {https://doi.org/10.1561/2500000010},
doi = {10.1561/2500000010},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/GulwaniPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Mine17,
author = {Antoine Min{\'{e}}},
title = {Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation},
journal = {Found. Trends Program. Lang.},
volume = {4},
number = {3-4},
pages = {120--372},
year = {2017},
url = {https://doi.org/10.1561/2500000034},
doi = {10.1561/2500000034},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/Mine17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/AnconaBB0CDGGGH16,
author = {Davide Ancona and
Viviana Bono and
Mario Bravetti and
Joana Campos and
Giuseppe Castagna and
Pierre{-}Malo Deni{\'{e}}lou and
Simon J. Gay and
Nils Gesbert and
Elena Giachino and
Raymond Hu and
Einar Broch Johnsen and
Francisco Martins and
Viviana Mascardi and
Fabrizio Montesi and
Rumyana Neykova and
Nicholas Ng and
Luca Padovani and
Vasco T. Vasconcelos and
Nobuko Yoshida},
title = {Behavioral Types in Programming Languages},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {2-3},
pages = {95--230},
year = {2016},
url = {https://doi.org/10.1561/2500000031},
doi = {10.1561/2500000031},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/CheungS16,
author = {Alvin Cheung and
Armando Solar{-}Lezama},
title = {Computer-Assisted Query Formulation},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {1},
pages = {1--94},
year = {2016},
url = {https://doi.org/10.1561/2500000018},
doi = {10.1561/2500000018},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/CheungS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/MurawskiT16,
author = {Andrzej S. Murawski and
Nikos Tzevelekos},
title = {Nominal Game Semantics},
journal = {Found. Trends Program. Lang.},
volume = {2},
number = {4},
pages = {191--269},
year = {2016},
url = {https://doi.org/10.1561/2500000017},
doi = {10.1561/2500000017},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/MurawskiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/VechevY16,
author = {Martin T. Vechev and
Eran Yahav},
title = {Programming with "Big Code"},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {4},
pages = {231--284},
year = {2016},
url = {https://doi.org/10.1561/2500000028},
doi = {10.1561/2500000028},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/VechevY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/BertraneCCFMMR15,
author = {Julien Bertrane and
Patrick Cousot and
Radhia Cousot and
J{\'{e}}r{\^{o}}me Feret and
Laurent Mauborgne and
Antoine Min{\'{e}} and
Xavier Rival},
title = {Static Analysis and Verification of Aerospace Software by Abstract
Interpretation},
journal = {Found. Trends Program. Lang.},
volume = {2},
number = {2-3},
pages = {71--190},
year = {2015},
url = {https://doi.org/10.1561/2500000002},
doi = {10.1561/2500000002},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/BertraneCCFMMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/MadhavanRV15,
author = {Ravichandhran Madhavan and
G. Ramalingam and
Kapil Vaswani},
title = {A Framework For Efficient Modular Heap Analysis},
journal = {Found. Trends Program. Lang.},
volume = {1},
number = {4},
pages = {269--381},
year = {2015},
url = {https://doi.org/10.1561/2500000020},
doi = {10.1561/2500000020},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/MadhavanRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/SmaragdakisB15,
author = {Yannis Smaragdakis and
George Balatsouras},
title = {Pointer Analysis},
journal = {Found. Trends Program. Lang.},
volume = {2},
number = {1},
pages = {1--69},
year = {2015},
url = {https://doi.org/10.1561/2500000014},
doi = {10.1561/2500000014},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/SmaragdakisB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Burckhardt14,
author = {Sebastian Burckhardt},
title = {Principles of Eventual Consistency},
journal = {Found. Trends Program. Lang.},
volume = {1},
number = {1-2},
pages = {1--150},
year = {2014},
url = {https://doi.org/10.1561/2500000011},
doi = {10.1561/2500000011},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/Burckhardt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/CortierK14,
author = {V{\'{e}}ronique Cortier and
Steve Kremer},
title = {Formal Models and Techniques for Analyzing Security Protocols: {A}
Tutorial},
journal = {Found. Trends Program. Lang.},
volume = {1},
number = {3},
pages = {151--267},
year = {2014},
url = {https://doi.org/10.1561/2500000001},
doi = {10.1561/2500000001},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/CortierK14.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 2025-01-06 18:23 CET 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:
