Skip to content
Snippets Groups Projects
Commit fdb9ca5a authored by pmaksimo's avatar pmaksimo
Browse files

utter nonsense

parent d82792af
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2020-06-16-advert.md
+ 3
− 4
View file @ fdb9ca5a
...@@ -25,8 +25,7 @@ who fund part of the group's research. ...@@ -25,8 +25,7 @@ who fund part of the group's research.
Several potential projects are listed below, focussing on Several potential projects are listed below, focussing on
symbolic analysis, concurrency and distribution. symbolic analysis, concurrency and distribution.
#### Gillian: a multi-language platform for compositional symbolic ### Gillian: a multi-language platform for compositional symbolic analysis
analysis
The Verified Software Group has recently introduced The Verified Software Group has recently introduced
[Gillian](https://vtss.doc.ic.ac.uk/research/gillian.html) (PLDI'20), [Gillian](https://vtss.doc.ic.ac.uk/research/gillian.html) (PLDI'20),
...@@ -41,7 +40,7 @@ There are many possible projects. We would especially like to recruit ...@@ -41,7 +40,7 @@ There are many possible projects. We would especially like to recruit
someone interested in extending Gillian with concurrency or someone interested in extending Gillian with concurrency or
underpinning Gillian with Coq-certification. underpinning Gillian with Coq-certification.
#### Concurrency ### Concurrency
The Verified Software Group has worked on compositional reasoning about concurrent The Verified Software Group has worked on compositional reasoning about concurrent
programs, introducing fundamental techniques underpinning modern programs, introducing fundamental techniques underpinning modern
...@@ -56,7 +55,7 @@ fundamental theory; applying the work to real-world libraries; ...@@ -56,7 +55,7 @@ fundamental theory; applying the work to real-world libraries;
developing prototype analysis tools; or moving to the Coq-focused Iris developing prototype analysis tools; or moving to the Coq-focused Iris
project, which uses much of our foundational theory. project, which uses much of our foundational theory.
#### Distribution. ### Distribution
The Verified Software Group recently began to work on weak consistency models for The Verified Software Group recently began to work on weak consistency models for
distribution, developing an interleaving operational semantics for distribution, developing an interleaving operational semantics for
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment