default search action
Search dblp for Publications
export results for "toc:db/conf/sas/sas2005.bht:"
@inproceedings{DBLP:conf/sas/Abramsky05, author = {Samson Abramsky}, editor = {Chris Hankin and Igor Siveroni}, title = {Algorithmic Game Semantics and Static Analysis}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {1}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_1}, doi = {10.1007/11547662\_1}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/Abramsky05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BagnaraHMZ05, author = {Roberto Bagnara and Patricia M. Hill and Elena Mazzi and Enea Zaffanella}, editor = {Chris Hankin and Igor Siveroni}, title = {Widening Operators for Weakly-Relational Numeric Abstractions}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {3--18}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_3}, doi = {10.1007/11547662\_3}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BagnaraHMZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BagnaraRZ05, author = {Roberto Bagnara and Enric Rodr{\'{\i}}guez{-}Carbonell and Enea Zaffanella}, editor = {Chris Hankin and Igor Siveroni}, title = {Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {19--34}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_4}, doi = {10.1007/11547662\_4}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/BagnaraRZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/BruynoogheGH05, author = {Maurice Bruynooghe and John P. Gallagher and Wouter Van Humbeeck}, editor = {Chris Hankin and Igor Siveroni}, title = {Inference of Well-Typings for Logic Programs with Application to Termination Analysis}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {35--51}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_5}, doi = {10.1007/11547662\_5}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/BruynoogheGH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ChenKK05, author = {Guilin Chen and Mahmut T. Kandemir and Mustafa Karak{\"{o}}y}, editor = {Chris Hankin and Igor Siveroni}, title = {Memory Space Conscious Loop Iteration Duplication for Reliable Execution}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {52--69}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_6}, doi = {10.1007/11547662\_6}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/ChenKK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/ChinNQR05, author = {Wei{-}Ngan Chin and Huu Hai Nguyen and Shengchao Qin and Martin C. Rinard}, editor = {Chris Hankin and Igor Siveroni}, title = {Memory Usage Verification for {OO} Programs}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {70--86}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_7}, doi = {10.1007/11547662\_7}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/ChinNQR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/CookPR05, author = {Byron Cook and Andreas Podelski and Andrey Rybalchenko}, editor = {Chris Hankin and Igor Siveroni}, title = {Abstraction Refinement for Termination}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {87--101}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_8}, doi = {10.1007/11547662\_8}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/CookPR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/DimovskiGL05, author = {Aleksandar S. Dimovski and Dan R. Ghica and Ranko Lazic}, editor = {Chris Hankin and Igor Siveroni}, title = {Data-Abstraction Refinement: {A} Game Semantic Approach}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {102--117}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_9}, doi = {10.1007/11547662\_9}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/DimovskiGL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/EsparzaGS05, author = {Javier Esparza and Pierre Ganty and Stefan Schwoon}, editor = {Chris Hankin and Igor Siveroni}, title = {Locality-Based Abstractions}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {118--134}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_10}, doi = {10.1007/11547662\_10}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/EsparzaGS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GlewPG05, author = {Neal Glew and Jens Palsberg and Christian Grothoff}, editor = {Chris Hankin and Igor Siveroni}, title = {Type-Safe Optimisation of Plugin Architectures}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {135--154}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_11}, doi = {10.1007/11547662\_11}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/GlewPG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Gordon05, author = {Andrew D. Gordon}, editor = {Chris Hankin and Igor Siveroni}, title = {From Typed Process Calculi to Source-Based Security}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {2}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_2}, doi = {10.1007/11547662\_2}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/Gordon05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HarrenN05, author = {Matthew Harren and George C. Necula}, editor = {Chris Hankin and Igor Siveroni}, title = {Using Dependent Types to Certify the Safety of Assembly Code}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {155--170}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_12}, doi = {10.1007/11547662\_12}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/HarrenN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/HuntM05, author = {Sebastian Hunt and Isabella Mastroeni}, editor = {Chris Hankin and Igor Siveroni}, title = {The {PER} Model of Abstract Non-interference}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {171--185}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_13}, doi = {10.1007/11547662\_13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/HuntM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/JeannetGR05, author = {Bertrand Jeannet and Denis Gopan and Thomas W. Reps}, editor = {Chris Hankin and Igor Siveroni}, title = {A Relational Abstraction for Functions}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {186--202}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_14}, doi = {10.1007/11547662\_14}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/JeannetGR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/JungKSY05, author = {Yungbum Jung and Jaehwang Kim and Jaeho Shin and Kwangkeun Yi}, editor = {Chris Hankin and Igor Siveroni}, title = {Taming False Alarms from a Domain-Unaware {C} Analyzer by a Bayesian Statistical Post Analysis}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {203--217}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_15}, doi = {10.1007/11547662\_15}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/JungKSY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/KodumalA05, author = {John Kodumal and Alex Aiken}, editor = {Chris Hankin and Igor Siveroni}, title = {Banshee: {A} Scalable Constraint-Based Analysis Toolkit}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {218--234}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_16}, doi = {10.1007/11547662\_16}, timestamp = {Mon, 22 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/KodumalA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Muller-OlmS05, author = {Markus M{\"{u}}ller{-}Olm and Helmut Seidl}, editor = {Chris Hankin and Igor Siveroni}, title = {A Generic Framework for Interprocedural Analysis of Numerical Properties}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {235--250}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_17}, doi = {10.1007/11547662\_17}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Muller-OlmS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/NarasamdyaV05, author = {Iman Narasamdya and Andrei Voronkov}, editor = {Chris Hankin and Igor Siveroni}, title = {Finding Basic Block and Variable Correspondence}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {251--267}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_18}, doi = {10.1007/11547662\_18}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/NarasamdyaV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/PodelskiW05, author = {Andreas Podelski and Thomas Wies}, editor = {Chris Hankin and Igor Siveroni}, title = {Boolean Heaps}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {268--283}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_19}, doi = {10.1007/11547662\_19}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/PodelskiW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/RinetzkySY05, author = {Noam Rinetzky and Mooly Sagiv and Eran Yahav}, editor = {Chris Hankin and Igor Siveroni}, title = {Interprocedural Shape Analysis for Cutpoint-Free Programs}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {284--302}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_20}, doi = {10.1007/11547662\_20}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/RinetzkySY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Rival05, author = {Xavier Rival}, editor = {Chris Hankin and Igor Siveroni}, title = {Understanding the Origin of Alarms in Astr{\'{e}}e}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {303--319}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_21}, doi = {10.1007/11547662\_21}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/Rival05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/SecciS05, author = {Stefano Secci and Fausto Spoto}, editor = {Chris Hankin and Igor Siveroni}, title = {Pair-Sharing Analysis of Object-Oriented Programs}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {320--335}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_22}, doi = {10.1007/11547662\_22}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/SecciS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/SimonK05, author = {Axel Simon and Andy King}, editor = {Chris Hankin and Igor Siveroni}, title = {Exploiting Sparsity in Polyhedral Analysis}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {336--351}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_23}, doi = {10.1007/11547662\_23}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/SimonK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/TerauchiA05, author = {Tachio Terauchi and Alex Aiken}, editor = {Chris Hankin and Igor Siveroni}, title = {Secure Information Flow as a Safety Problem}, booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, pages = {352--367}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662\_24}, doi = {10.1007/11547662\_24}, timestamp = {Mon, 22 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/TerauchiA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sas/2005, editor = {Chris Hankin and Igor Siveroni}, title = {Static Analysis, 12th International Symposium, {SAS} 2005, London, UK, September 7-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3672}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11547662}, doi = {10.1007/11547662}, isbn = {3-540-28584-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sas/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.