diff --git a/README.md b/README.md
index 89787dc..fab8070 100644
--- a/README.md
+++ b/README.md
@@ -8,16 +8,17 @@ Earthquake is a dynamic model checker (DMCK) for real implementations of distrib
[http://osrg.github.io/earthquake/](http://osrg.github.io/earthquake/)
Earthquakes permutes C/Java function calls, Ethernet packets, and injected fault events in various orders so as to find implementation-level bugs of the distributed system.
-When Earthquake finds a bug, Earthquake automatically records [the event history](example/zk-found-bug.ryu_pyeq/example-output/3.REPRODUCED/json) and helps you to analyze which permutation of events triggers the bug.
+When Earthquake finds a bug, Earthquake automatically records [the event history](example/zk-found-2212.ryu) and helps you to analyze which permutation of events triggers the bug.
Basically, Earthquake permutes events in a random order, but you can write your [own state exploration policy](doc/arch.md) (in Go or Python) for finding deep bugs efficiently.
## News
-We have successfully found a distributed race condition bug of ZooKeeper using Earthquake.
+ * Earthquake will be presented at the poster session of [ACM Symposium on Cloud Computing (SoCC)](http://acmsocc.github.io/2015/). (August 27-29, 2015, Hawaii)
+ * We have successfully found a distributed race condition bug of ZooKeeper using Earthquake.
Please refer to [example/zk-found-2212.ryu](example/zk-found-2212.ryu) for further information.
## Quick Start
-NOTE: [v0.1](https://github.com/osrg/earthquake/releases/tag/v0.1) might be stabler than the master branch.
+NOTE: [v0.1.1](https://github.com/osrg/earthquake/releases/tag/v0.1.1) might be stabler than the master branch.
* How to set up the environment: [doc/how-to-setup-env.md](doc/how-to-setup-env.md)
* Example: Finding a distributed race condition bug of ZooKeeper([ZOOKEEPER-2212](https://issues.apache.org/jira/browse/ZOOKEEPER-2212)): [example/zk-found-2212.ryu](example/zk-found-2212.ryu)
diff --git a/inspector/java/base/pom.xml b/inspector/java/base/pom.xml
index 466fb10..dd78b7a 100644
--- a/inspector/java/base/pom.xml
+++ b/inspector/java/base/pom.xml
@@ -4,7 +4,7 @@
net.osrg
earthquake
- 0.0.1
+ 0.1.1
jar
Earthquake Inspector (Java)
diff --git a/libearthquake/main.go b/libearthquake/main.go
index d0720e1..9733972 100644
--- a/libearthquake/main.go
+++ b/libearthquake/main.go
@@ -23,7 +23,7 @@ import (
)
func main() {
- c := cli.NewCLI("earthquake", "0.0.0")
+ c := cli.NewCLI("earthquake", "0.1.1")
c.Args = os.Args[1:]
c.Commands = map[string]cli.CommandFactory{
"tools": toolsCommandFactory,