Juan Chen

Title: Innovations by Inventor Juan Chen

Introduction

Juan Chen is a notable inventor based in Sammamish, WA (US). He has made significant contributions to the field of technology, particularly in compiler design and security verification. With a total of 6 patents to his name, Chen's work has had a profound impact on software development and security.

Latest Patents

One of Juan Chen's latest patents is titled "Type-preserving compiler for security verification." This invention describes a source program code language that facilitates the association of security proofs obtained from a solver, such as a Z3 theorem prover, with the program code. The code may include affine types, dependent types, and/or refinement types. A derefinement procedure replaces each refinement type with a dependent pair type corresponding to the proof. A target code type checker verifies the target code with respect to the security policies. If verified as complying with security policy, a verified program corresponding to the translated program may then be installed and run.

Another significant patent is "Typed intermediate language support for existing compilers." This technology generates a compiler's intermediate representation in a way that includes type checking to ensure safe execution. The typed representation of virtual method invocation uses an exact class name to represent objects of the class but not those of the subclasses. It also provides a combined class type as an encoding of an existential type to represent objects of the class and subclasses of the class. The medium-level intermediate representation is translated into a low-level intermediate representation, including choosing data representation for types and converting medium-level intermediate representation operators into instructions in the low-level representation.

Career Highlights

Juan Chen is currently employed at Microsoft Technology Licensing, LLC, where he continues to innovate and develop new technologies. His work focuses on enhancing compiler design and improving software security, making him a valuable asset to his organization.

Collaborations

Throughout his career, Juan has collaborated with talented individuals such as Chris Hawblitzel and Ravi Kumar Chugh. These collaborations have contributed to the advancement of his projects and the successful development of his patents.

Conclusion

Juan Chen is a distinguished inventor whose work in compiler design and security verification has led to significant advancements in technology. His contributions continue to shape the future of software development and security practices.