version française english version

Guillaume Salagnac

Guillaume Salagnac

Maître de Conférences au Département Informatique de l'INSA Lyon, et rattaché au laboratoire CITI.

Contact

Guillaume Salagnac
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

Recherche

Mes thèmes de recherche se situent dans le domaine des langages de programmation et des systèmes d'exploitation pour plates-formes embarquées fortement contraintes, par exemple pour les réseaux de capteurs sans-fil.

Publications HAL DBLP Google scholar

Publications principales

G. Berthou, T. Delizy, K. Marquet, T. Risset, G. Salagnac. 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.
F. Ait Aoudia, K. Marquet, G. Salagnac. Incremental checkpointing of program state to NVRAM for transiently-powered systems ; in proceedings of ReCoSOC 2014.
R. Jurdak, P. Corke, A. Cotillon, D. Dharman, C. Crossman, G. Salagnac. Energy-efficient Localisation: GPS Duty Cycling with Radio Ranging ; in ACM TOSN Volume 9 Issue 2, March 2013.
G. Salagnac, C. Rippert, S. Yovine. 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 / Pr. P. Erdős. Et vous ?

Un petit script pour compiler du LaTeX. Toutes remarques bienvenues !

Last modified: Tue Oct 3 15:49:55 2017