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