logo EDITE Gilles MULLER
Identité
Gilles MULLER
État académique
Thèse soutenue le 1988-06-01
Titulaire d'une HDR (ou équivalent) 1997-10-01
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
1.5
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1332792361200
Faults in Linux: Ten Years Later
Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), Newport Beach, CA, USA 2011
edite:1332792362204
Finding Resource-Release Omission Faults in Linux
6th Workshop on Programming Languages and Operating Systems, Cascais, Portugal 2011
edite:1332792445541
Bridging the Gap between Legacy Services and Web Services
Middleware, Bangalore, India 2010
http://doi.ieeecomputersociety.org/10.1109/ICDCS.2010.55
Efficient Workstealing for Multicore Event-Driven Systems
International Conference on Distributed Computing Systems, ICDCS 2010
http://doi.ieeecomputersociety.org/10.1109/EDCC.2010.31
Finding Error Handling Bugs in OpenSSL Using Coccinelle
EDCC 2010
edite:1332792463655
How Often do Experts Make Mistakes?
Proceedings of 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Rennes and Saint Malo, France 2010
edite:1332792463660
Improving the security of infrastructure software using Coccinelle
2010
edite:1332792491798
Report on 5th workshop on programming languages and operating systems (PLOS)
No. 43:4, pp. 31-34 2010
edite:1332792494813
Scheduling support for transactional memory contention management
PPOPP 2010
edite:1332792508877
Tracking code patterns over multiple software versions with Herodotos
AOSD 2010
edite:1332792513904
VMKit: a Substrate for Managed Runtime Environments
Proceedings of the 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE'10), Pittsburgh, PA, USA 2010
edite:1332792514909
Zebu: A Language-Based Approach for Network Protocol Message Processing
2010
http://hal.inria.fr/inria-00374095/en/
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables
The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS~2009), Lyon, Fr 2009
edite:13327925361063
Entropy: a Consolidation Manager for Clusters
2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2009), Washington, DC, USA 2009
edite:13327925451116
I-JVM: a Java Virtual Machine for Component Isolation in OSGi
Proceedings of the 39th International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal 2009
edite:13327925461117
I-JVM: une machine virtuelle Java pour l'isolation de composants dans OSGi
Actes de la 7éme Conférence Française sur les Systèmes d'Exploitation (CFSE'07), Chapitre français de l'ACM-SIGOPS, GDR ARP, Toulouse, France 2009