I agree that this site is using cookies. You can find further informations here.
X
Marquer, Yoann
38  results:
Search for persons X
?
1

The TeamPlay Project: Analysing and Optimising Time, Energy..:

, In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Rouxel, Benjamin ; Brown, Christopher ; Ebeid, Emad... - p. 1-6 , 2023
Link: https://doi.org/10.23919..
 
?
2

Semi-automatic ladderisation: improving code security throu..:

, In: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,
Brown, Christopher ; Barwell, Adam D. ; Marquer, Yoann... - p. 14-27 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

A Hole in the Ladder : Interleaved Variables in Iterative C..:

, In: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH),
Marquer, Yoann ; Richmond, Tania - p. 56-63 , 2020
Link: https://doi.org/10.1109/..
 
?
4

Type-Driven Verification of Non-functional Properties:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,
Brown, Christopher ; Barwell, Adam D. ; Marquer, Yoann.. - p. 1-15 , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

Axiomatization and characterization of BSP algorithms:

Marquer, Yoann ; Gava, Frédéric
Journal of Logical and Algebraic Methods in Programming.  109 (2019)  - p. 100479 , 2019
Link: https://doi.org/10.1016/..
 
?
6

An Axiomatization for BSP Algorithms:

, In: Algorithms and Architectures for Parallel Processing; Lecture Notes in Computer Science,
Marquer, Yoann ; Gava, Frédéric - p. 72-88 , 2018
Link: https://doi.org/10.1007/..
 
?
7

Algorithmic Completeness for BSP Languages:

, In: 2018 International Conference on High Performance Computing & Simulation (HPCS),
Marquer, Yoann ; Gava, Frederic - p. 740-747 , 2018
Link: https://doi.org/10.1109/..
 
?
8

The TeamPlay Project: Analysing and Optimising Time, Energy..:

Rouxel, Benjamin ; Brown, Christopher ; Ebeid, Emad...
info:eu-repo/grantAgreement//779882/EU/Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms/Teamplay.  , 2023
Link: https://inria.hal.scienc..
 
?
9

The TeamPlay Project: Analysing and Optimising Time, Energy..:

Rouxel, Benjamin ; Brown, Christopher ; Ebeid, Emad...
http://arxiv.org/abs/2306.06115.  , 2023
Link: http://arxiv.org/abs/230..
 
?
10

The TeamPlay Project: Analysing and Optimising Time, Energy..:

Rouxel, Benjamin ; Brown, Christopher ; Ebeid, Emad...
hal-04108237.  , 2023
Link: https://inria.hal.scienc..
 
?
11

The TeamPlay Project: Analysing and Optimising Time, Energy..:

Rouxel, Benjamin ; Brown, Christopher ; Ebeid, Emad...
info:eu-repo/grantAgreement//779882/EU/Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms/Teamplay.  , 2023
Link: https://inria.hal.scienc..
 
?
12

Semi-automatic ladderisation:improving code security throug..:

Brown, Christopher ; Barwell, Adam David ; Marquer, Yoann...
Brown , C , Barwell , A D , Marquer , Y , Zendra , O , Richmond , T & Gu , C 2022 , Semi-automatic ladderisation : improving code security through rewriting and dependent types . in Z M Ariola & Y Cong (eds) , PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation . ACM , New York , POPL '22: The 49th Annual ACM SIGPLAN Symposioum on Principles of Programming Languages , Philadephia , Pennsylvania , United States , 17/01/22 . https://doi.org/10.1145/3498886.3502202.  , 2022
Link: https://risweb.st-andrew..
 
?
13

The Indiscernibility Methodology: quantifying information l..:

Marquer, Yoann ; Zendra, Olivier ; Heuser, Annelie
hal-03793085.  , 2022
Link: https://inria.hal.scienc..
 
?
14

Semi-automatic ladderisation: improving code security throu..:

Brown, Christopher ; Barwell, Adam ; Marquer, Yoann...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3498886.3502202.  , 2022
Link: https://inria.hal.scienc..
 
?
15

The Indiscernibility Methodology: quantifying information l..:

Marquer, Yoann ; Zendra, Olivier ; Heuser, Annelie
hal-03793085.  , 2022
Link: https://inria.hal.scienc..
 
1-15