logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
S

STATIC ANALYSIS, SAS 2025

IF
Papers14
Citations
Journal Papers 14
Publication Date
delete
Delta Store Semantics: Abstract Garbage Collection for Abstract Definitional Interpreters
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteVan Es, Noah; Vandenbogaerde, Bram; De Roover, En
deleteShare
deleteSave
Contextual Equality Saturation
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDrewery, Alexandre; Jensen, Thomas P.; Pichardie, David
deleteShare
deleteSave
Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteShachnai, Matan; Vishwanathan, Harishankar; Narayana, Srinivas; Nagarakatte, Santosh
deleteShare
deleteSave
Specifying and Verifying Future Conditions
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSong, Yahui; Foo, Darius; Chin, Wei-Ngan
deleteShare
deleteSave
Verifying Neural Networks with PyRAT
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLemesle, Augustin; Lehmann, Julien; Le Gall, Tristan; Chihani, Zakaria
deleteShare
deleteSave
On a Simple Problem Due to Yves Bertot
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDanvy, Olivier
deleteShare
deleteSave
Abstracting Concolic Execution for Soft Contract Verification
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteVandenbogaerde, Bram; Stievenart, Quentin; De Roover, Coen
deleteShare
deleteSave
A Programming Language for Feasible Solutions
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChen, Weijun; Fu, Yuxi; Long, Huan
deleteShare
deleteSave
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHuang, Zixin; Laurel, Jacob; Dutta, Saikat; Misailovic, Sasa
deleteShare
deleteSave
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKatsura, Hiroyuki; Kobayashi, Naoki; Sakayori, Ken; Sato, Yosuke
deleteShare
deleteSave
DUCTAPE: Optimizing Dynamically Typed Programs Using Ahead-of-Time Compilation and Data-Flow Analysis
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHarif, Adi; Itzhaky, Shachar
deleteShare
deleteSave
Relating Distances and Abstractions An Abstract Interpretation Perspective
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete1
PREAI
deleteCampion, Marco; Mastroeni, Isabella; Urban, Caterina
deleteShare
deleteSave
Monarch: A Modular Framework for Abstract Definitional Interpreters in Haskell
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteVandenbogaerde, Bram; Verbelen, Sarah; Van Es, Noah; De Roover, Coen
deleteShare
deleteSave
Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
deleteSTATIC ANALYSIS, SAS 2025
IF0
delete2026-01-01
delete2
PREAI
deleteLee, Jaeseo; Bae, Kyungmin
deleteShare
deleteSave