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.

Je cherche actuellement à recruter un stagiaire (Bac +4 ou +5) sur de la programmation de petits systèmes embarqués à alimentation intermittente. détails (en anglais) (pdf, 130 kB)

Publications

F. Hutu, G. Salagnac, K. Marquet, T. Risset. A platform for energy consumption measurements of the communicating objects ; in proceedings of URSI 2016.
F. Ait Aoudia, K. Marquet, G. Salagnac. Incremental checkpointing of program state to NVRAM for transiently-powered systems ; in proceedings of ReCoSOC 2014.
F. Goichon, G. Salagnac, S. Frénot. Swap Fairness for Thrashing Mitigation ; in proceedings of ECSA 2013. A longer version of this paper is available as Inria Research Report RR-8388, 2013.
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.
F. Goichon, G. Salagnac, P. Parrend, S. Frénot. Static vulnerability detection in Java service-oriented components ; in Journal of Computer Virology and Hacking Techniques. Volume 9, Issue 1, Feb. 2013.
T. Vuillemin, F. Goichon, C. Lauradoux, G. Salagnac. Entropy transfers in the Linux Random Number Generator ; INRIA Research Report RR-8060, 2012.
F. Goichon, G. Salagnac, S. Frénot. Exploiting Java Code Interactions ; INRIA Technical Report RT-0419, 2011.
F. Goichon, G. Salagnac, S. Frénot. Hardware Resource Control in L4 micro-kernels ; poster presented at CFSE 2011.
R. Jurdak, P. Corke, D. Dharman, G. Salagnac. Adaptive GPS Duty Cycling and Radio Ranging for Energy-efficient Localization ; in proceedings of SenSys 2010.
S. Frénot, F. Le Mouel, J. Ponge, G. Salagnac. Various Extensions for the Ambient OSGi framework ; in proceedings of Adamus 2010 (a workshop of ICPS 2010). An extended version of this paper was published in the International Journal of Adaptive, Resilient and Autonomic Systems in 2011.
R. Jurdak, P. Corke, D. Dharman, G. Salagnac, C. Crossman, P. Valencia, G. Bishop-Hurley. Energy-efficient Localization for Virtual Fencing ; in proceedings of IPSN 2010, poster session.
G. Salagnac. Synthèse de gestionnaires mémoire pour applications Java temps-réel embarquées ; thèse de doctorat de l'Université Joseph Fourier. Avril 2008.
G. Salagnac, C. Rippert, S. Yovine. Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems ; in proceedings of RTCSA 2007.
G. Salagnac, C. Nakhli, C. Rippert, S. Yovine. Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems ; in proceedings of ICOOOLPS 2006 (a workshop of ECOOP 2006).
G. Salagnac. Automatic Region-based Memory Management for Real-time Embedded Systems ; in proceedings of LCTES 2006, poster session.
G. Salagnac, S. Yovine, D. Garbervetsky. Fast Escape Analysis for Region-based Memory Management ; in proceedings of AIOOL 2005 (a workshop of VMCAI 2005).
G. Salagnac. Gestion automatique de la mémoire dynamique pour des programmes Java temps-réel embarqués ; rapport de D.E.A. de l'Université Joseph Fourier. Juin 2004.

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: Wed Mar 29 09:50:07 2017