default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th SAS 2021: Chicago, IL, USA
- Cezara Dragoi, Suvam Mukherjee
, Kedar S. Namjoshi:
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Lecture Notes in Computer Science 12913, Springer 2021, ISBN 978-3-030-88805-3 - Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel:
Fast and Efficient Bit-Level Precision Tuning. 1-24 - Mohamad Barbar, Yulei Sui:
Hash Consed Points-To Sets. 25-48 - Marek Chalupa, Jan Strejcek:
Backward Symbolic Execution with Loop Folding. 49-76 - Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang:
Accelerating Program Analyses in Datalog by Merging Library Facts. 77-101 - David Delmas, Abdelraouf Ouadjaout, Antoine Miné:
Static Analysis of Endian Portability by Abstract Interpretation. 102-123 - Lucas Franceschino, David Pichardie, Jean-Pierre Talpin:
Verified Functional Programming of an Abstract Interpreter. 124-143 - Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Disjunctive Interval Analysis. 144-165 - Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan:
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. 166-190 - Kai Jia, Martin C. Rinard:
Exploiting Verified Neural Networks via Floating Point Numerical Error. 191-205 - Kai Jia, Martin C. Rinard:
Verifying Low-Dimensional Input Neural Networks via Input Quantization. 206-214 - Julien Braine, Laure Gonnord, David Monniaux:
Data Abstraction: A General Framework to Handle Program Verification of Data Structures. 215-235 - Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno:
Toward Neural-Network-Guided Program Synthesis and Verification. 236-260 - Jingbo Lu, Dongjie He, Jingling Xue:
Selective Context-Sensitivity for k-CFA with CFL-Reachability. 261-285 - Tianhan Lu, Bor-Yuh Evan Chang, Ashutosh Trivedi:
Selectively-Amortized Resource Bounding. 286-307 - Denis Mazzucato, Caterina Urban:
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. 308-322 - Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné:
A Multilanguage Static Analysis of Python Programs with Native C Extensions. 323-345 - Mohsen Safari, Wytse Oortwijn, Marieke Huisman:
Automated Verification of the Parallel Bellman-Ford Algorithm. 346-358 - Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani:
Improving Thread-Modular Abstract Interpretation. 359-383 - Divyanjali Sharma, Subodh Sharma:
Thread-Modular Analysis of Release-Acquire Concurrency. 384-404 - Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato:
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving. 405-428 - Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Compositional Verification of Smart Contracts Through Communication Abstraction. 429-452 - Xuezheng Xu, Xudong Wang, Jingling Xue:
Automatic Synthesis of Data-Flow Analyzers. 453-478
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.
last updated on 2025-12-19 21:00 CET 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:
