Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sas/sas2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/sas/Albarghouthi17,
author = {Aws Albarghouthi},
editor = {Francesco Ranzato},
title = {Probabilistic Horn Clause Verification},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {1--22},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_1},
doi = {10.1007/978-3-319-66706-5\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Albarghouthi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BakhirkinM17,
author = {Alexey Bakhirkin and
David Monniaux},
editor = {Francesco Ranzato},
title = {Combining Forward and Backward Abstract Interpretation of Horn Clauses},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {23--45},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_2},
doi = {10.1007/978-3-319-66706-5\_2},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BakhirkinM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BouajjaniEL17,
author = {Ahmed Bouajjani and
Constantin Enea and
Shuvendu K. Lahiri},
editor = {Francesco Ranzato},
title = {Abstract Semantic Diffing of Evolving Concurrent Programs},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {46--65},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_3},
doi = {10.1007/978-3-319-66706-5\_3},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BouajjaniEL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BrockschmidtCKK17,
author = {Marc Brockschmidt and
Yuxin Chen and
Pushmeet Kohli and
Siddharth Krishna and
Daniel Tarlow},
editor = {Francesco Ranzato},
title = {Learning Shape Analysis},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {66--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_4},
doi = {10.1007/978-3-319-66706-5\_4},
timestamp = {Tue, 25 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BrockschmidtCKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChakrabortyGU17,
author = {Supratik Chakraborty and
Ashutosh Gupta and
Divyesh Unadkat},
editor = {Francesco Ranzato},
title = {Verifying Array Manipulating Programs by Tiling},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {428--449},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_21},
doi = {10.1007/978-3-319-66706-5\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChakrabortyGU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DengN17,
author = {Chaoqiang Deng and
Kedar S. Namjoshi},
editor = {Francesco Ranzato},
title = {Securing the {SSA} Transform},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {88--105},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_5},
doi = {10.1007/978-3-319-66706-5\_5},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DengN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FacchinettiPS17,
author = {Leandro Facchinetti and
Zachary Palmer and
Scott F. Smith},
editor = {Francesco Ranzato},
title = {Relative Store Fragments for Singleton Abstraction},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {106--127},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_6},
doi = {10.1007/978-3-319-66706-5\_6},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/FacchinettiPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GreitschusDP17,
author = {Marius Greitschus and
Daniel Dietsch and
Andreas Podelski},
editor = {Francesco Ranzato},
title = {Loop Invariants from Counterexamples},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {128--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_7},
doi = {10.1007/978-3-319-66706-5\_7},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GreitschusDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Guernic17,
author = {Colas Le Guernic},
editor = {Francesco Ranzato},
title = {Toward a Sound Analysis of Guarded {LTI} Loops with Inputs by Abstract
Acceleration},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {192--211},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_10},
doi = {10.1007/978-3-319-66706-5\_10},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Guernic17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GurfinkelN17,
author = {Arie Gurfinkel and
Jorge A. Navas},
editor = {Francesco Ranzato},
title = {A Context-Sensitive Memory Model for Verification of {C/C++} Programs},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {148--168},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_8},
doi = {10.1007/978-3-319-66706-5\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/GurfinkelN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HolikMVW17,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Tom{\'{a}}s Vojnar and
Sebastian Wolff},
editor = {Francesco Ranzato},
title = {Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite
an Unsound Heuristic},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {169--191},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_9},
doi = {10.1007/978-3-319-66706-5\_9},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/HolikMVW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LeonFHM17,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Florian Furbach and
Keijo Heljanko and
Roland Meyer},
editor = {Francesco Ranzato},
title = {Portability Analysis for Weak Memory Models. {PORTHOS:} One Tool for
all Models},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {299--320},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_15},
doi = {10.1007/978-3-319-66706-5\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/LeonFHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MarechalMP17,
author = {Alexandre Mar{\'{e}}chal and
David Monniaux and
Micha{\"{e}}l P{\'{e}}rin},
editor = {Francesco Ranzato},
title = {Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {212--231},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_11},
doi = {10.1007/978-3-319-66706-5\_11},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/MarechalMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MastroeniP17,
author = {Isabella Mastroeni and
Michele Pasqua},
editor = {Francesco Ranzato},
title = {Hyperhierarchy of Semantics - {A} Formal Framework for Hyperproperties
Verification},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {232--252},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_12},
doi = {10.1007/978-3-319-66706-5\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/MastroeniP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MukherjeePSDR17,
author = {Suvam Mukherjee and
Oded Padon and
Sharon Shoham and
Deepak D'Souza and
Noam Rinetzky},
editor = {Francesco Ranzato},
title = {Thread-Local Semantics and Its Efficient Sequential Abstractions for
Race-Free Programs},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {253--276},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_13},
doi = {10.1007/978-3-319-66706-5\_13},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/MukherjeePSDR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/OuadjaoutM17,
author = {Abdelraouf Ouadjaout and
Antoine Min{\'{e}}},
editor = {Francesco Ranzato},
title = {Quantitative Static Analysis of Communication Protocols Using Abstract
Markov Chains},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {277--298},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_14},
doi = {10.1007/978-3-319-66706-5\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/OuadjaoutM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Sankaranarayanan17,
author = {Sriram Sankaranarayanan and
Mohamed Amin Ben Sassi},
editor = {Francesco Ranzato},
title = {Template Polyhedra with a Twist},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {321--341},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_16},
doi = {10.1007/978-3-319-66706-5\_16},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Sankaranarayanan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SharmaR17,
author = {Tushar Sharma and
Thomas W. Reps},
editor = {Francesco Ranzato},
title = {A New Abstraction Framework for Affine Transformers},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {342--363},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_17},
doi = {10.1007/978-3-319-66706-5\_17},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SharmaR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SoO17,
author = {Sunbeom So and
Hakjoo Oh},
editor = {Francesco Ranzato},
title = {Synthesizing Imperative Programs from Examples Guided by Static Analysis},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {364--381},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_18},
doi = {10.1007/978-3-319-66706-5\_18},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SoO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ToroT17,
author = {Mat{\'{\i}}as Toro and
{\'{E}}ric Tanter},
editor = {Francesco Ranzato},
title = {A Gradual Interpretation of Union Types},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {382--404},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_19},
doi = {10.1007/978-3-319-66706-5\_19},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/ToroT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TrostanetskiGK17,
author = {Anna Trostanetski and
Orna Grumberg and
Daniel Kroening},
editor = {Francesco Ranzato},
title = {Modular Demand-Driven Analysis of Semantic Difference for Program
Versions},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {405--427},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_20},
doi = {10.1007/978-3-319-66706-5\_20},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/TrostanetskiGK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ZhangSX17,
author = {Jieyuan Zhang and
Yulei Sui and
Jingling Xue},
editor = {Francesco Ranzato},
title = {Incremental Analysis for Probabilistic Programs},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {450--472},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_22},
doi = {10.1007/978-3-319-66706-5\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ZhangSX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2017,
editor = {Francesco Ranzato},
title = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5},
doi = {10.1007/978-3-319-66706-5},
isbn = {978-3-319-66705-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-13 10:16 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:
