Gilles Muller
Gilles Muller
Senior Research Scientist, INRIA
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Entropy: a consolidation manager for clusters
F Hermenier, X Lorca, JM Menaud, G Muller, J Lawall
Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on …, 2009
6852009
Think: A software framework for component-based operating system kernels
JP Fassino, JB Stefani, J Lawall, G Muller
2002 {USENIX} Annual Technical Conference ({USENIX}{ATC} 02), 2002
2882002
Faults in Linux: Ten years later
N Palix, G Thomas, S Saha, C Calvès, J Lawall, G Muller
Proceedings of the sixteenth international conference on Architectural …, 2011
2752011
Documenting and automating collateral evolutions in Linux device drivers
Y Padioleau, J Lawall, RR Hansen, G Muller
ACM SIGOPS Operating Systems Review 42 (4), 247-260, 2008
2702008
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications
JP Lozi, F David, G Thomas, J Lawall, G Muller
Usenix ATC 2012, 2012
1862012
Harissa: a Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code
G Muller, B arbara Moura, F Bellard, C Consel
3rd Usenix Conference on Object-Oriented Technologies and Systems (COOTS'97 …, 0
184*
Devil: An IDL for hardware programming
F Mérillon, L Réveillere, C Consel, R Marlet, G Muller
Proceedings of the 4th conference on Symposium on Operating System Design …, 2000
1782000
Tempo: Specializing systems applications and beyond
C Consel, L Hornof, R Marlet, G Muller, S Thibault, EN Volanschi, J Lawall, ...
ACM Computing Surveys (CSUR) 30 (3es), 19-es, 1998
1511998
Java bytecode compression for low-end embedded systems
LR Clausen, UP Schultz, C Consel, G Muller
ACM Transactions on Programming Languages and Systems (TOPLAS) 22 (3), 471-489, 2000
1262000
Specialization tools and techniques for systematic optimization of system software
D McNamee, J Walpole, C Pu, C Cowan, C Krasic, A Goel, P Wagle, ...
ACM Transactions on Computer Systems (TOCS) 19 (2), 217-251, 2001
1212001
Declarative specialization of object-oriented programs
EN Volanschi, C Consel, G Muller, C Cowan
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented …, 1997
1101997
Understanding collateral evolution in Linux device drivers
Y Padioleau, JL Lawall, G Muller
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer …, 2006
1052006
Towards automatic specialization of Java programs
UP Schultz, JL Lawall, C Consel, G Muller
ECOOP’99—Object-Oriented Programming, 367-390, 1999
1051999
Fast, optimized Sun RPC using automatic program specialization
G Muller, R Marlet, EN Volanschi, C Consel, C Pu, A Goel
Proceedings. 18th International Conference on Distributed Computing Systems …, 1998
931998
Scheduling support for transactional memory contention management
W Maldonado, P Marlier, P Felber, A Suissa, D Hendler, A Fedorova, ...
ACM SIGPLAN Notices 45 (5), 79-90, 2010
872010
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications}
G Muller, J Lawall, F Hermenier
IEEE Transactions on Dependable and Secure Computing} 10, 273-286, 0
85*
I-JVM: a Java virtual machine for component isolation in OSGi
N Geoffray, G Thomas, G Muller, P Parrend, S Frénot, B Folliot
2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009
832009
Safe and efficient active network programming
S Thibault, C Consel, G Muller
Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat …, 1998
831998
A foundation for flow-based program matching: using temporal logic and model checking
J Brunel, D Doligez, RR Hansen, JL Lawall, G Muller
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009
792009
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller
2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 43-52, 2009
762009
The system can't perform the operation now. Try again later.
Articles 1–20