On the public citation graph
Using Datalog with Binary Decision Diagrams for Program Analysis
0 signed · 211 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/10722468_7openalex-snapshot
Bebop: A Symbolic Model Checker for Boolean Programs
inferredcites →https://doi.org/10.1007/3-540-16492-8_66openalex-snapshot
OLD resolution with tabulation
inferredcites →https://doi.org/10.1007/3-540-44898-5_2openalex-snapshot
Modular Class Analysis with DATALOG
inferredcites →https://doi.org/10.1007/3-540-45139-0_7openalex-snapshot
Automatically validating temporal safety properties of interfaces
inferredcites →https://doi.org/10.1007/3-540-50820-1openalex-snapshot
Programming Languages Implementation and Logic Programming
inferredcites →https://doi.org/10.1007/3-540-57186-8_72openalex-snapshot
Efficient bottom-up abstract interpretation of prolog by means of constraint solving over symbolic finite domains (extended abstract)
inferredcites →https://doi.org/10.1007/978-1-4615-2207-2_8openalex-snapshot
Demand Interprocedural Program Analysis Using Logic Databases
inferredcites →https://doi.org/10.1007/978-3-642-83952-8openalex-snapshot
Logic Programming and Databases
inferredcites →https://doi.org/10.1016/0743-1066(85)90002-0openalex-snapshot
Horn clause queries and generalizations
inferredcites →https://doi.org/10.1016/0743-1066(94)00039-9openalex-snapshot
A survey of deductive database systems
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50021-xopenalex-snapshot
Optimizing Datalog Programs
inferredcites →https://doi.org/10.1016/s0022-0000(74)80049-8openalex-snapshot
Testing flow graph reducibility
inferredcites →https://doi.org/10.1109/69.298169openalex-snapshot
Rule ordering in bottom-up fixpoint evaluation of logic programs
inferredcites →https://doi.org/10.1109/icde.1995.380367openalex-snapshot
Bottom-up evaluation of logic programs using binary decision diagrams
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1109/wcre.2003.1287252openalex-snapshot
Simple and efficient relational querying of software structures
inferredcites →https://doi.org/10.1145/1062455.1062520openalex-snapshot
Improving software security with a C pointer analysis
inferredcites →https://doi.org/10.1145/1065167.1065169openalex-snapshot
Context-sensitive program analysis as database queries
inferredcites →https://doi.org/10.1145/1094811.1094840openalex-snapshot
Finding application errors and security flaws using PQL
inferredcites →https://doi.org/10.1145/116825.116838openalex-snapshot
The well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/191839.191927openalex-snapshot
XSB as an efficient deductive database engine
inferredcites →https://doi.org/10.1145/227595.227597openalex-snapshot
Tabled evaluation with delaying for general logic programs
inferredcites →https://doi.org/10.1145/231379.231399openalex-snapshot
Practical program analysis using general purpose logic programming systems—a case study
inferredcites →https://doi.org/10.1145/316686.316687openalex-snapshot
Identifying loops in almost linear time
inferredcites →https://doi.org/10.1145/502102.502104openalex-snapshot
Static analysis in datalog extensions
inferredcites →https://doi.org/10.1145/6012.15399openalex-snapshot
Magic sets and other strange ways to implement logic programs (extended abstract)
inferredcites →https://doi.org/10.1145/66926.66948openalex-snapshot
Efficient evaluation of right-, left-, and multi-linear rules
inferredcites →https://doi.org/10.1145/67544.66948openalex-snapshot
Efficient evaluation of right-, left-, and multi-linear rules
inferredcites →https://doi.org/10.1145/73721.73736openalex-snapshot
Bottom-up beats top-down for datalog
inferredcites →https://doi.org/10.1145/888251.888268openalex-snapshot
From datalog rules to efficient programs with time and space guarantees
inferredcites →https://doi.org/10.1145/888251.888277openalex-snapshot
Efficient fixpoint computation in linear tabling
inferredcites →https://doi.org/10.1145/964001.964004openalex-snapshot
Incremental execution of transformation specifications
inferredcites →https://doi.org/10.1145/996841.996859openalex-snapshot
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
inferredcites →https://doi.org/10.1145/996841.996860openalex-snapshot
Symbolic pointer analysis revisited
inferredcites →https://doi.org/10.5555/1760267.1760270openalex-snapshot
Modular class analysis with DATALOG
inferredcites →https://doi.org/10.5860/choice.26-5107openalex-snapshot
Principles of database and knowledge-base systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.5643openalex-snapshot
Specializing parallel data structures for Datalog
inferred← citeshttps://doi.org/10.1002/spe.2821openalex-snapshot
OPAL: An extensible framework for ontology‐based program analysis
inferred← citeshttps://doi.org/10.1002/spe.3199openalex-snapshot
Declarative static analysis for multilingual programs using CodeQL
inferred← citeshttps://doi.org/10.1007/11785477_2openalex-snapshot
codeQuest: Scalable Source Code Queries with Datalog
inferred← citeshttps://doi.org/10.1007/978-3-030-90019-9_8openalex-snapshot
An Extensive Security Analysis on Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-16767-6_5openalex-snapshot
Building a Join Optimizer for Soufflé
inferred← citeshttps://doi.org/10.1007/978-3-031-75783-9_1openalex-snapshot
Automatic Compositional Checking of Multi-object TypeState Properties of Software
inferred← citeshttps://doi.org/10.1007/978-3-031-78287-9_3openalex-snapshot
Algorithmic Building Blocks
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_8openalex-snapshot
Incremental Inference for Probabilistic Datalog
inferred← citeshttps://doi.org/10.1007/978-3-319-03680-9_27openalex-snapshot
Model Checking for Reasoning about Incomplete Information Games
inferred← citeshttps://doi.org/10.1007/978-3-319-26529-2_26openalex-snapshot
More Sound Static Handling of Java Reflection
inferred← citeshttps://doi.org/10.1007/978-3-319-40566-7_11openalex-snapshot
kProbLog: An Algebraic Prolog for Kernel Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-41540-6_23openalex-snapshot
Soufflé: On Synthesis of Program Analyzers
inferred← citeshttps://doi.org/10.1007/978-3-319-66107-0_12openalex-snapshot
Certifying Standard and Stratified Datalog Inference Engines in SSReflect
inferred← citeshttps://doi.org/10.1007/978-3-319-94111-0_2openalex-snapshot
Efficient Runtime Verification of First-Order Temporal Properties
inferred← citeshttps://doi.org/10.1007/978-3-319-95582-7_42openalex-snapshot
Variant Analysis with QL
inferred← citeshttps://doi.org/10.1007/978-3-540-69166-2_8openalex-snapshot
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
inferred← citeshttps://doi.org/10.1007/978-3-540-71070-7_35openalex-snapshot
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
inferred← citeshttps://doi.org/10.1007/978-3-540-77050-3_4openalex-snapshot
Program Analysis Using Weighted Pushdown Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78769-3_9openalex-snapshot
A Scalable Inclusion Constraint Solver Using Unification
inferred← citeshttps://doi.org/10.1007/978-3-540-78791-4_3openalex-snapshot
A System for Generating Static Analyzers for Machine Instructions
inferred← citeshttps://doi.org/10.1007/978-3-540-88643-3_3openalex-snapshot
.QL: Object-Oriented Queries Made Easy
inferred← citeshttps://doi.org/10.1007/978-3-642-03240-0_18openalex-snapshot
Using Datalog and Boolean Equation Systems for Program Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-12592-8_14openalex-snapshot
Defining Datalog in Rewriting Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-23199-5_3openalex-snapshot
Decisions: Algebra and Implementation
inferred← citeshttps://doi.org/10.1007/978-3-642-24206-9_1openalex-snapshot
Datalog-Based Program Analysis with BES and RWL
inferred← citeshttps://doi.org/10.1007/978-3-642-24206-9_14openalex-snapshot
Using Datalog for Fast and Easy Program Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-24728-6_91openalex-snapshot
Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language
inferred← citeshttps://doi.org/10.1007/978-3-642-36946-9_8openalex-snapshot
Alias Analysis for Object-Oriented Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-37051-9_3openalex-snapshot
Efficient and Effective Handling of Exceptions in Java Points-to Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-54624-2_13openalex-snapshot
The Semantics of Datalog for the Evidential Tool Bus
inferred← citeshttps://doi.org/10.1007/978-3-662-49017-4_3openalex-snapshot
Bidirectional Analysis Method of Static XSS Defect Detection Technique Based On Database Query Language
inferred← citeshttps://doi.org/10.1007/s10703-017-0281-zopenalex-snapshot
Efficient verification of railway infrastructure designs against standard regulations
inferred← citeshttps://doi.org/10.1007/s10703-018-00327-4openalex-snapshot
First-order temporal logic monitoring with BDDs
inferred← citeshttps://doi.org/10.1007/s10817-009-9161-6openalex-snapshot
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
inferred← citeshttps://doi.org/10.1007/s10994-017-5668-yopenalex-snapshot
kProbLog: an algebraic Prolog for machine learning
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103521openalex-snapshot
Making sense of raw input
inferred← citeshttps://doi.org/10.1016/j.artint.2022.103726openalex-snapshot
Modular materialisation of Datalog programs
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.059openalex-snapshot
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
inferred← citeshttps://doi.org/10.1016/j.infsof.2009.04.010openalex-snapshot
Decompilation of Java bytecode to Prolog by partial evaluation
inferred← citeshttps://doi.org/10.1016/j.jlap.2013.05.001openalex-snapshot
Survey on JavaScript security policies and their enforcement mechanisms in a web browser
inferred← citeshttps://doi.org/10.1016/j.scico.2009.01.005openalex-snapshot
Client-based cohesion metrics for Java programs
inferred← citeshttps://doi.org/10.1017/s1471068415000204openalex-snapshot
Horn clauses as an intermediate representation for program analysis and transformation
inferred← citeshttps://doi.org/10.1017/s1471068419000115openalex-snapshot
Enhancing Magic Sets with an Application to Ontological Reasoning
inferred← citeshttps://doi.org/10.1017/s1471068421000387openalex-snapshot
Defeasible Reasoning via Datalog¬
inferred← citeshttps://doi.org/10.1017/s1471068422000102openalex-snapshot
Fifty Years of Prolog and Beyond
inferred← citeshttps://doi.org/10.1093/comjnl/bxaf126openalex-snapshot
DP-S3: software defect prediction through feature fusion with syntax trees, program slices and standard features
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00300openalex-snapshot
DALEQ - Explainable Equivalence for Java Bytecode
inferred← citeshttps://doi.org/10.1109/aswec.2015.15openalex-snapshot
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report
inferred← citeshttps://doi.org/10.1109/cluster52292.2023.00024openalex-snapshot
Communication-Avoiding Recursive Aggregation
inferred← citeshttps://doi.org/10.1109/compsac54236.2022.00124openalex-snapshot
EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts
inferred← citeshttps://doi.org/10.1109/icde.2008.4497406openalex-snapshot
Declarative, Domain-Specific Languages - Elegant Simplicity or a Hammer in Search of a Nail?
inferred← citeshttps://doi.org/10.1109/icde60146.2024.00035openalex-snapshot
Adaptive Recursive Query Optimization
inferred← citeshttps://doi.org/10.1109/icsc50631.2021.00018openalex-snapshot
Efficient and Standardised Program Analyses using Semantic Methodologies
inferred← citeshttps://doi.org/10.1109/icse.2015.75openalex-snapshot
Database-Backed Program Analysis for Scalable Error Propagation
inferred← citeshttps://doi.org/10.1109/icse.2019.00120openalex-snapshot
Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
inferred← citeshttps://doi.org/10.1109/iscait64916.2025.11010573openalex-snapshot
Bi-directional Taint Flow Analysis: A High-precision Static Detection Approach for Java Deserialization Vulnerabilities
inferred← citeshttps://doi.org/10.1109/pact.2019.00015openalex-snapshot
Fast Parallel Equivalence Relations in a Datalog Compiler
inferred← citeshttps://doi.org/10.1109/scam.2007.13openalex-snapshot
Extending Attribute Grammars with Collection Attributes--Evaluation and Applications
inferred← citeshttps://doi.org/10.1109/scam.2007.31openalex-snapshot
Keynote Address: .QL for Source Code Analysis
inferred← citeshttps://doi.org/10.1109/tse.2021.3109563openalex-snapshot
Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe
inferred← citeshttps://doi.org/10.1109/tse.2022.3175752openalex-snapshot
Annotative Software Product Line Analysis Using Variability-Aware Datalog
inferred← citeshttps://doi.org/10.1142/9789814417747_0058openalex-snapshot
PATH IDENTIFYING IN POINTS-TO ANALYSIS FOR JAVA WITH ANSWER SET PROGRAMMING
inferred← citeshttps://doi.org/10.1145/1190215.1190221openalex-snapshot
Semantics of static pointcuts in aspectJ
inferred← citeshttps://doi.org/10.1145/1190216.1190221openalex-snapshot
Semantics of static pointcuts in aspectJ
inferred← citeshttps://doi.org/10.1145/1294325.1294333openalex-snapshot
A software metric for coherence of class roles in Java programs
inferred← citeshttps://doi.org/10.1145/1314436.1314443openalex-snapshot
Security policy analysis using deductive spreadsheets
inferred← citeshttps://doi.org/10.1145/1376616.1376673openalex-snapshot
Adding magic to an optimising datalog compiler
inferred← citeshttps://doi.org/10.1145/1572272.1572274openalex-snapshot
Exception analysis and points-to analysis
inferred← citeshttps://doi.org/10.1145/1639949.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferred← citeshttps://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferred← citeshttps://doi.org/10.1145/1836089.1836094openalex-snapshot
Precise complexity analysis for efficient datalog queries
inferred← citeshttps://doi.org/10.1145/1989323.1989393openalex-snapshot
More efficient datalog queries
inferred← citeshttps://doi.org/10.1145/2211616.2211618openalex-snapshot
A framework for the checking and refactoring of crosscutting concepts
inferred← citeshttps://doi.org/10.1145/2212736.2212742openalex-snapshot
Distributed deductive databases, declaratively
inferred← citeshttps://doi.org/10.1145/2491411.2491417openalex-snapshot
Practical static analysis of JavaScript applications in the presence of frameworks and libraries
inferred← citeshttps://doi.org/10.1145/2491956.2462191openalex-snapshot
Hybrid context-sensitivity for points-to analysis
inferred← citeshttps://doi.org/10.1145/2499370.2462191openalex-snapshot
Hybrid context-sensitivity for points-to analysis
inferred← citeshttps://doi.org/10.1145/2509136.2509524openalex-snapshot
Set-based pre-processing for points-to analysis
inferred← citeshttps://doi.org/10.1145/2544173.2509524openalex-snapshot
Set-based pre-processing for points-to analysis
inferred← citeshttps://doi.org/10.1145/2594291.2594327openalex-snapshot
On abstraction refinement for program analyses in Datalog
inferred← citeshttps://doi.org/10.1145/2635868.2635869openalex-snapshot
Apposcopy: semantics-based detection of Android malware through static analysis
inferred← citeshttps://doi.org/10.1145/2666356.2594327openalex-snapshot
On abstraction refinement for program analyses in Datalog
inferred← citeshttps://doi.org/10.1145/2786805.2786851openalex-snapshot
A user-guided approach to program analysis
inferred← citeshttps://doi.org/10.1145/2815072.2815076openalex-snapshot
Abstract rewriting Approach to solve Datalog programs
inferred← citeshttps://doi.org/10.1145/2827697openalex-snapshot
Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory
inferred← citeshttps://doi.org/10.1145/2837614.2837663openalex-snapshot
Abstraction refinement guided by a learnt probabilistic model
inferred← citeshttps://doi.org/10.1145/2892208.2892226openalex-snapshot
On fast large-scale program analysis in Datalog
inferred← citeshttps://doi.org/10.1145/2914770.2837663openalex-snapshot
Abstraction refinement guided by a learnt probabilistic model
inferred← citeshttps://doi.org/10.1145/2951913.2951948openalex-snapshot
Datafun: a functional Datalog
inferred← citeshttps://doi.org/10.1145/2983990.2984023openalex-snapshot
Accelerating program analyses by cross-program training
inferred← citeshttps://doi.org/10.1145/3022670.2951948openalex-snapshot
Datafun: a functional Datalog
inferred← citeshttps://doi.org/10.1145/3022671.2984023openalex-snapshot
Accelerating program analyses by cross-program training
inferred← citeshttps://doi.org/10.1145/3088525.3088563openalex-snapshot
Combining the logical and the probabilistic in program analysis
inferred← citeshttps://doi.org/10.1145/3133881openalex-snapshot
Effective interactive resolution of static analysis alarms
inferred← citeshttps://doi.org/10.1145/3178487.3178525openalex-snapshot
Two concurrent data structures for efficient datalog query processing
inferred← citeshttps://doi.org/10.1145/3191315.3191326openalex-snapshot
Logic programming applications: what are the abstractions and implementations?
inferred← citeshttps://doi.org/10.1145/3192366.3192417openalex-snapshot
User-guided program reasoning using Bayesian inference
inferred← citeshttps://doi.org/10.1145/3200691.3178525openalex-snapshot
Two concurrent data structures for efficient datalog query processing
inferred← citeshttps://doi.org/10.1145/3213846.3213864openalex-snapshot
Static analysis of Java dynamic proxies
inferred← citeshttps://doi.org/10.1145/3213846.3213873openalex-snapshot
Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe
inferred← citeshttps://doi.org/10.1145/3293883.3295719openalex-snapshot
A specialized B-tree for concurrent datalog evaluation
inferred← citeshttps://doi.org/10.1145/3296979.3192417openalex-snapshot
User-guided program reasoning using Bayesian inference
inferred← citeshttps://doi.org/10.1145/3315568.3329970openalex-snapshot
MetaDL: analysing Datalog in Datalog
inferred← citeshttps://doi.org/10.1145/3338906.3338913openalex-snapshot
Mitigating power side channels during compilation
inferred← citeshttps://doi.org/10.1145/3338906.3338928openalex-snapshot
Lifting Datalog-based analyses to software product lines
inferred← citeshttps://doi.org/10.1145/3359591.3359739openalex-snapshot
Next-paradigm programming languages: what will they look like and what changes will they bring?
inferred← citeshttps://doi.org/10.1145/3395363.3397367openalex-snapshot
A programming model for semi-implicit parallelization of static analyses
inferred← citeshttps://doi.org/10.1145/3426428.3426922openalex-snapshot
Putting the semantics into semantic versioning
inferred← citeshttps://doi.org/10.1145/3428209openalex-snapshot
Formulog: Datalog for SMT-based static analysis
inferred← citeshttps://doi.org/10.1145/3468264.3468573openalex-snapshot
Metamorphic testing of Datalog engines
inferred← citeshttps://doi.org/10.1145/3472749.3474737openalex-snapshot
Sporq: An Interactive Environment for Exploring Code using Query-by-Example
inferred← citeshttps://doi.org/10.1145/3503222.3507760openalex-snapshot
Creating concise and efficient dynamic analyses with ALDA
inferred← citeshttps://doi.org/10.1145/3571252openalex-snapshot
The Fine-Grained Complexity of CFL Reachability
inferred← citeshttps://doi.org/10.1145/3591239openalex-snapshot
Better Together: Unifying Datalog and Equality Saturation
inferred← citeshttps://doi.org/10.1145/3605098.3636091openalex-snapshot
Isabelle-verified correctness of Datalog programs for program analysis
inferred← citeshttps://doi.org/10.1145/3622840openalex-snapshot
Bring Your Own Data Structures to Datalog
inferred← citeshttps://doi.org/10.1145/3632928openalex-snapshot
Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
inferred← citeshttps://doi.org/10.1145/3649921.3650014openalex-snapshot
Comprehensive and Instantly Responsive Player Assistance using Binary Decision Diagrams
inferred← citeshttps://doi.org/10.1145/3651157openalex-snapshot
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
inferred← citeshttps://doi.org/10.1145/3656451openalex-snapshot
Context-Free Language Reachability via Skewed Tabulation
inferred← citeshttps://doi.org/10.1145/3658644.3670340openalex-snapshot
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
inferred← citeshttps://doi.org/10.1145/3679007.3685057openalex-snapshot
Toward Declarative Auditing of Java Software for Graceful Exception Handling
inferred← citeshttps://doi.org/10.1145/3689484.3690737openalex-snapshot
Separate Compilation and Partial Linking: Modules for Datalog IR
inferred← citeshttps://doi.org/10.1145/3723498.3723795openalex-snapshot
Analytic Procgen with Composable Design Space Expressions
inferred← citeshttps://doi.org/10.1145/3763058openalex-snapshot
Probabilistic Inference for Datalog with Correlated Inputs
inferred← citeshttps://doi.org/10.1145/3763129openalex-snapshot
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
inferred← citeshttps://doi.org/10.1145/3832783.3834404openalex-snapshot
Conflict Extraction in Probabilistic Datalog Analyses
inferred← citeshttps://doi.org/10.1145/3832783.3837421openalex-snapshot
SIMD-Accelerated Sparse Bit-Vectors for Pointer Analysis
inferred← citeshttps://doi.org/10.1184/r1/6608594openalex-snapshot
Principles of Constructive Provability Logic (CMU-CS-10-151)
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.64.987openalex-snapshot
R-SQL: An SQL Database System with Extended Recursion
inferred← citeshttps://doi.org/10.14288/1.0392613openalex-snapshot
Analyzing android taint analysis tools : FlowDroid, Amandroid, and DroidSafe
inferred← citeshttps://doi.org/10.14722/ndss.2021.24386openalex-snapshot
Refining Indirect Call Targets at the Binary Level
inferred← citeshttps://doi.org/10.14778/3282495.3282500openalex-snapshot
Automatic index selection for large-scale datalog computation
inferred← citeshttps://doi.org/10.14778/3311880.3311886openalex-snapshot
Scaling-up in-memory datalog processing
inferred← citeshttps://doi.org/10.1609/aaai.v30i1.10426openalex-snapshot
Scaling Relational Inference Using Proofs and Refutations
inferred← citeshttps://doi.org/10.1631/fitee.1500379openalex-snapshot
Efficient vulnerability detection based on an optimized rule-checking static analysis technique
inferred← citeshttps://doi.org/10.17760/d20467254openalex-snapshot
Interactive synthesis of code-level security rules
inferred← citeshttps://doi.org/10.23919/fmcad.2017.8102249openalex-snapshot
First order temporal logic monitoring with BDDs
inferred← citeshttps://doi.org/10.25675/3.023239openalex-snapshot
Applying static code analysis to firewall policies for the purpose of anomaly detection
inferred← citeshttps://doi.org/10.26083/tuprints-00003815openalex-snapshot
Scalable Automated Incrementalization for Real-Time Static Analyses
inferred← citeshttps://doi.org/10.36227/techrxiv.14870187openalex-snapshot
Software Product Line Analysis Using Variability-aware Datalog
inferred← citeshttps://doi.org/10.36227/techrxiv.14870187.v1openalex-snapshot
Software Product Line Analysis Using Variability-aware Datalog
inferred← citeshttps://doi.org/10.4018/ijsi.2014100103openalex-snapshot
New Approach to Speedup Dynamic Program Parallelization Analysis
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amm.602-605.3846openalex-snapshot
Research on Java Source Code Static Analysis Based on Taint Tracking
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2016.26openalex-snapshot
Towards Ontology-Based Program Analysis
inferred← citeshttps://doi.org/10.48550/arxiv.1207.5384openalex-snapshot
Lattice based Least Fixed Point Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1511.01874openalex-snapshot
Abstraction Refinement Guided by a Learnt Probabilistic Model
inferred← citeshttps://doi.org/10.48550/arxiv.1708.05904openalex-snapshot
Abstract Interpretation of Stateful Networks
inferred← citeshttps://doi.org/10.48550/arxiv.1812.03975openalex-snapshot
Scaling-Up In-Memory Datalog Processing: Observations and Techniques
inferred← citeshttps://doi.org/10.48550/arxiv.2009.08361openalex-snapshot
Formulog: Datalog for SMT-Based Static Analysis (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2106.10946openalex-snapshot
Defeasible Reasoning via Datalog$^\neg$
inferred← citeshttps://doi.org/10.5555/2755753.2755837openalex-snapshot
Soft-error reliability and power co-optimization for GPGPUS register file using resistive memory
inferred← citeshttps://doi.org/10.6028/nist.ir.8151openalex-snapshot
Dramatically reducing software vulnerabilities: Report to the White House Office of Science and Technology Policy
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.