Inebriation at Riverwalk of San Antonio (photo credit: Xiheng)

Short bio

Yue is a Ph. D student under the guidance of Dr. Gabriel Dos Reis at Programming Language Group(leaded by Dr. Bjarne Stroustrup),  Parasol Lab at Dept. of Computer Science & Engineering, Texas A&M University.

Before joining TAMU, Yue obtained his BEng. degree in Information Security at School of Computer Science & Technology, Huazhong University of Science & Technology, when he also took a research assistant position at the Quantum Information Technology Group (QITG), adjuncting with Dept. of Electronics & Information Engineering, HUST.

Brief research

My general field of research is in programming languages, compilers, I am also interested in quantum cryptography due to my undergraduate research experience (2006-2008).

Currently, I've got the following main interests: 

  • Programming languages, compilers and static analysis
  • Symbolic computation (The OpenAxiom project)
  • Wavelets and surface reconstruction
  • Practical quantum key distribution systems

.**Research is for fun, and the list may be flexible and updated frequently. 

What's new 


  • 04/09: I attended the 2nd MEPLS held in UT-Austin, Texas
  • This page has been duplicated to http://students.cs.tamu.edu/yli
  • I'm now living in Bryan, Texas, a small city next to the city of College Station, where my office is located.

How influential is the programming language research

``One manifestation of the intense intellectual activity in compilers is that the main conferences in the area, including the ACM Symposium on Programming Language Design and Implementation (PLDI), ACM Symposium on Principles of Programming Languages (POPL), ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), and ACM Conference on Object-Oriented Programming Systems,  Languages and Applications (OOPSLA), are among the most influential, respected, and selective in computer science.a Another indication of the field’s influence is that the phrases “programming languages” and “compilers” occur in the citations of no less than seven Turing award winners, including Peter Naur in 2005 and Fran Allen in 2006."

                    -- M. Hall, et al., Compiler Research: the next 50 years