关注
Gilles Muller
Gilles Muller
Senior Research Scientist, INRIA
在 inria.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
7222009
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
3202008
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
3132011
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
3012002
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
2062012
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
1922000
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
189*
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
1581998
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
1352001
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
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
1152006
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
1141997
Towards automatic specialization of Java programs
UP Schultz, JL Lawall, C Consel, G Muller
ECOOP’99—Object-Oriented Programming, 367-390, 1999
1091999
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
971998
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
97*
Hector: Detecting resource-release omission faults in error-handling code for systems software
S Saha, JP Lozi, G Thomas, JL Lawall, G Muller
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
902013
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
902009
Safe and efficient active network programming
S Thibault, C Consel, G Muller
Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat …, 1998
901998
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
892010
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
892009
系统目前无法执行此操作,请稍后再试。
文章 1–20