Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/AvniK11,
  author       = {Guy Avni and
                  Orna Kupferman},
  editor       = {Eran Yahav},
  title        = {An Abstraction-Refinement Framework for Trigger Querying},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {263--279},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_21},
  doi          = {10.1007/978-3-642-23702-7\_21},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AvniK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BlackshearCSS11,
  author       = {Sam Blackshear and
                  Bor{-}Yuh Evan Chang and
                  Sriram Sankaranarayanan and
                  Manu Sridharan},
  editor       = {Eran Yahav},
  title        = {The Flow-Insensitive Precision of Andersen's Analysis in Practice},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {60--76},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_9},
  doi          = {10.1007/978-3-642-23702-7\_9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BlackshearCSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BouajjaniEP11,
  author       = {Ahmed Bouajjani and
                  Michael Emmi and
                  Gennaro Parlato},
  editor       = {Eran Yahav},
  title        = {On Sequentializing Concurrent Programs},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {129--145},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_13},
  doi          = {10.1007/978-3-642-23702-7\_13},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BouajjaniEP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DonaldsonHKR11,
  author       = {Alastair F. Donaldson and
                  Leopold Haller and
                  Daniel Kroening and
                  Philipp R{\"{u}}mmer},
  editor       = {Eran Yahav},
  title        = {Software Verification Using k-Induction},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {351--368},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_26},
  doi          = {10.1007/978-3-642-23702-7\_26},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/DonaldsonHKR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ElderLSAR11,
  author       = {Matt Elder and
                  Junghee Lim and
                  Tushar Sharma and
                  Tycho Andersen and
                  Thomas W. Reps},
  editor       = {Eran Yahav},
  title        = {Abstract Domains of Affine Relations},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {198--215},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_17},
  doi          = {10.1007/978-3-642-23702-7\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ElderLSAR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/EsparzaG11,
  author       = {Javier Esparza and
                  Andreas Gaiser},
  editor       = {Eran Yahav},
  title        = {Probabilistic Abstractions with Arbitrary Domains},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {334--350},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_25},
  doi          = {10.1007/978-3-642-23702-7\_25},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/EsparzaG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Feret11,
  author       = {J{\'{e}}r{\^{o}}me Feret},
  editor       = {Eran Yahav},
  title        = {Formal Model Reduction},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {6},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_5},
  doi          = {10.1007/978-3-642-23702-7\_5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Feret11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/FlexederPS11,
  author       = {Andrea Flexeder and
                  Michael Petter and
                  Helmut Seidl},
  editor       = {Eran Yahav},
  title        = {Side-Effect Analysis of Assembly Code},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {77--94},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_10},
  doi          = {10.1007/978-3-642-23702-7\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/FlexederPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GodefroidLR11,
  author       = {Patrice Godefroid and
                  Shuvendu K. Lahiri and
                  Cindy Rubio{-}Gonz{\'{a}}lez},
  editor       = {Eran Yahav},
  title        = {Statically Validating Must Summaries for Incremental Compositional
                  Dynamic Test Generation},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {112--128},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_12},
  doi          = {10.1007/978-3-642-23702-7\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/GodefroidLR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GorogiannisKO11,
  author       = {Nikos Gorogiannis and
                  Max I. Kanovich and
                  Peter W. O'Hearn},
  editor       = {Eran Yahav},
  title        = {The Complexity of Abduction for Separated Heap Abstractions},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {25--42},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_7},
  doi          = {10.1007/978-3-642-23702-7\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/GorogiannisKO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HuangZ11,
  author       = {Jeff Huang and
                  Charles Zhang},
  editor       = {Eran Yahav},
  title        = {An Efficient Static Trace Simplification Technique for Debugging Concurrent
                  Programs},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {163--179},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_15},
  doi          = {10.1007/978-3-642-23702-7\_15},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HuangZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Kastner11,
  author       = {Daniel K{\"{a}}stner},
  editor       = {Eran Yahav},
  title        = {Astr{\'{e}}e: Design and Experience},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {5},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_4},
  doi          = {10.1007/978-3-642-23702-7\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Kastner11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MaKFH11,
  author       = {Kin{-}Keung Ma and
                  Yit Phang Khoo and
                  Jeffrey S. Foster and
                  Michael Hicks},
  editor       = {Eran Yahav},
  title        = {Directed Symbolic Execution},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {95--111},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_11},
  doi          = {10.1007/978-3-642-23702-7\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/MaKFH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MadhavanRV11,
  author       = {Ravichandhran Madhavan and
                  Ganesan Ramalingam and
                  Kapil Vaswani},
  editor       = {Eran Yahav},
  title        = {Purity Analysis: An Abstract Interpretation Formulation},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {7--24},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_6},
  doi          = {10.1007/978-3-642-23702-7\_6},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MadhavanRV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MadhusudanQ11,
  author       = {P. Madhusudan and
                  Xiaokang Qiu},
  editor       = {Eran Yahav},
  title        = {Efficient Decision Procedures for Heaps Using {STRAND}},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {43--59},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_8},
  doi          = {10.1007/978-3-642-23702-7\_8},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MadhusudanQ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/McMillan11,
  author       = {Kenneth L. McMillan},
  editor       = {Eran Yahav},
  title        = {Widening and Interpolation},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {1},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_1},
  doi          = {10.1007/978-3-642-23702-7\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/McMillan11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/McMillanZ11,
  author       = {Kenneth L. McMillan and
                  Lenore D. Zuck},
  editor       = {Eran Yahav},
  title        = {Invisible Invariants and Abstract Interpretation},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {249--262},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_20},
  doi          = {10.1007/978-3-642-23702-7\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/McMillanZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MightH11,
  author       = {Matthew Might and
                  David Van Horn},
  editor       = {Eran Yahav},
  title        = {A Family of Abstract Interpretations for Static Analysis of Concurrent
                  Higher-Order Programs},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {180--197},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_16},
  doi          = {10.1007/978-3-642-23702-7\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MightH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MisailovicRR11,
  author       = {Sasa Misailovic and
                  Daniel M. Roy and
                  Martin C. Rinard},
  editor       = {Eran Yahav},
  title        = {Probabilistically Accurate Program Transformations},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {316--333},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_24},
  doi          = {10.1007/978-3-642-23702-7\_24},
  timestamp    = {Mon, 18 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/MisailovicRR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Mitchell11,
  author       = {John C. Mitchell},
  editor       = {Eran Yahav},
  title        = {Program Analysis for Web Security},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {4},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_3},
  doi          = {10.1007/978-3-642-23702-7\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Mitchell11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MonniauxG11,
  author       = {David Monniaux and
                  Laure Gonnord},
  editor       = {Eran Yahav},
  title        = {Using Bounded Model Checking to Focus Fixpoint Iterations},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {369--385},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_27},
  doi          = {10.1007/978-3-642-23702-7\_27},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MonniauxG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NoriR11,
  author       = {Aditya V. Nori and
                  Sriram K. Rajamani},
  editor       = {Eran Yahav},
  title        = {Program Analysis and Machine Learning: {A} Win-Win Deal},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {2--3},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_2},
  doi          = {10.1007/978-3-642-23702-7\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NoriR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SchrammelJ11,
  author       = {Peter Schrammel and
                  Bertrand Jeannet},
  editor       = {Eran Yahav},
  title        = {Logico-Numerical Abstract Acceleration and Application to the Verification
                  of Data-Flow Programs},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {233--248},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_19},
  doi          = {10.1007/978-3-642-23702-7\_19},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SchrammelJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SuterKK11,
  author       = {Philippe Suter and
                  Ali Sinan K{\"{o}}ksal and
                  Viktor Kuncak},
  editor       = {Eran Yahav},
  title        = {Satisfiability Modulo Recursive Programs},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {298--315},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_23},
  doi          = {10.1007/978-3-642-23702-7\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SuterKK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/VafeiadisN11,
  author       = {Viktor Vafeiadis and
                  Francesco Zappa Nardelli},
  editor       = {Eran Yahav},
  title        = {Verifying Fence Elimination Optimisations},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {146--162},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_14},
  doi          = {10.1007/978-3-642-23702-7\_14},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/VafeiadisN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/VerdoolaegeCB11,
  author       = {Sven Verdoolaege and
                  Albert Cohen and
                  Anna Beletska},
  editor       = {Eran Yahav},
  title        = {Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {216--232},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_18},
  doi          = {10.1007/978-3-642-23702-7\_18},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/VerdoolaegeCB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ZulegerGSV11,
  author       = {Florian Zuleger and
                  Sumit Gulwani and
                  Moritz Sinn and
                  Helmut Veith},
  editor       = {Eran Yahav},
  title        = {Bound Analysis of Imperative Programs with the Size-Change Abstraction},
  booktitle    = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  pages        = {280--297},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7\_22},
  doi          = {10.1007/978-3-642-23702-7\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ZulegerGSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2011,
  editor       = {Eran Yahav},
  title        = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
                  Italy, September 14-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6887},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23702-7},
  doi          = {10.1007/978-3-642-23702-7},
  isbn         = {978-3-642-23701-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2011.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.