Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/Bodik09,
  author       = {Rastislav Bod{\'{\i}}k},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Algorithmic Program Synthesis with Partial Programs and Decision Procedures},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {1},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_1},
  doi          = {10.1007/978-3-642-03237-0\_1},
  timestamp    = {Thu, 02 Dec 2021 11:46:17 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/Bodik09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Bouissou09,
  author       = {Olivier Bouissou},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Proving the Correctness of the Implementation of a Control-Command
                  Algorithm},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {102--119},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_9},
  doi          = {10.1007/978-3-642-03237-0\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Bouissou09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CalmanZ09,
  author       = {Silvian Calman and
                  Jianwen Zhu},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Increasing the Scope and Resolution of Interprocedural Static Single
                  Assignment},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {154--170},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_12},
  doi          = {10.1007/978-3-642-03237-0\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CalmanZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ChenMWC09,
  author       = {Liqian Chen and
                  Antoine Min{\'{e}} and
                  Ji Wang and
                  Patrick Cousot},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {309--325},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_21},
  doi          = {10.1007/978-3-642-03237-0\_21},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ChenMWC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DohKS09,
  author       = {Kyung{-}Goo Doh and
                  Hyunha Kim and
                  David A. Schmidt},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Abstract Parsing: Static Analysis of Dynamically Generated String
                  Output Using LR-Parsing Technology},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {256--272},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_18},
  doi          = {10.1007/978-3-642-03237-0\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DohKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DrapeV09,
  author       = {Stephen Drape and
                  Irina Voiculescu},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Creating Transformations for Matrix Obfuscation},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {273--292},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_19},
  doi          = {10.1007/978-3-642-03237-0\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DrapeV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GodoyT09,
  author       = {Guillem Godoy and
                  Ashish Tiwari},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Invariant Checking for Programs with Procedure Calls},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {326--342},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_22},
  doi          = {10.1007/978-3-642-03237-0\_22},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GodoyT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GrundR09,
  author       = {Daniel Grund and
                  Jan Reineke},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Abstract Interpretation of {FIFO} Replacement},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {120--136},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_10},
  doi          = {10.1007/978-3-642-03237-0\_10},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GrundR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GulavaniCRN09,
  author       = {Bhargav S. Gulavani and
                  Supratik Chakraborty and
                  Ganesan Ramalingam and
                  Aditya V. Nori},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Bottom-Up Shape Analysis},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {188--204},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_14},
  doi          = {10.1007/978-3-642-03237-0\_14},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/GulavaniCRN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HeizmannHP09,
  author       = {Matthias Heizmann and
                  Jochen Hoenicke and
                  Andreas Podelski},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Refinement of Trace Abstraction},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {69--85},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_7},
  doi          = {10.1007/978-3-642-03237-0\_7},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HeizmannHP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Hurlin09,
  author       = {Cl{\'{e}}ment Hurlin},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Automatic Parallelization and Optimization of Programs by Proof Rewriting},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {52--68},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_6},
  doi          = {10.1007/978-3-642-03237-0\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Hurlin09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/JensenMT09,
  author       = {Simon Holm Jensen and
                  Anders M{\o}ller and
                  Peter Thiemann},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Type Analysis for JavaScript},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {238--255},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_17},
  doi          = {10.1007/978-3-642-03237-0\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/JensenMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NiedzielskiRGP09,
  author       = {David Niedzielski and
                  Jeffery von Ronne and
                  Andreas Gampe and
                  Kleanthis Psarris},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check
                  Elimination},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {137--153},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_11},
  doi          = {10.1007/978-3-642-03237-0\_11},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NiedzielskiRGP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Qadeer09,
  author       = {Shaz Qadeer},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Algorithmic Verification of Systems Software Using {SMT} Solvers},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {2},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_2},
  doi          = {10.1007/978-3-642-03237-0\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Qadeer09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Schmidt09,
  author       = {David A. Schmidt},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Abstract Interpretation from a Topological Perspective},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {293--308},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_20},
  doi          = {10.1007/978-3-642-03237-0\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Schmidt09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SeghirPW09,
  author       = {Mohamed Nassim Seghir and
                  Andreas Podelski and
                  Thomas Wies},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Abstraction Refinement for Quantified Array Assertions},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_3},
  doi          = {10.1007/978-3-642-03237-0\_3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/SeghirPW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SeidlV09,
  author       = {Helmut Seidl and
                  Vesal Vojdani},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Region Analysis for Race Detection},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_13},
  doi          = {10.1007/978-3-642-03237-0\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SeidlV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Simon09,
  author       = {Luke Simon},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Optimizing Pointer Analysis Using Bisimilarity},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {222--237},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_16},
  doi          = {10.1007/978-3-642-03237-0\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Simon09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SridharanF09,
  author       = {Manu Sridharan and
                  Stephen J. Fink},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {The Complexity of Andersen's Analysis in Practice},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {205--221},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_15},
  doi          = {10.1007/978-3-642-03237-0\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SridharanF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/VoronkovN09,
  author       = {Andrei Voronkov and
                  Iman Narasamdya},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Inter-program Properties},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {343--359},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_23},
  doi          = {10.1007/978-3-642-03237-0\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/VoronkovN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/WehrleH09,
  author       = {Martin Wehrle and
                  Malte Helmert},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {The Causal Graph Revisited for Directed Model Checking},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_8},
  doi          = {10.1007/978-3-642-03237-0\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/WehrleH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/XiaFL09,
  author       = {Songtao Xia and
                  Manuel F{\"{a}}hndrich and
                  Francesco Logozzo},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Inferring Dataflow Properties of User Defined Table Processors},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_4},
  doi          = {10.1007/978-3-642-03237-0\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/XiaFL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/YasuokaT09,
  author       = {Hirotoshi Yasuoka and
                  Tachio Terauchi},
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Polymorphic Fractional Capabilities},
  booktitle    = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  pages        = {36--51},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0\_5},
  doi          = {10.1007/978-3-642-03237-0\_5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/YasuokaT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2009,
  editor       = {Jens Palsberg and
                  Zhendong Su},
  title        = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
                  CA, USA, August 9-11, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5673},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03237-0},
  doi          = {10.1007/978-3-642-03237-0},
  isbn         = {978-3-642-03236-3},
  timestamp    = {Thu, 02 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/2009.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.