Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/AdjeGM15,
  author       = {Assal{\'{e}} Adj{\'{e}} and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Victor Magron},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Property-based Polynomial Invariant Generation Using Sums-of-Squares
                  Optimization},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {235--251},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_14},
  doi          = {10.1007/978-3-662-48288-9\_14},
  timestamp    = {Wed, 25 Sep 2019 18:08:39 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AdjeGM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/AlbertCJR15,
  author       = {Elvira Albert and
                  Jes{\'{u}}s Correas and
                  Einar Broch Johnsen and
                  Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Parallel Cost Analysis of Distributed Systems},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {275--292},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_16},
  doi          = {10.1007/978-3-662-48288-9\_16},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AlbertCJR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/AlbertGG15,
  author       = {Elvira Albert and
                  Samir Genaim and
                  Pablo Gordillo},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural
                  Synchronization},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {72--89},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_5},
  doi          = {10.1007/978-3-662-48288-9\_5},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/AlbertGG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/AldousM15,
  author       = {Peter Aldous and
                  Matthew Might},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Static Analysis of Non-interference in Expressive Low-Level Languages},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_1},
  doi          = {10.1007/978-3-662-48288-9\_1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/AldousM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BakhirkinBP15,
  author       = {Alexey Bakhirkin and
                  Josh Berdine and
                  Nir Piterman},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {A Forward Analysis for Recurrent Sets},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {293--311},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_17},
  doi          = {10.1007/978-3-662-48288-9\_17},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/BakhirkinBP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Brain0KS15,
  author       = {Martin Brain and
                  Saurabh Joshi and
                  Daniel Kroening and
                  Peter Schrammel},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Safety Verification and Refutation by k-Invariants and k-Induction},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {145--161},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_9},
  doi          = {10.1007/978-3-662-48288-9\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Brain0KS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CastelnuovoNRSY15,
  author       = {Ghila Castelnuovo and
                  Mayur Naik and
                  Noam Rinetzky and
                  Mooly Sagiv and
                  Hongseok Yang},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Modularity in Lattices: {A} Case Study on the Correspondence Between
                  Top-Down and Bottom-Up Analysis},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {252--274},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_15},
  doi          = {10.1007/978-3-662-48288-9\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CastelnuovoNRSY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CattaruzzaASK15,
  author       = {Dario Cattaruzza and
                  Alessandro Abate and
                  Peter Schrammel and
                  Daniel Kroening},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Unbounded-Time Analysis of Guarded {LTI} Systems with Inputs by Abstract
                  Acceleration},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {312--331},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_18},
  doi          = {10.1007/978-3-662-48288-9\_18},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CattaruzzaASK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ChenC15,
  author       = {Junjie Chen and
                  Patrick Cousot},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {A Binary Decision Tree Abstract Domain Functor},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {36--53},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_3},
  doi          = {10.1007/978-3-662-48288-9\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ChenC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ChoiCNS15,
  author       = {Wontae Choi and
                  Satish Chandra and
                  George C. Necula and
                  Koushik Sen},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {{SJS:} {A} Type System for JavaScript with Fixed Object Layout},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {181--198},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_11},
  doi          = {10.1007/978-3-662-48288-9\_11},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ChoiCNS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GargR15,
  author       = {Anshul Garg and
                  Subhajit Roy},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Synthesizing Heap Manipulations via Integer Linear Programming},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {109--127},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_7},
  doi          = {10.1007/978-3-662-48288-9\_7},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GargR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HashimotoU15,
  author       = {Kodai Hashimoto and
                  Hiroshi Unno},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Refinement Type Inference via Horn Constraint Optimization},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {199--216},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_12},
  doi          = {10.1007/978-3-662-48288-9\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HashimotoU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LeeHYC15,
  author       = {Woosuk Lee and
                  Hyunsook Hong and
                  Kwangkeun Yi and
                  Jung Hee Cheon},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Static Analysis with Set-Closure in Secrecy},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {18--35},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_2},
  doi          = {10.1007/978-3-662-48288-9\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LeeHYC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LiRC15,
  author       = {Huisong Li and
                  Xavier Rival and
                  Bor{-}Yuh Evan Chang},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Shape Analysis for Unstructured Sharing},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {90--108},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_6},
  doi          = {10.1007/978-3-662-48288-9\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LiRC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LiTX15,
  author       = {Yue Li and
                  Tian Tan and
                  Jingling Xue},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Effective Soundness-Guided Reflection Analysis},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {162--180},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_10},
  doi          = {10.1007/978-3-662-48288-9\_10},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LiTX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MonniauxA15,
  author       = {David Monniaux and
                  Francesco Alberti},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {A Simple Abstraction of Arrays and Maps by Program Translation},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {217--234},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_13},
  doi          = {10.1007/978-3-662-48288-9\_13},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MonniauxA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RapoportLT15,
  author       = {Marianna Rapoport and
                  Ondrej Lhot{\'{a}}k and
                  Frank Tip},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Precise Data Flow Analysis in the Presence of Correlated Method Calls},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {54--71},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_4},
  doi          = {10.1007/978-3-662-48288-9\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RapoportLT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Terauchi15,
  author       = {Tachio Terauchi},
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Explaining the Effectiveness of Small Refinement Heuristics in Program
                  Verification with {CEGAR}},
  booktitle    = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  pages        = {128--144},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9\_8},
  doi          = {10.1007/978-3-662-48288-9\_8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Terauchi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2015,
  editor       = {Sandrine Blazy and
                  Thomas P. Jensen},
  title        = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
                  France, September 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9291},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48288-9},
  doi          = {10.1007/978-3-662-48288-9},
  isbn         = {978-3-662-48287-2},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2015.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.