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.

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

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

Labels: research, verification
Got an error on IBM Jre,
Thread "main" java/lang/IllegalAccessError at Lock$Sync.get(Lock.java:4294967295)
However, I still don't know what is wrong in my instrumented code. Then, I switch to Sun Jre,
Error occurred during initialization of VM
java.lang.IllegalAccessError: tried to access field IdImpl.ID from class Lock$Sync
at Lock$Sync.get(Lock.java)
This error message is very clear, and easy to understand. This error is cause by a copy/paste.
Thread "main" java/lang/IllegalAccessError at Lock$Sync.get(Lock.java:4294967295)
However, I still don't know what is wrong in my instrumented code. Then, I switch to Sun Jre,
Error occurred during initialization of VM
java.lang.IllegalAccessError: tried to access field IdImpl.ID from class Lock$Sync
at Lock$Sync.get(Lock.java)
This error message is very clear, and easy to understand. This error is cause by a copy/paste.
Labels: instrumentation, verification
I write an ant script to update jar file, and it works well on Linux. However, when I run that on Windows machine, I got a strange error "unable to rename old file".
My script is like this,
<jar destfile="foo.jar" basedir="${dest.dir}" includes="Provider.class" update="true"/>
<move file="foo.jar" tofile="bar.jar"/>
In this snip, I want to update foo.jar with Provider.class, and rename it to bar.jar.
After some search, I fix this problem in this way...
<jar destfile="bar.jar">
<fileset dir="${dest.dir}" includes="Provider.class" />
<zipfileset src="foo.jar"/>
</jar>
Technorati Tags: ant
My script is like this,
<jar destfile="foo.jar" basedir="${dest.dir}" includes="Provider.class" update="true"/>
<move file="foo.jar" tofile="bar.jar"/>
In this snip, I want to update foo.jar with Provider.class, and rename it to bar.jar.
After some search, I fix this problem in this way...
<jar destfile="bar.jar">
<fileset dir="${dest.dir}" includes="Provider.class" />
<zipfileset src="foo.jar"/>
</jar>
Technorati Tags: ant
It is always difficult for me to remember so many system password. I got such error messages when attempt to login to an AIX for 4 times,
3004-303 There have been too many unsuccessful login attempts; please see the system administrator
After some googling, I found it is a question frequently asked question. Many other people can't remember password either, :)
Type the command below in shell as root,
root@aix:/ # /usr/sbin/lsuser -a unsuccessful_login_count <username>
username unsuccessful_login_count=4

3004-303 There have been too many unsuccessful login attempts; please see the system administrator
After some googling, I found it is a question frequently asked question. Many other people can't remember password either, :)
Type the command below in shell as root,
root@aix:/ # /usr/sbin/lsuser -a unsuccessful_login_count <username>
username unsuccessful_login_count=4
Then reset the counter with chsec
root@aix:/ # /usr/bin/chsec -f /etc/security/lastlog -a unsuccessful_login_count=0 -s <username>
Technorati Tags: aix
Labels: aix
After Fighting with "Windows Live Writer" nearly two days, I migrate to ScribeFire. It is pretty cool.


Labels: linux
SWTBot is a very good toolkit for SWT GUI testing, and we use it for some times. However, one trouble we encounter is about running SWTBot test cases by ant. Always got different kinds of errors.
One tip is remove org.junit_3.* from plugins folder of eclipse, so that force eclipse to launch test cases by Junit4.
Subscribe to:
Posts (Atom)