Mathematics
Separation Logic
73%
Compiler
46%
Semantics
35%
Language
32%
Operational Semantics
31%
Higher-order Logic
29%
Correctness
27%
Logic
27%
Concurrent
20%
Logic Programs
18%
Garbage Collection
18%
Specification
17%
Reasoning
17%
Safety
16%
Shared Memory
13%
Soundness
11%
Sound
11%
Software
10%
Abstraction
10%
Framework
10%
Verify
10%
Symbolic Execution
10%
Benchmark
9%
Floating point
9%
Programming Languages
9%
Style
8%
Type Systems
8%
Operating Systems
8%
Data Structures
8%
Demonstrate
8%
Standards
8%
Compilation
8%
Multi-modal Logic
7%
Reverse Engineering
7%
Debugging
7%
Minor
7%
Libraries
7%
Context
7%
Flow Control
7%
Infrastructure
7%
Concurrency
7%
Axiom
6%
Shape Analysis
6%
Syntax
6%
Prolog
6%
Model
6%
Predicate
6%
Certificate
6%
Parallelization
6%
Cell
6%
Interaction
5%
Concatenation
5%
Encoding
5%
Heap
5%
Hardware
5%
Fragment
5%
Architecture
5%
Lemma
5%
Software pipelining
5%
Continuation
5%
Oracle
5%
Engineering & Materials Science
Semantics
100%
Data storage equipment
70%
Computer programming languages
34%
Data structures
33%
Specifications
25%
Computer hardware
20%
Computer operating systems
20%
Voting machines
17%
Copying
16%
Coloring
15%
Theorem proving
13%
Virtual machine
11%
Trusted computing
11%
Functional programming
11%
Network security
10%
Managers
10%
Access control
9%
Binders
9%
Algebra
8%
Security of data
7%
Costs
7%
Substitution reactions
7%
Electronic voting
7%
Acoustic waves
7%
Authentication
6%
Hazardous materials spills
6%
Formal methods
6%
Servers
6%
Web browsers
5%
Flow control
5%
Reverse engineering
5%
Digital circuits
5%
Memory management units
5%
Chemical activation
5%
Program assemblers
5%
Ecosystems
5%
Pipelines
5%
