diff --git a/Jenkinsfiles/Linux b/Jenkinsfiles/Linux
index e1a14520..26c67bea 100644
--- a/Jenkinsfiles/Linux
+++ b/Jenkinsfiles/Linux
@@ -79,6 +79,15 @@ pipeline {
                                 make test N_RUNS=1 ENOUGH=100
                             '''
                         }
+                        timeout(time: 10, unit: 'MINUTES') {
+                            sh '''
+                                cd LibOS/shim/test/apps/redis
+                                make USE_SELECT=1
+                                make start-graphene-server &
+                                sleep 1
+                                ./src/src/redis-benchmark
+                            '''
+                        }
                         sh '''
                             cd LibOS/shim/test/apps/lighttpd
                             make
@@ -120,6 +129,7 @@ pipeline {
                            make -C LibOS/shim/test/apps/curl clean
                            make -C LibOS/shim/test/apps/gcc clean
                            make -C LibOS/shim/test/apps/lmbench distclean
+                           make -C LibOS/shim/test/apps/redis distclean
                            make -C LibOS/shim/test/apps/lighttpd distclean
                            make -C LibOS/shim/test/apps/nginx distclean
                            make -C LibOS/shim/test/apps/apache distclean
diff --git a/Jenkinsfiles/Linux-18.04 b/Jenkinsfiles/Linux-18.04
index a4bd1542..9c74b1c7 100644
--- a/Jenkinsfiles/Linux-18.04
+++ b/Jenkinsfiles/Linux-18.04
@@ -78,6 +78,15 @@ pipeline {
                                 make test N_RUNS=1 ENOUGH=100
                             '''
                         }
+                        timeout(time: 10, unit: 'MINUTES') {
+                            sh '''
+                                cd LibOS/shim/test/apps/redis
+                                make
+                                make start-graphene-server &
+                                sleep 1
+                                ./src/src/redis-benchmark
+                            '''
+                        }
                         sh '''
                             cd LibOS/shim/test/apps/lighttpd
                             make
diff --git a/Jenkinsfiles/Linux-Debug b/Jenkinsfiles/Linux-Debug
index a3e75920..912201ed 100644
--- a/Jenkinsfiles/Linux-Debug
+++ b/Jenkinsfiles/Linux-Debug
@@ -77,6 +77,15 @@ pipeline {
                                 make test N_RUNS=1 ENOUGH=100
                             '''
                         }
+                        timeout(time: 10, unit: 'MINUTES') {
+                            sh '''
+                                cd LibOS/shim/test/apps/redis
+                                make USE_SELECT=1
+                                make start-graphene-server &
+                                sleep 1
+                                ./src/src/redis-benchmark
+                            '''
+                        }
                         sh '''
                             cd LibOS/shim/test/apps/lighttpd
                             make
@@ -116,6 +125,7 @@ pipeline {
                            make -C LibOS/shim/test/apps/curl clean
                            make -C LibOS/shim/test/apps/gcc clean
                            make -C LibOS/shim/test/apps/lmbench distclean
+                           make -C LibOS/shim/test/apps/redis distclean
                            make -C LibOS/shim/test/apps/lighttpd distclean
                            make -C LibOS/shim/test/apps/nginx distclean
                            make -C LibOS/shim/test/apps/apache distclean
diff --git a/Jenkinsfiles/Linux-Debug-18.04 b/Jenkinsfiles/Linux-Debug-18.04
index be7c15a7..3c354c0f 100644
--- a/Jenkinsfiles/Linux-Debug-18.04
+++ b/Jenkinsfiles/Linux-Debug-18.04
@@ -75,6 +75,15 @@ pipeline {
                                 make test N_RUNS=1 ENOUGH=100
                             '''
                         }
+                        timeout(time: 10, unit: 'MINUTES') {
+                            sh '''
+                                cd LibOS/shim/test/apps/redis
+                                make
+                                make start-graphene-server &
+                                sleep 1
+                                ./src/src/redis-benchmark
+                            '''
+                        }
                         sh '''
                             cd LibOS/shim/test/apps/lighttpd
                             make
diff --git a/Jenkinsfiles/Linux-SGX-18.04-apps b/Jenkinsfiles/Linux-SGX-18.04-apps
index 1bd9982b..7baa2fbf 100644
--- a/Jenkinsfiles/Linux-SGX-18.04-apps
+++ b/Jenkinsfiles/Linux-SGX-18.04-apps
@@ -82,6 +82,15 @@ pipeline {
                                 make SGX=1 test N_RUNS=1 ENOUGH=100
                             '''
                         }
+                        timeout(time: 15, unit: 'MINUTES') {
+                            sh '''
+                                cd LibOS/shim/test/apps/redis
+                                make SGX=1
+                                make SGX=1 start-graphene-server &
+                                sleep 30
+                                ./src/src/redis-benchmark
+                            '''
+                        }
                         sh '''
                             cd LibOS/shim/test/apps/lighttpd
                             make SGX=1
diff --git a/Jenkinsfiles/Linux-SGX-apps b/Jenkinsfiles/Linux-SGX-apps
index 3aa28baa..c25c4135 100644
--- a/Jenkinsfiles/Linux-SGX-apps
+++ b/Jenkinsfiles/Linux-SGX-apps
@@ -82,6 +82,15 @@ pipeline {
                                 make SGX=1 test N_RUNS=1 ENOUGH=100
                             '''
                         }
+                        timeout(time: 15, unit: 'MINUTES') {
+                            sh '''
+                                cd LibOS/shim/test/apps/redis
+                                make SGX=1 USE_SELECT=1
+                                make SGX=1 start-graphene-server &
+                                sleep 30
+                                ./src/src/redis-benchmark
+                            '''
+                        }
                         sh '''
                             cd LibOS/shim/test/apps/lighttpd
                             make SGX=1
@@ -117,6 +126,7 @@ pipeline {
                            make -C LibOS/shim/test/apps/curl SGX=1 clean
                            make -C LibOS/shim/test/apps/gcc SGX=1 clean
                            make -C LibOS/shim/test/apps/lmbench SGX=1 distclean
+                           make -C LibOS/shim/test/apps/redis SGX=1 distclean
                            make -C LibOS/shim/test/apps/lighttpd SGX=1 distclean
                            make -C LibOS/shim/test/apps/nginx SGX=1 distclean
                            make -C LibOS/shim/test/apps/apache SGX=1 distclean
diff --git a/LibOS/shim/test/apps b/LibOS/shim/test/apps
index 4f405312..dfb8e3ab 160000
--- a/LibOS/shim/test/apps
+++ b/LibOS/shim/test/apps
@@ -1 +1 @@
-Subproject commit 4f40531250d5a9e18ecf3148fc5804fd14e6b293
+Subproject commit dfb8e3abf10e9cdbb4c74647d288140b70abd983