rainoftime

Implement abstract machines for defining and executing operational semantics of programming languages.

Implements alias and points-to analysis for pointer programs. Use for: (1) Optimizing compilers, (2) Verifying memory safety, (3) Program understanding, (4) Parallelization.

Define program meaning through logical assertions and proof rules (Hoare logic).

Transforms closures to explicit environments. Use when: (1) Implementing functional languages, (2) Building compilers, (3) Understanding closures.

Implements common subexpression elimination (CSE). Use when: (1) Building compilers, (2) Optimizing code, (3) Program analysis.

Implements general dataflow analysis framework. Use when: (1) Building compilers, (2) Static analysis tools, (3) Program verification.

Builds denotational semantic models. Use when: (1) Formalizing language semantics, (2) Proving program properties, (3) Semantic analysis.

Implements algebraic effect types. Use when: (1) Handling side effects, (2) Extensible effects, (3) Effect inference.

Professional CPU performance optimization skill covering 10 performance dimensions. This skill should be used when profiling, benchmarking, or optimizing code for CPU performance on x86, ARM, and RISC-V architectures. Supports C, C++, Rust, Go, and Python (via native extensions). Covers cache-friendly data structures, vectorization, loop optimizations, branchless programming, machine code layout (PGO/BOLT), multithreading tuning, and system-level optimizations (NUMA, huge pages). Includes TMA (Top-Down Microarchitecture Analysis) workflow and 10-dimension performance coverage matrix.