Skip to content
Snippets Groups Projects
Commit c10757e8 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Filled Post-doc - Designing Compilation Techniques for Improving Efficiency of E-ACSL

parent 73ede1a0
No related branches found
No related tags found
No related merge requests found
Pipeline #42589 failed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md
+ 1
− 1
View file @ c10757e8
...@@ -4,7 +4,7 @@ title: Postdoc Position at CEA List - LSL ...@@ -4,7 +4,7 @@ title: Postdoc Position at CEA List - LSL
short_title: Postdoc Position short_title: Postdoc Position
short: Designing Compilation Techniques for Improving Efficiency of E-ACSL, a Runtime Assertion Checker for C Programs short: Designing Compilation Techniques for Improving Efficiency of E-ACSL, a Runtime Assertion Checker for C Programs
date: 05-08-2021 date: 05-08-2021
filled: false filled: true
keywords: runtime assertion checking, compilation, source code generation, static analysis keywords: runtime assertion checking, compilation, source code generation, static analysis
--- ---
......
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