Keyphrases
Symbolic Execution
94%
Linearizability
92%
Static Analysis
83%
Shape Analysis
77%
Abstract Interpretation
73%
Transactional Memory
64%
Inter-procedural
45%
Algorithm Analysis
44%
Free Program
42%
Hypothetical Reasoning
38%
Object Store
38%
Correctness Condition
38%
Concurrency
33%
Concurrent Objects
32%
Observational Refinement
32%
Data Race
29%
Program Analysis
28%
Modularity
28%
Programming Languages
26%
Complexity Bounds
25%
Space Synchronization
25%
Automated Search
25%
Certifying Algorithms
25%
Fine-grained Algorithm
25%
Sweep Algorithm
25%
Serializability
25%
Sequential Consistency
25%
Privatization
25%
Sweeping
25%
Memory Consistency Models
25%
Autonomous Exploration
25%
Smart Contract
25%
Normal Strength Concrete
25%
Imperative Programs
25%
Semantic Object
25%
Squeezers
25%
Garbage Collector
25%
Property-directed Reachability
25%
Universal Invariants
25%
Time Algorithm
25%
Runtime Complexity
25%
Search Methods
25%
Compile Time
25%
Semi-automated
25%
Mutator
25%
Automatic Verification
24%
Granularity
22%
Programmer
22%
Traversal
21%
Program State
21%
Computer Science
Static Program Analysis
100%
Symbolic Execution
86%
Invariant
83%
Shape Analysis
77%
Abstract Interpretation
73%
Data Structure
68%
Transactional Memory
64%
Concurrency
44%
Hypothetical Reasoning
38%
Local Procedure
30%
Input/Output
30%
Granularity
30%
Program State
29%
Loop Iteration
29%
Control Unit
29%
Security Infrastructure
29%
Security Model
29%
Large Scale Data
26%
Interprocedural Analysis
26%
Programming Language
26%
Building-Blocks
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%
Search Procedure
25%
Semantic Object
25%
Network Security
25%
Runtime Complexity
25%
Concurrent Program
25%
Program Analysis
23%
Approximation (Algorithm)
22%
Execution Trace
19%
Case Study
18%
Consistency Condition
18%
Apache Spark
16%
Software Systems
16%
Pointer Analysis
15%
Reasoning about Programs
15%
Fundamental Problem
15%
Procedure Call
15%
Annotation
14%
Concurrent Language
14%