Skip to main navigation
Skip to search
Skip to main content
Sort by
Computer Science
Static Program Analysis
100%
Symbolic Execution
98%
Correctness
85%
Shape Analysis
77%
Abstract Interpretation
73%
Invariant
70%
Data Structure
68%
Transactional Memory
64%
Concurrency
44%
Hypothetical Reasoning
38%
Proof
35%
Input/Output
30%
Granularity
30%
Loop Iteration
29%
Control Unit
29%
Security Infrastructure
29%
Security Model
29%
Program Analysis
27%
Large Scale Data
26%
Interprocedural Analysis
26%
Programming Language
26%
Building-Blocks
25%
Search Procedure
25%
Locking Protocol
25%
Sequential Consistency
25%
Called Procedure
25%
Memory Consistency
25%
Smart Contract
25%
Client Program
25%
Access Security
25%
Layered Security
25%
security level
25%
Object Storage
25%
Software Prototype
25%
Semantic Object
25%
Network Security
25%
Runtime Complexity
25%
Concurrent Program
25%
Class Hierarchy
25%
Synchronism
24%
Program State
22%
Approximation (Algorithm)
22%
Pointer Analysis
20%
Execution Trace
19%
Case Study
18%
Consistency Condition
18%
Fundamental Problem
17%
Memory Model
17%
Apache Spark
16%
Software Systems
16%
Keyphrases
Shape Analysis
77%
Linearizability
67%
Symbolic Execution
60%
Inter-procedural
45%
Free Program
40%
Transactional Memory
38%
Abstract Interpretation
38%
Race-free
37%
Static Analysis
33%
Correctness Condition
33%
Concurrent Objects
29%
Observational Refinement
28%
Hypothetical Reasoning
25%
Object Store
25%
Complexity Bounds
25%
Sequential Consistency
25%
Squeezers
25%
Runtime Complexity
25%
Class Hierarchy
25%
Statistical Reconstruction
25%
Semantic Objects
25%
Fine-grained Algorithms
25%
Algorithm Analysis
23%
Program State
21%
Loop Iteration
20%
Concurrency
19%
Java Program
19%
Verification Method
19%
Concurrent Data Structures
18%
Data Race
17%
C ++
17%
Concurrent Algorithms
17%
Memory Models
17%
Local Reasoning
17%
Heap-manipulating Programs
17%
Granularity
16%
Existing Algorithms
16%
Apache Spark
16%
Popular
16%
Concurrent Programs
16%
Pointer Analysis
15%
Safety Properties
15%
Caching
15%
Transformer
15%
Relational Analysis
14%
Interprocedural Analysis
13%
Recursive Programs
13%
Programming Languages
13%
Challenging Problems
13%
Privatization
12%