Accelerating Program Analyses in Datalog by Merging Library Facts (English)
- New search for: Chen, Yifan
- New search for: Yang, Chenyang
- New search for: Zhang, Xin
- New search for: Xiong, Yingfei
- New search for: Tang, Hao
- New search for: Wang, Xiaoyin
- New search for: Zhang, Lu
- New search for: Chen, Yifan
- New search for: Yang, Chenyang
- New search for: Zhang, Xin
- New search for: Xiong, Yingfei
- New search for: Tang, Hao
- New search for: Wang, Xiaoyin
- New search for: Zhang, Lu
In:
Static Analysis
; 77 -101
;
2021
-
ISBN:
- Conference paper / Print
-
Title:Accelerating Program Analyses in Datalog by Merging Library Facts
-
Contributors:Chen, Yifan ( author ) / Yang, Chenyang ( author ) / Zhang, Xin ( author ) / Xiong, Yingfei ( author ) / Tang, Hao ( author ) / Wang, Xiaoyin ( author ) / Zhang, Lu ( author )
-
Conference:International Static Analysis Symposium ; 28. ; 2021 ; Chicago, Online
-
Published in:Static Analysis ; 77 -101
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2021
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.50
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.50 Programmierung: Allgemeines -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Fast and Efficient Bit-Level Precision TuningAdje, Assale / Khalifa, Dorra Ben / Martel, Matthieu et al. | 2021
- 25
-
Hash Consed Points-To SetsBarbar, Mohamad / Sui, Yulei et al. | 2021
- 49
-
Backward Symbolic Execution with Loop FoldingChalupa, Marek / Strejček, Jan et al. | 2021
- 77
-
Accelerating Program Analyses in Datalog by Merging Library FactsChen, Yifan / Yang, Chenyang / Zhang, Xin / Xiong, Yingfei / Tang, Hao / Wang, Xiaoyin / Zhang, Lu et al. | 2021
- 102
-
Static Analysis of Endian Portability by Abstract InterpretationDelmas, David / Ouadjaout, Abdelraouf / Mine, Antoine et al. | 2021
- 124
-
Verified Functional Programming of an Abstract InterpreterFranceschino, Lucas / Pichardie, David / Talpin, Jean-Pierre et al. | 2021
- 144
-
Disjunctive Interval AnalysisGange, Graeme / Navas, Jorge A. / Schachte, Peter / Søndergaard, Harald / Stuckey, Peter J. et al. | 2021
- 166
-
Static Analysis of ReLU Neural Networks with Tropical PolyhedraGoubault, Eric / Palumby, Sebastien / Putot, Sylvie / Rustenholz, Louis / Sankaranarayanan, Sriram et al. | 2021
- 191
-
Exploiting Verified Neural Networks via Floating Point Numerical ErrorJia, Kai / Rinard, Martin et al. | 2021
- 206
-
Verifying Low-Dimensional Input Neural Networks via Input QuaniizationJia, Kai / Rinard, Martin et al. | 2021
- 215
-
Data Abstraction: A General Framework to Handle Program Verification of Data StructuresBraine, Julien / Gonnord, Laure / Monniaux, David et al. | 2021
- 236
-
Toward Neural-Network-Guided Program Synthesis and VerificationKobayashi, Naoki / Sekiyama, Taro / Sato, Issei / Unno, Hiroshi et al. | 2021
- 261
-
Selective Context-Sensitivity for k-CFA with CFL-ReachabilityLu, Jingbo / He, Dongjie / Xue, Jingling et al. | 2021
- 286
-
Selectively-Amortized Resource BoundingLu, Tianhan / Chang, Bor-Yuh Evan / Trivedi, Ashutosh et al. | 2021
- 308
-
Reduced Products of Abstract Domains for Fairness Certification of Neural NetworksMazzucato, Denis / Urban, Caterina et al. | 2021
- 323
-
A Multilanguage Static Analysis of Python Programs with Native C ExtensionsMonat, Raphaël / Ouadjaout, Abdelraouf / Mine, Antoine et al. | 2021
- 346
-
Automated Verification of the Parallel Bellman-Ford AlgorithmSafari, Mohsen / Oortwijn, Wytse / Huisman, Marieke et al. | 2021
- 359
-
Improving Thread-Modular Abstract InterpretationSchwarz, Michael / Saan, Simmo / Seidl, Helmut / Apinis, Kalmer / Erhard, Julian / Vojdani, Vesal et al. | 2021
- 384
-
Thread-Modular Analysis of Release-Acquire ConcurrencySharma, Divyanjali / Sharma, Subodh et al. | 2021
- 405
-
Symbolic Automatic Relations and Their Applications to SMT and CHC SolvingShimoda, Takumi / Kobayashi, Naoki / Sakayori, Ken / Sato, Ryvosuke et al. | 2021
- 429
-
Compositional Verification of Smart Contracts Through Communication AbstractionWesley, Scott / Christakis, Maria / Navas, Jorge A. / Trefler, Richard / Wüstholz, Valentin / Gurfinkel, Arie et al. | 2021
- 453
-
Automatic Synthesis of Data-Flow AnalyzersXu, Xuezheng / Wang, Xudong / Xue, Jingling et al. | 2021