version française english version

Guillaume Salagnac

Guillaume Salagnac

Associate professor at INSA-Lyon and member of the CITI lab.


Guillaume Salagnac
CITI - Bâtiment Claude Chappe
6 avenue des Arts 69621 Villeurbanne Cedex - FRANCE

Phone: +33 472436413
Fax: +33 472436227



My research interests lie in the area of programming languages and operating systems for resource-constrained embedded platforms, e.g. wireless sensor networks.

I currently have an internship opening (BS or MS) about tiny embedded systems running under intermittent power. details (pdf, 130 kB)


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.


My erdős number is 4: G. Salagnac / S. Yovine / A. Pnuelli / S. Shelah / Pr. P. Erdős. What about you ?

Yet another script to compile your LaTeX documents. Any feedback is welcome !

Last modified: Fri Nov 18 17:22:49 2016