On-going projects

Context Relevant Inference

The near-term goal of this project is to get one paper
published. This paper thus consists of two parts, paper writing and
coding in ConceptGCC, which are closely related with each other. We
are supposed to run a bunch of experiments on our future prototype
compiler to verfiy if our ideas work for copy propagation, and
high-level term rewriting. The context relevant inference
establishes a foundation for this project.

Software

Emacs

To me, Emacs is a great software. Its extreme customizable ability
makes its own unique for each person. Presently, I am enjoying Emacs
to read emails and news (from Usenet), program in general-purpose
languages, such as Perl, java, Haskell, C++, and Lisp, and write some
scripts for PHP, HTML pages, bash, and Makefiles, and type papers in
LaTeX. Besides, I use Emacs to organize files (by virtue of org-mode)
and perform version controlling via git-emacs and PSVN. Below is a
list of lisp packages which you may be interested in: