Daya Guo

Title: Daya Guo: Innovator in Code Generation Technologies

Introduction

Daya Guo is a prominent inventor based in Zhuhai, China. He has made significant contributions to the field of code generation and completion technologies. With a total of 3 patents to his name, Guo is recognized for his innovative approaches to enhancing programming efficiency.

Latest Patents

One of Guo's latest patents is titled "Code generation with reinforcement learning." This patent describes a code generation system that employs a non-terminal expansion model and a non-terminal selector model. These models work together to generate a code sketch that completes a partially-formed source code snippet. The non-terminal expansion model is a neural transformer model trained on a supervised dataset through reinforcement learning. It learns to predict the production rule necessary to expand a given non-terminal symbol. The non-terminal selector model, also trained through reinforcement learning, predicts which non-terminal symbol to expand based on a partial-code state. The two models are utilized in a two-step beam search to generate the top candidate code sketches, which may include holes representing unexpanded non-terminal symbols.

Another notable patent is "Code completion with holes." This patent outlines a code completion tool that uses a neural transformer model with attention mechanisms. The tool generates syntactically-correct candidates with holes to complete a partially-formed code snippet. The model is trained to predict the expansion of non-terminal symbols according to the production rules of the underlying grammar of the code snippet. The holes indicate positions where the code completion engine is uncertain about the production rule to use for expanding the non-terminal symbol. This feature allows the code completion engine to expand other non-terminal symbols in a candidate while enabling users to guide the expansion of the holes.

Career Highlights

Daya Guo is currently employed at Microsoft Technology Licensing, LLC, where he continues to develop innovative solutions in the realm of software engineering. His work focuses on improving the efficiency and accuracy of code generation and completion processes.

Collaborations

Guo collaborates with notable colleagues, including Miltiadis Allamanis and Neelakantan Sundaresan. Their combined expertise contributes to the advancement of technologies that streamline programming tasks.

Conclusion

Daya Guo's contributions to code generation and completion technologies highlight his role as an influential inventor in the tech industry. His innovative patents reflect a commitment to enhancing programming efficiency