Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sas/AdjeKM21,
  author       = {Assal{\'{e}} Adj{\'{e}} and
                  Dorra {Ben Khalifa} and
                  Matthieu Martel},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Fast and Efficient Bit-Level Precision Tuning},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_1},
  doi          = {10.1007/978-3-030-88806-0\_1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AdjeKM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BarbarS21,
  author       = {Mohamad Barbar and
                  Yulei Sui},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Hash Consed Points-To Sets},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {25--48},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_2},
  doi          = {10.1007/978-3-030-88806-0\_2},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BarbarS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BraineGM21,
  author       = {Julien Braine and
                  Laure Gonnord and
                  David Monniaux},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Data Abstraction: {A} General Framework to Handle Program Verification
                  of Data Structures},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {215--235},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_11},
  doi          = {10.1007/978-3-030-88806-0\_11},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/BraineGM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ChalupaS21,
  author       = {Marek Chalupa and
                  Jan Strejcek},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Backward Symbolic Execution with Loop Folding},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {49--76},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_3},
  doi          = {10.1007/978-3-030-88806-0\_3},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/ChalupaS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ChenYZXTWZ21,
  author       = {Yifan Chen and
                  Chenyang Yang and
                  Xin Zhang and
                  Yingfei Xiong and
                  Hao Tang and
                  Xiaoyin Wang and
                  Lu Zhang},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Accelerating Program Analyses in Datalog by Merging Library Facts},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {77--101},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_4},
  doi          = {10.1007/978-3-030-88806-0\_4},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ChenYZXTWZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DelmasOM21,
  author       = {David Delmas and
                  Abdelraouf Ouadjaout and
                  Antoine Min{\'{e}}},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Static Analysis of Endian Portability by Abstract Interpretation},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {102--123},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_5},
  doi          = {10.1007/978-3-030-88806-0\_5},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/DelmasOM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/FranceschinoPT21,
  author       = {Lucas Franceschino and
                  David Pichardie and
                  Jean{-}Pierre Talpin},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Verified Functional Programming of an Abstract Interpreter},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {124--143},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_6},
  doi          = {10.1007/978-3-030-88806-0\_6},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/FranceschinoPT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GangeNSSS21,
  author       = {Graeme Gange and
                  Jorge A. Navas and
                  Peter Schachte and
                  Harald S{\o}ndergaard and
                  Peter J. Stuckey},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Disjunctive Interval Analysis},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {144--165},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_7},
  doi          = {10.1007/978-3-030-88806-0\_7},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GangeNSSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GoubaultPPRS21,
  author       = {Eric Goubault and
                  S{\'{e}}bastien Palumby and
                  Sylvie Putot and
                  Louis Rustenholz and
                  Sriram Sankaranarayanan},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Static Analysis of ReLU Neural Networks with Tropical Polyhedra},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {166--190},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_8},
  doi          = {10.1007/978-3-030-88806-0\_8},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GoubaultPPRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/JiaR21,
  author       = {Kai Jia and
                  Martin C. Rinard},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Exploiting Verified Neural Networks via Floating Point Numerical Error},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {191--205},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_9},
  doi          = {10.1007/978-3-030-88806-0\_9},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/JiaR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/JiaR21a,
  author       = {Kai Jia and
                  Martin C. Rinard},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Verifying Low-Dimensional Input Neural Networks via Input Quantization},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {206--214},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_10},
  doi          = {10.1007/978-3-030-88806-0\_10},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/JiaR21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/KobayashiSSU21,
  author       = {Naoki Kobayashi and
                  Taro Sekiyama and
                  Issei Sato and
                  Hiroshi Unno},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Toward Neural-Network-Guided Program Synthesis and Verification},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {236--260},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_12},
  doi          = {10.1007/978-3-030-88806-0\_12},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/KobayashiSSU21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LuCT21,
  author       = {Tianhan Lu and
                  Bor{-}Yuh Evan Chang and
                  Ashutosh Trivedi},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Selectively-Amortized Resource Bounding},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {286--307},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_14},
  doi          = {10.1007/978-3-030-88806-0\_14},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LuCT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LuHX21,
  author       = {Jingbo Lu and
                  Dongjie He and
                  Jingling Xue},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Selective Context-Sensitivity for k-CFA with CFL-Reachability},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {261--285},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_13},
  doi          = {10.1007/978-3-030-88806-0\_13},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LuHX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MazzucatoU21,
  author       = {Denis Mazzucato and
                  Caterina Urban},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Reduced Products of Abstract Domains for Fairness Certification of
                  Neural Networks},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {308--322},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_15},
  doi          = {10.1007/978-3-030-88806-0\_15},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/MazzucatoU21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MonatOM21,
  author       = {Rapha{\"{e}}l Monat and
                  Abdelraouf Ouadjaout and
                  Antoine Min{\'{e}}},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {A Multilanguage Static Analysis of Python Programs with Native {C}
                  Extensions},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {323--345},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_16},
  doi          = {10.1007/978-3-030-88806-0\_16},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/MonatOM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SafariOH21,
  author       = {Mohsen Safari and
                  Wytse Oortwijn and
                  Marieke Huisman},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Automated Verification of the Parallel Bellman-Ford Algorithm},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {346--358},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_17},
  doi          = {10.1007/978-3-030-88806-0\_17},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/SafariOH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SchwarzSSAEV21,
  author       = {Michael Schwarz and
                  Simmo Saan and
                  Helmut Seidl and
                  Kalmer Apinis and
                  Julian Erhard and
                  Vesal Vojdani},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Improving Thread-Modular Abstract Interpretation},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {359--383},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_18},
  doi          = {10.1007/978-3-030-88806-0\_18},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SchwarzSSAEV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SharmaS21,
  author       = {Divyanjali Sharma and
                  Subodh Sharma},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Thread-Modular Analysis of Release-Acquire Concurrency},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {384--404},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_19},
  doi          = {10.1007/978-3-030-88806-0\_19},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SharmaS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ShimodaKSS21,
  author       = {Takumi Shimoda and
                  Naoki Kobayashi and
                  Ken Sakayori and
                  Ryosuke Sato},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Symbolic Automatic Relations and Their Applications to {SMT} and {CHC}
                  Solving},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {405--428},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_20},
  doi          = {10.1007/978-3-030-88806-0\_20},
  timestamp    = {Mon, 16 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/ShimodaKSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/WesleyCNTWG21,
  author       = {Scott Wesley and
                  Maria Christakis and
                  Jorge A. Navas and
                  Richard J. Trefler and
                  Valentin W{\"{u}}stholz and
                  Arie Gurfinkel},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Compositional Verification of Smart Contracts Through Communication
                  Abstraction},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {429--452},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_21},
  doi          = {10.1007/978-3-030-88806-0\_21},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/WesleyCNTWG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/XuWX21,
  author       = {Xuezheng Xu and
                  Xudong Wang and
                  Jingling Xue},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Automatic Synthesis of Data-Flow Analyzers},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {453--478},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_22},
  doi          = {10.1007/978-3-030-88806-0\_22},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/XuWX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2021,
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0},
  doi          = {10.1007/978-3-030-88806-0},
  isbn         = {978-3-030-88805-3},
  timestamp    = {Mon, 18 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2021.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.