Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama-C Website
Commits
240cfc2e
Commit
240cfc2e
authored
Aug 06, 2021
by
Allan Blanchard
Browse files
[Jobs] Few typos
parent
cc53394c
Pipeline
#37109
passed with stages
in 4 minutes and 6 seconds
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md
View file @
240cfc2e
...
...
@@ -55,10 +55,10 @@ developed in our lab. [Frama-C](https://www.frama-c.com) itself is developed in
More precisely, the following contributions are expected:
-
designing a CFI-based technique for remote attestation;
-
implementing this technique as a new
\f
ramac
plug-in
-
evaluating the implemented technique on concrete examples
-
implementing this technique as a new
[
Frama-C
](
https://www.frama-c.com
)
plug-in
;
-
evaluating the implemented technique on concrete examples
;
-
design one or several new intermediate representations that would make these
developments easier
developments easier
;
-
(optionally:) designing and implementing optimization strategies to reduce the
time overhead.
...
...
_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md
View file @
240cfc2e
...
...
@@ -56,14 +56,14 @@ improved in many ways in order to extend its expressivity and to reduce its
memory and time overheads. To reach this goal, (s)he shall make several
contributions, for example regarding some of the following objectives:
-
improv
ing
the current compilation scheme to reduce the memory footprint of the
-
improv
e
the current compilation scheme to reduce the memory footprint of the
generated code;
-
design
ing
new compilation techniques and/or adapt existing ones in order to
-
design new compilation techniques and/or adapt existing ones in order to
optimize the efficiency of the generated code;
-
design
ing
novel dedicated fast static analyses to minimize the generated code;
-
design
ing
one or several new intermediate representations that would make
these developments easier
-
evaluat
ing
the benefits of these improvements on concrete benchmarks and/or
-
design novel dedicated fast static analyses to minimize the generated code;
-
design one or several new intermediate representations that would make
these developments easier
;
-
evaluat
e
the benefits of these improvements on concrete benchmarks and/or
use cases.
#### Qualifications
...
...
_jobs/2021-08-05-outline-runtime-assertion-checking.md
View file @
240cfc2e
...
...
@@ -71,7 +71,7 @@ to be monitored. The expected contributions are:
-
evaluating the new outline runtime assertion checker on representative
benchmarks and/or use cases;
-
(optionally:) designing and implementing optimization strategies to reduce the
time and/or memory overheads
time and/or memory overheads
.
#### Qualifications
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment