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},
  title     = {Algorithmic Program Synthesis with Partial Programs and Decision Procedures},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {1},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/Bouissou09,
  author    = {Olivier Bouissou},
  title     = {Proving the Correctness of the Implementation of a Control-Command
               Algorithm},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {102--119},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/CalmanZ09,
  author    = {Silvian Calman and
               Jianwen Zhu},
  title     = {Increasing the Scope and Resolution of Interprocedural Static Single
               Assignment},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {154--170},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/ChenMWC09,
  author    = {Liqian Chen and
               Antoine Min{\'{e}} and
               Ji Wang and
               Patrick Cousot},
  title     = {Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {309--325},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/DohKS09,
  author    = {Kyung{-}Goo Doh and
               Hyunha Kim and
               David A. Schmidt},
  title     = {Abstract Parsing: Static Analysis of Dynamically Generated String
               Output Using LR-Parsing Technology},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {256--272},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/DrapeV09,
  author    = {Stephen Drape and
               Irina Voiculescu},
  title     = {Creating Transformations for Matrix Obfuscation},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {273--292},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/GodoyT09,
  author    = {Guillem Godoy and
               Ashish Tiwari},
  title     = {Invariant Checking for Programs with Procedure Calls},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {326--342},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/GrundR09,
  author    = {Daniel Grund and
               Jan Reineke},
  title     = {Abstract Interpretation of {FIFO} Replacement},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {120--136},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/GulavaniCRN09,
  author    = {Bhargav S. Gulavani and
               Supratik Chakraborty and
               Ganesan Ramalingam and
               Aditya V. Nori},
  title     = {Bottom-Up Shape Analysis},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {188--204},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/HeizmannHP09,
  author    = {Matthias Heizmann and
               Jochen Hoenicke and
               Andreas Podelski},
  title     = {Refinement of Trace Abstraction},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {69--85},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/Hurlin09,
  author    = {Cl{\'{e}}ment Hurlin},
  title     = {Automatic Parallelization and Optimization of Programs by Proof Rewriting},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {52--68},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/JensenMT09,
  author    = {Simon Holm Jensen and
               Anders M{\o}ller and
               Peter Thiemann},
  title     = {Type Analysis for JavaScript},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {238--255},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/NiedzielskiRGP09,
  author    = {David Niedzielski and
               Jeffery von Ronne and
               Andreas Gampe and
               Kleanthis Psarris},
  title     = {A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check
               Elimination},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {137--153},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/Qadeer09,
  author    = {Shaz Qadeer},
  title     = {Algorithmic Verification of Systems Software Using {SMT} Solvers},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {2},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/Schmidt09,
  author    = {David A. Schmidt},
  title     = {Abstract Interpretation from a Topological Perspective},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {293--308},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/SeghirPW09,
  author    = {Mohamed Nassim Seghir and
               Andreas Podelski and
               Thomas Wies},
  title     = {Abstraction Refinement for Quantified Array Assertions},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {3--18},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/SeidlV09,
  author    = {Helmut Seidl and
               Vesal Vojdani},
  title     = {Region Analysis for Race Detection},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {171--187},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/Simon09,
  author    = {Luke Simon},
  title     = {Optimizing Pointer Analysis Using Bisimilarity},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {222--237},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/SridharanF09,
  author    = {Manu Sridharan and
               Stephen J. Fink},
  title     = {The Complexity of Andersen's Analysis in Practice},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {205--221},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/VoronkovN09,
  author    = {Andrei Voronkov and
               Iman Narasamdya},
  title     = {Inter-program Properties},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {343--359},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/WehrleH09,
  author    = {Martin Wehrle and
               Malte Helmert},
  title     = {The Causal Graph Revisited for Directed Model Checking},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {86--101},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/XiaFL09,
  author    = {Songtao Xia and
               Manuel F{\"{a}}hndrich and
               Francesco Logozzo},
  title     = {Inferring Dataflow Properties of User Defined Table Processors},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {19--35},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/sas/YasuokaT09,
  author    = {Hirotoshi Yasuoka and
               Tachio Terauchi},
  title     = {Polymorphic Fractional Capabilities},
  booktitle = {{SAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5673},
  pages     = {36--51},
  publisher = {Springer},
  year      = {2009}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics