Yao and Linux

It is surprise to me that Gmail can show sender's connections on linkedin.  It is funny...

Here is a list of patents, in which I am one of the inventors.
http://www.faqs.org/patents/inv/155131

twhirl is a very fancy twitter client, however it does not have proxy settings.  Most of the people setup twitter API proxy on google appengine, however I failed to request an ID of google appengine. :(

After googling, I found a simple way to use proxy, and twhirl works for me every well, except a little slow.

HTTP_PROXY=xxx.xxx HTTP_PORT=80 ~/twhirl/bin/twhirl

Recently, I google'ed some conferences about my work,

Automated Software Engineering Homepage http://www.ase-conferences.org/
International conference on Automated Software Engineering
http://soft.vub.ac.be/ase2010/program/workshops
International Symposium on Software Testing and Analysis http://selab.fbk.eu/issta2010/index.php
Internal conference on Software Engineering http://www.sbs.co.za/ICSE2010/
Workshop on Program Analysis for Software Tools and Engineering. http://cseweb.ucsd.edu/paste2010/program.html

Recently, we are writing paper for some conference.  In order to collaborate with other people, we choose Word as the editor, because it is easy to track changes and comments.  Finally, we decide to move to latex, some figures in Word should be 'ported' to latex.

Here is a process of port figures in Word to Latex easily,
1.  Print Word document to pdf file
2.  Convert PDF to PS.  In Linux, pdf2ps can do that,
3.  In tex file,

\begin{figure}
\includegraphics[trim = 0mm 110mm 0mm 60mm,width=3.5in,clip]{figure1.ps}
\caption{Implementation architecture}
\end{figure}

Then, the figure in Word is ported to latex.

By accident, I found MetaUML which can draw UML diagram in MetaPost way.  It is pretty cool...


It is simple and can be inserted in my latex paper easily.

First of all, my paper is NOT accepted in PLDI 2010.

I am excited to see that there are many Chinese authors in PLDI 2010, and one paper is from ICT.  I am proud of them.  I also find some paper is done by IBM research, proud of them also.

There are some paper interest to us,
Adversarial Memory For Detecting Destructive Races
Cormac Flanagan (University of California, Santa Cruz), Stephen N. Freund (Williams College)
Decoupled Lifeguards: Enabling Path Optimizations for Dynamic Correctness Checking Tools
Olatunji Ruwase (Carnegie Mellon University), Shimin Chen (Intel), Phillip Gibbons (Intel), Todd Mowry (Carnegie Mellon University)
Pacer: Proportional Detection of Data Races
Michael D. Bond (UT Austin), Katherine E. Coons (UT Austin), Kathryn S. McKinley (UT Austin)

You can see more paper in here