Compare revisions

f3f745d5 · f3f745d5 · f3f745d5 · f3f745d5 · f3f745d5 · f3f745d5
--- a/images/posts/Derek-Dreyer-talk-at-Invest-2017-2.jpg
+++ b/images/posts/Derek-Dreyer-talk-at-Invest-2017-2.jpg
--- a/images/posts/Derek-Dreyer-talk-at-Invest-2017-4.jpg
+++ b/images/posts/Derek-Dreyer-talk-at-Invest-2017-4.jpg
--- a/images/posts/Derek-Dreyer-talk-at-Invest-2017.jpg
+++ b/images/posts/Derek-Dreyer-talk-at-Invest-2017.jpg
--- a/images/posts/Gardner-2017-03-28.jpg
+++ b/images/posts/Gardner-2017-03-28.jpg
--- a/images/posts/Gillian_Lab.jpg
+++ b/images/posts/Gillian_Lab.jpg
--- a/images/posts/Infer-lab-1.jpg
+++ b/images/posts/Infer-lab-1.jpg
--- a/images/posts/Lorentz.jpg
+++ b/images/posts/Lorentz.jpg
--- a/images/posts/Verified-Software-Workshop.jpg
+++ b/images/posts/Verified-Software-Workshop.jpg
--- a/images/posts/Welcome-to-FMATS5-768x488.png
+++ b/images/posts/Welcome-to-FMATS5-768x488.png
--- a/images/posts/fsen-17.jpg
+++ b/images/posts/fsen-17.jpg
--- a/images/posts/sscs-conference-video-shot.png
+++ b/images/posts/sscs-conference-video-shot.png
--- a/images/shale.jpg
+++ b/images/shale.jpg
--- a/index.md
+++ b/index.md
--- a/news.html
+++ b/news.html
--- a/people.html
+++ b/people.html
--- a/publications @ 2b4da902
+++ b/publications @ 2b4da902
--- a/publications.bib
+++ b/publications.bib
--- a/publications.html
+++ b/publications.html
--- a/publications/README.md
+++ b/publications/README.md
--- a/research/concurrency.md
+++ b/research/concurrency.md
No results found