Python probabilistic type inference with natural language support
Merlin: specification inference for explicit information flow problems