diff --git a/teaching/InferLab.md b/teaching/InferLab.md index db5afdf6ebd0bc17696c8b1ea1fcce6012ef7b8f..edb0c11fd37caa20668c4bed81a686f2a0fca296 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -35,11 +35,12 @@ a Post-Doc at Imperial College London.  -Peter, Jules and the Imperial team then showed students at the lab how to use Infer on real worl applications. During the tutorial, one of the students, -Lorenzo Paoliani, ran Infer on [ConnectBot](https://play.google.com/store/apps/details?id=org.connectbot&hl=en_GB), an SSH client for Android, and found several null dereference bugs. He reported this on github and submitted +Peter, Jules and the Imperial team then showed students at the lab how to use Infer on real worl applications. +During the tutorial, one of the students, +Lorenzo Paoliani, ran Infer on [ConnectBot](https://play.google.com/store/apps/details?id=org.connectbot&hl=en_GB), +an SSH client for Android, and found several null dereference bugs. He reported this on github and submitted a pull request for fixing this problem, which has been accepted and now merged. You can see Lorenzo’s [pull request here.](https://github.com/connectbot/connectbot/pull/448) -To follow the Infer team, check their [blog](http://fbinfer.com/blog/) or [Twitter](https://twitter.com/fbinfer) - -The Imperial team is \ No newline at end of file +To follow the Infer team, check their [blog](http://fbinfer.com/blog/) or [Twitter](https://twitter.com/fbinfer). +For more details on the Infer lab or the Separation Logic course, contact the Imperial team below. \ No newline at end of file