![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
28th 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.