Varot Premtoon

Latest

• Semantic Code Search via Equational Reasoning
• Multi-Language Code Search
• One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax