NESA Framework A program-analysis framework that combines deterministic and uncertain evidence. Program Analysis for Cangjie A program-analysis framework combining logical and probabilistic reasoning for a domestic programming language. Derived Market Data Systems Engineering Engineering optimizations for a derived market data database in a trading system.