Guillaume Salagnac
Maître de Conférences au Département Informatique de l'INSA Lyon, et membre de l'équipe Phénix du laboratoire CITI.
Contact
Guillaume Salagnac
CITI - Bâtiment Claude Chappe
6 avenue des Arts 69621 Villeurbanne Cedex - FRANCE
CITI - Bâtiment Claude Chappe
6 avenue des Arts 69621 Villeurbanne Cedex - FRANCE
Téléphone: 04 72 43 64 13
Télécopie: 04 72 43 62 27
Mél: Guillaume.Salagnac@insa-lyon.fr
Enseignement
- 3IF: Systèmes d'exploitation: Cours, TD, TP
- 3IFA: Systèmes d'exploitation: Cours, TD, TP
- 4IF: Projet Compilation: TP (cours assuré par Florent de Dinechin)
- 4IST: Computing Systems: Cours, TD, TP, avec Lionel Morel
Recherche
Mes thèmes de recherche se situent dans le domaine des langages de programmation et des systèmes d'exploitation pour «petites» plates-formes. Depuis 2020, je m'intéresse à l'informatique frugale, une démarche visant à identifier et réduire les divers gâchis liés au numérique tout en conservant et améliorant les services réellement utiles.
Offres de stage de recherche
-
Comment mesurer et minimiser l’empreinte écologique du développement logiciel ?
- Mots-clés: Durabilité, Sobriété numérique, Langages de programmation, Compilation, Informatique minimaliste ou embarquée.
- Archéologie numérique et architectures minimalistes
- Mots-clés: Durabilité, Sobriété numérique, Eco-responsable, Langages de programmation, Compilation, Informatique minimaliste ou embarquée, Prospective.
Publications
Voir aussi: liste complète, ou mon profil sur HAL, DBLP, Google scholar.
.
Accurate Power Consumption Evaluation for Peripherals in Ultra Low-Power embedded systems ;
in proceedings of
GIoTS 2020.
.
Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories ;
in proceedings of
RSP 2018.
.
Peripheral State Persistence and Interrupt Management For Transiently Powered Systems ;
in proceedings of NVMW 2018.
.
Peripheral State Persistence For Transiently Powered Systems ;
in proceedings of
IOENT 2017
(a workshop of the Global IoT Summit).
A longer version of this paper is available as
INRIA Technical Report
RR-9018, 2017.
Article en français présenté à
ComPAS 2017.
.
Incremental checkpointing of program state to NVRAM for transiently-powered systems ;
in proceedings of
ReCoSOC 2014.
.
Energy-efficient Localisation: GPS Duty Cycling with Radio Ranging ;
in
ACM TOSN Volume 9 Issue 2, March 2013.
.
Semi-Automatic Region-Based Memory Management for
Real-Time Java Embedded Systems ;
in proceedings of RTCSA 2007.
Divers
Mon nombre de Erdős est de 4: G. Salagnac / S. Yovine / A. Pnuelli / S. Shelah / P. Erdős. Et vous ?
Un petit script pour compiler du LaTeX. Toutes remarques bienvenues !