From de4d7297c0f4a87b82282bc10ad874fae69aec00 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 4 Nov 2019 16:28:57 +0000 Subject: [PATCH] Add new file --- _posts/2018-11-7-facebook.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 _posts/2018-11-7-facebook.md diff --git a/_posts/2018-11-7-facebook.md b/_posts/2018-11-7-facebook.md new file mode 100644 index 0000000..9246496 --- /dev/null +++ b/_posts/2018-11-7-facebook.md @@ -0,0 +1,15 @@ +--- +title: Facebook Continuous Reasoning research award for JaVerT 2.0. +--- + +Philippa Gardner, Jose Fragoso Santos and Petar Maksimovic have won a [Facebook +Continuous Reasoning research award](https://research.fb.com/announcing-the-winners-of-the-facebook-continuous-reasoning-research-awards/) +for their project JaVerT 2.0: Automatic Compositional Analysis for JavaScript. + +[JaVerT 2.0](https://www.doc.ic.ac.uk/~pg/publications/FragosoSantos2019JaVerT.pdf) +is a separation-logic-based tool for JavaScript analysis and testing that follows +the language semantics without simplifications. It supports whole-program symbolic +testing, verification, and automatic compositional testing based on bi-abduction. +The award, one of five awarded on the call, was open to research teams working on +[applying formal methods using continuous reasoning and in particular, those addressing +fundamental problems for mostly-automatic or interactive verifiers.](https://research.fb.com/programs/research-awards/proposals/continuous-reasoning-research-award/) \ No newline at end of file -- GitLab