Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sas/sas2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/sas/AllamigeonGH06,
author = {Xavier Allamigeon and
Wenceslas Godard and
Charles Hymans},
editor = {Kwangkeun Yi},
title = {Static Analysis of String Manipulations in Critical Embedded {C} Programs},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {35--51},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_4},
doi = {10.1007/11823230\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/AllamigeonGH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AmiranoffCF06,
author = {Pierre Amiranoff and
Albert Cohen and
Paul Feautrier},
editor = {Kwangkeun Yi},
title = {Beyond Iteration Vectors: Instancewise Relational Abstract Domains},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {161--180},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_11},
doi = {10.1007/11823230\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AmiranoffCF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Arnold06,
author = {Gilad Arnold},
editor = {Kwangkeun Yi},
title = {Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement
and Loose Embedding},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {204--220},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_14},
doi = {10.1007/11823230\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Arnold06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AskarovHS06,
author = {Aslan Askarov and
Daniel Hedin and
Andrei Sabelfeld},
editor = {Kwangkeun Yi},
title = {Cryptographically-Masked Flows},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {353--369},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_23},
doi = {10.1007/11823230\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AskarovHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BalakrishnanR06,
author = {Gogul Balakrishnan and
Thomas W. Reps},
editor = {Kwangkeun Yi},
title = {Recency-Abstraction for Heap-Allocated Storage},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {221--239},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_15},
doi = {10.1007/11823230\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BalakrishnanR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BartheGKR06,
author = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
C{\'{e}}sar Kunz and
Tamara Rezk},
editor = {Kwangkeun Yi},
title = {Certificate Translation for Optimizing Compilers},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {301--317},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_20},
doi = {10.1007/11823230\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BartheGKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Bertrane06,
author = {Julien Bertrane},
editor = {Kwangkeun Yi},
title = {Proving the Properties of Communicating Imperfectly-Clocked Synchronous
Systems},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {370--386},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_24},
doi = {10.1007/11823230\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Bertrane06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BouajjaniHRV06,
author = {Ahmed Bouajjani and
Peter Habermehl and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar},
editor = {Kwangkeun Yi},
title = {Abstract Regular Tree Model Checking of Complex Dynamic Data Structures},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {52--70},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_5},
doi = {10.1007/11823230\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BouajjaniHRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CalcagnoDOY06,
author = {Cristiano Calcagno and
Dino Distefano and
Peter W. O'Hearn and
Hongseok Yang},
editor = {Kwangkeun Yi},
title = {Beyond Reachability: Shape Abstraction in the Presence of Pointer
Arithmetic},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {182--203},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_13},
doi = {10.1007/11823230\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CalcagnoDOY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChangHN06,
author = {Bor{-}Yuh Evan Chang and
Matthew Harren and
George C. Necula},
editor = {Kwangkeun Yi},
title = {Analysis of Low-Level Code Using Cooperating Decompilers},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {318--335},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_21},
doi = {10.1007/11823230\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChangHN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChenR06,
author = {Feng Chen and
Grigore Rosu},
editor = {Kwangkeun Yi},
title = {Parametric and Termination-Sensitive Control Dependence},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {387--404},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_25},
doi = {10.1007/11823230\_25},
timestamp = {Tue, 28 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/ChenR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Das06,
author = {Manuvir Das},
editor = {Kwangkeun Yi},
title = {Unleashing the Power of Static Analysis},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {1--2},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_1},
doi = {10.1007/11823230\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Das06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DhurjatiDY06,
author = {Dinakar Dhurjati and
Manuvir Das and
Yue Yang},
editor = {Kwangkeun Yi},
title = {Path-Sensitive Dataflow Analysis with Iterative Refinement},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {425--442},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_27},
doi = {10.1007/11823230\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DhurjatiDY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GonnordH06,
author = {Laure Gonnord and
Nicolas Halbwachs},
editor = {Kwangkeun Yi},
title = {Combining Widening and Acceleration in Linear Relation Analysis},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {144--160},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_10},
doi = {10.1007/11823230\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GonnordH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GotsmanBC06,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook},
editor = {Kwangkeun Yi},
title = {Interprocedural Shape Analysis with Separated Heap Abstractions},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {240--260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_16},
doi = {10.1007/11823230\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GotsmanBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GoubaultP06,
author = {Eric Goubault and
Sylvie Putot},
editor = {Kwangkeun Yi},
title = {Static Analysis of Numerical Algorithms},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {18--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_3},
doi = {10.1007/11823230\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GoubaultP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HuangCS06,
author = {Yuqiang Huang and
Bruce R. Childers and
Mary Lou Soffa},
editor = {Kwangkeun Yi},
title = {Catching and Identifying Bugs in Register Allocation},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {281--300},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_19},
doi = {10.1007/11823230\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HuangCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JhalaMX06,
author = {Ranjit Jhala and
Rupak Majumdar and
Ru{-}Gang Xu},
editor = {Kwangkeun Yi},
title = {Structural Invariants},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {71--87},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_6},
doi = {10.1007/11823230\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/JhalaMX06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KirkegaardM06,
author = {Christian Kirkegaard and
Anders M{\o}ller},
editor = {Kwangkeun Yi},
title = {Static Analysis for Java Servlets and {JSP}},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {336--352},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_22},
doi = {10.1007/11823230\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/KirkegaardM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LoginovRS06,
author = {Alexey Loginov and
Thomas W. Reps and
Mooly Sagiv},
editor = {Kwangkeun Yi},
title = {Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal
Algorithm},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {261--279},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_17},
doi = {10.1007/11823230\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/LoginovRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/OHearn06,
author = {Peter W. O'Hearn},
editor = {Kwangkeun Yi},
title = {Separation Logic and Program Analysis},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {181},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_12},
doi = {10.1007/11823230\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/OHearn06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/OrlovichR06,
author = {Maksim Orlovich and
Radu Rugina},
editor = {Kwangkeun Yi},
title = {Memory Leak Analysis by Contradiction},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {405--424},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_26},
doi = {10.1007/11823230\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/OrlovichR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PratikakisFH06,
author = {Polyvios Pratikakis and
Jeffrey S. Foster and
Michael Hicks},
editor = {Kwangkeun Yi},
title = {Existential Label Flow Inference Via {CFL} Reachability},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {88--106},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_7},
doi = {10.1007/11823230\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/PratikakisFH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PueblaAH06,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
editor = {Kwangkeun Yi},
title = {Abstract Interpretation with Specialized Definitions},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {107--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_8},
doi = {10.1007/11823230\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/PueblaAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SankaranarayananISG06,
author = {Sriram Sankaranarayanan and
Franjo Ivancic and
Ilya Shlyakhter and
Aarti Gupta},
editor = {Kwangkeun Yi},
title = {Static Analysis in Disjunctive Numerical Domains},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {3--17},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_2},
doi = {10.1007/11823230\_2},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SankaranarayananISG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Schmidt06,
author = {David A. Schmidt},
editor = {Kwangkeun Yi},
title = {Underapproximating Predicate Transformers},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {127--143},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_9},
doi = {10.1007/11823230\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Schmidt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Yang06,
author = {Hongseok Yang},
editor = {Kwangkeun Yi},
title = {Shape Analysis for Low-Level Code},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {280},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_18},
doi = {10.1007/11823230\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Yang06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2006,
editor = {Kwangkeun Yi},
title = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230},
doi = {10.1007/11823230},
isbn = {3-540-37756-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 16:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
