diff --git a/.gitignore b/.gitignore
index 45c150536e5f3888554c294f27539c5d41072467..d3e84cb4c40dfcbdd8b1405e6d38255e6186c28b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
 _site
 .sass-cache
 .jekyll-metadata
+vendor
+.bundle/config
diff --git a/_config.yml b/_config.yml
index 1137ab46879e1eda2c5ffadcb2cf820d440544cc..fa76d003e693d8c76e79ab855aa88d31e3293b55 100644
--- a/_config.yml
+++ b/_config.yml
@@ -14,6 +14,7 @@ exclude:
   - Rakefile
   - .gitlab-ci.yml
   - README.md
+  - vendor
 
 collections:
   people:
diff --git a/index.md b/index.md
index 6bf37497e494b7e262b4c2f6f3c347c597a70a24..699452a3df2459a32ab54c24d569a9188b2be882 100644
--- a/index.md
+++ b/index.md
@@ -11,7 +11,8 @@ We have to take shared state that is being changed by multiple threads into acco
 
 Our research agenda is to develop formal reasoning methods about concurrency with a focus on concurrent program logics.
 Recently, there have been various logics based on separation logic to verify functional correctness of fine-grained concurrent programs.
-We have played a significant role introducing Concurrent Abstract Predicates, the Views framework, TaDA, CoLoSL, Fault-tolerant Concurrent Separation Logic and Total-TaDA.
+We have played a significant role introducing {% cite_details Dinsdale-Young2010Concurrent --text Concurrent Abstract Predicates %}, the {% cite_details Dinsdale-Young2013Views --text Views framework %}, {% cite_details RochaPinto2014TaDA --text TaDA %}, {% cite_details Raad2015CoLoSL --text CoLoSL %}, {% cite_details Ntzik2015Fault --text Fault-tolerant Concurrent Separation Logic %} and {% cite_details RochaPinto2016Modular --text Total-TaDA %}.
 These logics have tackled a range of problems, ranging data abstraction, atomicity abstraction, fault-tolerance, terminal, as well as introducing more modular and compositional ways to reason about concurrent programs.
 We have applied these logics to verify large problems, such as data structures used in databases and java.util.concurrent, as well as specifying file systems.
+
 We aim to continue improving the state-of-the-art with a focus on progress properties, specifying concurrency in POSIX filesystems, continuing improving our logics to tackle more advanced algorithms, and develop automated reasoning tools based on these logics.