Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/0001NIU19,
  author       = {Naoki Kobayashi and
                  Takeshi Nishikawa and
                  Atsushi Igarashi and
                  Hiroshi Unno},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Temporal Verification of Programs via First-Order Fixpoint Logic},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {413--436},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_20},
  doi          = {10.1007/978-3-030-32304-2\_20},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/0001NIU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BecchiZ19,
  author       = {Anna Becchi and
                  Enea Zaffanella},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Revisiting Polyhedral Analysis for Hybrid Systems},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {183--202},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_10},
  doi          = {10.1007/978-3-030-32304-2\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BecchiZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Ben-AmramDG19,
  author       = {Amir M. Ben{-}Amram and
                  Jes{\'{u}}s J. Dom{\'{e}}nech and
                  Samir Genaim},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Multiphase-Linear Ranking Functions and Their Relation to Recurrent
                  Sets},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {459--480},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_22},
  doi          = {10.1007/978-3-030-32304-2\_22},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/Ben-AmramDG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CampionPG19,
  author       = {Marco Campion and
                  Mila Dalla Preda and
                  Roberto Giacobazzi},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Abstract Interpretation of Indexed Grammars},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {121--139},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_7},
  doi          = {10.1007/978-3-030-32304-2\_7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CampionPG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Cousot19,
  author       = {Patrick Cousot},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Syntactic and Semantic Soundness of Structural Dataflow Analysis},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {96--117},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_6},
  doi          = {10.1007/978-3-030-32304-2\_6},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Cousot19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Cousot19a,
  author       = {Patrick Cousot},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Abstract Semantic Dependency},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {389--410},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_19},
  doi          = {10.1007/978-3-030-32304-2\_19},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Cousot19a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DelmasM19,
  author       = {David Delmas and
                  Antoine Min{\'{e}}},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Analysis of Software Patches Using Numerical Abstract Interpretation},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {225--246},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_12},
  doi          = {10.1007/978-3-030-32304-2\_12},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DelmasM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DengC19,
  author       = {Chaoqiang Deng and
                  Patrick Cousot},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Responsibility Analysis by Abstract Interpretation},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {368--388},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_18},
  doi          = {10.1007/978-3-030-32304-2\_18},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DengC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/FijalkowLOOP019,
  author       = {Nathana{\"{e}}l Fijalkow and
                  Engel Lefaucheux and
                  Pierre Ohlmann and
                  Jo{\"{e}}l Ouaknine and
                  Amaury Pouly and
                  James Worrell},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {On the Monniaux Problem in Abstract Interpretation},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {162--180},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_9},
  doi          = {10.1007/978-3-030-32304-2\_9},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/FijalkowLOOP019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GantyR019,
  author       = {Pierre Ganty and
                  Francesco Ranzato and
                  Pedro Valero},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Language Inclusion Algorithms as Complete Abstract Interpretations},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {140--161},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_8},
  doi          = {10.1007/978-3-030-32304-2\_8},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/GantyR019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HuSSD19,
  author       = {Qinheping Hu and
                  Roopsha Samanta and
                  Rishabh Singh and
                  Loris D'Antoni},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Direct Manipulation for Imperative Programs},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {347--367},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_17},
  doi          = {10.1007/978-3-030-32304-2\_17},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HuSSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LeiS19,
  author       = {Yuxiang Lei and
                  Yulei Sui},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive
                  Pointer Analysis},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {27--47},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_3},
  doi          = {10.1007/978-3-030-32304-2\_3},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LeiS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LiLYCHZ19,
  author       = {Jianlin Li and
                  Jiangchao Liu and
                  Pengfei Yang and
                  Liqian Chen and
                  Xiaowei Huang and
                  Lijun Zhang},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Analyzing Deep Neural Networks with Symbolic Propagation: Towards
                  Higher Precision and Faster Verification},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {296--319},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_15},
  doi          = {10.1007/978-3-030-32304-2\_15},
  timestamp    = {Mon, 19 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LiLYCHZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Naik19,
  author       = {Mayur Naik},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Rethinking Static Analysis by Combining Discrete and Continuous Reasoning},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_1},
  doi          = {10.1007/978-3-030-32304-2\_1},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Naik19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NeiderS0M19,
  author       = {Daniel Neider and
                  Shambwaditya Saha and
                  Pranav Garg and
                  P. Madhusudan},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {323--346},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_16},
  doi          = {10.1007/978-3-030-32304-2\_16},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/NeiderS0M19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/OkuyamaT019,
  author       = {Yuya Okuyama and
                  Takeshi Tsukada and
                  Naoki Kobayashi},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {A Temporal Logic for Higher-Order Functional Programs},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {437--458},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_21},
  doi          = {10.1007/978-3-030-32304-2\_21},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/OkuyamaT019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RanzatoZ19,
  author       = {Francesco Ranzato and
                  Marco Zanella},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Robustness Verification of Support Vector Machines},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {271--295},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_14},
  doi          = {10.1007/978-3-030-32304-2\_14},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RanzatoZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Urban19,
  author       = {Caterina Urban},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Static Analysis of Data Science Software},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {17--23},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_2},
  doi          = {10.1007/978-3-030-32304-2\_2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Urban19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/VolkerK19,
  author       = {Marcus V{\"{o}}lker and
                  Stefan Kowalewski},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {A Change-Based Heuristic for Static Analysis with Policy Iteration},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {73--95},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_5},
  doi          = {10.1007/978-3-030-32304-2\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/VolkerK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/YanCSZZX19,
  author       = {Hua Yan and
                  Shiping Chen and
                  Yulei Sui and
                  Yueqian Zhang and
                  Changwei Zou and
                  Jingling Xue},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Per-Dereference Verification of Temporal Heap Safety via Adaptive
                  Context-Sensitive Analysis},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {48--72},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_4},
  doi          = {10.1007/978-3-030-32304-2\_4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/YanCSZZX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/YinCL0C19,
  author       = {Banghu Yin and
                  Liqian Chen and
                  Jiangchao Liu and
                  Ji Wang and
                  Patrick Cousot},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Verifying Numerical Programs via Iterative Abstract Testing},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {247--267},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_13},
  doi          = {10.1007/978-3-030-32304-2\_13},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/YinCL0C19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/YuM19,
  author       = {Hang Yu and
                  David Monniaux},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {An Efficient Parametric Linear Programming Solver and Application
                  to Polyhedral Projection},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {203--224},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_11},
  doi          = {10.1007/978-3-030-32304-2\_11},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/YuM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2019,
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2},
  doi          = {10.1007/978-3-030-32304-2},
  isbn         = {978-3-030-32303-5},
  timestamp    = {Mon, 07 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2019.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.