Kangjing Huang

Kangjing Huang is a researcher at Purdue University specializing in programming languages and software engineering. Their work bridges theoretical foundations with practical tool development in program synthesis.

Research focuses on program synthesis methodologies, particularly reconciling enumerative and deductive approaches. Key contributions include:

• Developing library-based synthesis techniques for practical code generation
• Creating frameworks for efficient search space navigation
• Integrating formal verification with synthesis pipelines

Publication trends show consistent advancement in automated programming systems from 2020-2022, with growing emphasis on real-world applicability through library integration. Awards and teaching activities are not documented in available sources.

Huang actively contributes to the programming languages research ecosystem through publications at premier venues including PLDI and SAS, with work centered on making program synthesis more scalable and practical for developer workflows.