Search dblp for Publications

export results for "toc:db/conf/sas/sas2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sas/Albarghouthi17,
  author    = {Aws Albarghouthi},
  title     = {Probabilistic Horn Clause Verification},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {1--22},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/BakhirkinM17,
  author    = {Alexey Bakhirkin and
               David Monniaux},
  title     = {Combining Forward and Backward Abstract Interpretation of Horn Clauses},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {23--45},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/BouajjaniEL17,
  author    = {Ahmed Bouajjani and
               Constantin Enea and
               Shuvendu K. Lahiri},
  title     = {Abstract Semantic Diffing of Evolving Concurrent Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {46--65},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/BrockschmidtCKK17,
  author    = {Marc Brockschmidt and
               Yuxin Chen and
               Pushmeet Kohli and
               Siddharth Krishna and
               Daniel Tarlow},
  title     = {Learning Shape Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {66--87},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/ChakrabortyGU17,
  author    = {Supratik Chakraborty and
               Ashutosh Gupta and
               Divyesh Unadkat},
  title     = {Verifying Array Manipulating Programs by Tiling},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {428--449},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/DengN17,
  author    = {Chaoqiang Deng and
               Kedar S. Namjoshi},
  title     = {Securing the {SSA} Transform},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {88--105},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/FacchinettiPS17,
  author    = {Leandro Facchinetti and
               Zachary Palmer and
               Scott F. Smith},
  title     = {Relative Store Fragments for Singleton Abstraction},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {106--127},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/GreitschusDP17,
  author    = {Marius Greitschus and
               Daniel Dietsch and
               Andreas Podelski},
  title     = {Loop Invariants from Counterexamples},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {128--147},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/Guernic17,
  author    = {Colas Le Guernic},
  title     = {Toward a Sound Analysis of Guarded {LTI} Loops with Inputs by Abstract
               Acceleration},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {192--211},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/GurfinkelN17,
  author    = {Arie Gurfinkel and
               Jorge A. Navas},
  title     = {A Context-Sensitive Memory Model for Verification of {C/C++} Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {148--168},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/HolikMVW17,
  author    = {Luk{\'{a}}s Hol{\'{\i}}k and
               Roland Meyer and
               Tom{\'{a}}s Vojnar and
               Sebastian Wolff},
  title     = {Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite
               an Unsound Heuristic},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {169--191},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/LeonFHM17,
  author    = {Hern{'{a}}n {Ponce de Le{'{o}}n} and
               Florian Furbach and
               Keijo Heljanko and
               Roland Meyer},
  title     = {Portability Analysis for Weak Memory Models. {PORTHOS:} One Tool for
               all Models},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {299--320},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/MarechalMP17,
  author    = {Alexandre Mar{\'{e}}chal and
               David Monniaux and
               Micha{\"{e}}l P{\'{e}}rin},
  title     = {Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {212--231},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/MastroeniP17,
  author    = {Isabella Mastroeni and
               Michele Pasqua},
  title     = {Hyperhierarchy of Semantics - {A} Formal Framework for Hyperproperties
               Verification},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {232--252},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/MukherjeePSDR17,
  author    = {Suvam Mukherjee and
               Oded Padon and
               Sharon Shoham and
               Deepak D'Souza and
               Noam Rinetzky},
  title     = {Thread-Local Semantics and Its Efficient Sequential Abstractions for
               Race-Free Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {253--276},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/OuadjaoutM17,
  author    = {Abdelraouf Ouadjaout and
               Antoine Min{\'{e}}},
  title     = {Quantitative Static Analysis of Communication Protocols Using Abstract
               Markov Chains},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {277--298},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/Sankaranarayanan17,
  author    = {Sriram Sankaranarayanan and
               Mohamed Amin Ben Sassi},
  title     = {Template Polyhedra with a Twist},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {321--341},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/SharmaR17,
  author    = {Tushar Sharma and
               Thomas W. Reps},
  title     = {A New Abstraction Framework for Affine Transformers},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {342--363},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/SoO17,
  author    = {Sunbeom So and
               Hakjoo Oh},
  title     = {Synthesizing Imperative Programs from Examples Guided by Static Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {364--381},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/ToroT17,
  author    = {Mat{\'{\i}}as Toro and
               {\'{E}}ric Tanter},
  title     = {A Gradual Interpretation of Union Types},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {382--404},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/TrostanetskiGK17,
  author    = {Anna Trostanetski and
               Orna Grumberg and
               Daniel Kroening},
  title     = {Modular Demand-Driven Analysis of Semantic Difference for Program
               Versions},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {405--427},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/sas/ZhangSX17,
  author    = {Jieyuan Zhang and
               Yulei Sui and
               Jingling Xue},
  title     = {Incremental Analysis for Probabilistic Programs},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  pages     = {450--472},
  publisher = {Springer},
  year      = {2017}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics