Travelled to:1 × China
1 × Estonia
1 × France
1 × Germany
1 × Italy
1 × Portugal
2 × India
2 × The Netherlands
3 × Canada
8 × USA
Collaborated with:J.L.Lawall C.Consel R.Marlet F.Mérillon L.Réveillère A.L.Meur G.Thomas H.Duchesne E.Volanschi S.Saha ∅ J.Lawall L.Guo L.Jiang P.Felber K.Attouchi A.Bottaro F.David T.F.Bissyandé J.Bodeveix M.Filali U.P.Schultz C.Cowan J.Wamhoff C.Fetzer E.Rivière J.Brunel D.Doligez R.R.Hansen R.A.Åberg M.Südholt P.Boinot J.Noyé P.S.Tschudin D.Lo N.Palix C.Calvès H.J.Kang F.Thung D.L.0001 W.Maldonado P.Marlier A.Suissa D.Hendler A.Fedorova
Talks about:program (6) languag (4) linux (4) approach (3) special (3) schedul (3) automat (3) memori (3) kernel (3) improv (3)
Person: Gilles Muller
DBLP: Muller:Gilles
Contributed to:
2014
2014
2014
2013
2013
2012
2011
20112010
2009
2005
20052004
2004200320012000
20002000
1999199719972019Wrote 24 papers:
- CBSE-2014-Attouchi0BM #execution #memory management #monitoring #multitenancy
- Memory monitoring in a multi-tenant OSGi execution environment (KA, GT, AB, GM), pp. 107–116.
- MSR-2014-GuoLM #exclamation #question
- Oops! where did that code snippet come from? (LG, JLL, GM), pp. 52–61.
- OOPSLA-2014-DavidTLM #profiling
- Continuously measuring critical section pressure with the free-lunch profiler (FD, GT, JL, GM), pp. 291–307.
- PLOS-2013-TschudinRJLLM #comprehension #linux #search-based
- Understanding the genetic makeup of Linux device drivers (PST, LR, LJ, DL, JLL, GM), p. 6.
- PPoPP-2013-WamhoffFFRM #concurrent #memory management #named #performance #thread #transaction
- FastLane: improving performance of software transactional memory for low thread counts (JTW, CF, PF, ER, GM), pp. 113–122.
- ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named
- Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.
- ASPLOS-2011-PalixTSCLM #fault #linux #years after
- Faults in linux: ten years later (NP, GT, SS, CC, JLL, GM), pp. 305–318.
- LCTES-2011-SahaLM #approach #kernel #linux
- An approach to improving the structure of error-handling code in the linux kernel (SS, JLL, GM), pp. 41–50.
- PPoPP-2010-MaldonadoMFSHFLM #memory management #scheduling #transaction
- Scheduling support for transactional memory contention management (WM, PM, PF, AS, DH, AF, JLL, GM), pp. 79–90.
- POPL-2009-BrunelDHLM #logic #model checking #using
- A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.
- GPCE-2005-LawallDMM #composition #domain-specific language
- Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language (JLL, HD, GM, AFLM), pp. 78–93.
- IFM-2005-BodeveixFLM #domain-specific language #formal method
- Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
- GPCE-2004-LawallMM #component #design #domain-specific language #independence #on the
- On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components (JLL, AFLM, GM), pp. 436–455.
- PEPM-2004-LawallMD #design #implementation #process #scheduling
- Invited application paper: language design for implementing process scheduling hierarchies (JLL, GM, HD), pp. 80–91.
- ASE-2003-AbergLSMM #aspect-oriented #automation #evolution #kernel #logic #on the #using
- On the automatic evolution of an OS kernel using temporal logic and AOP (RAÅ, JLL, MS, GM, AFLM), pp. 196–204.
- LCTES-OM-2001-MerillonM #embedded #framework #hardware
- Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language (FM, GM), pp. 121–127.
- ASE-2000-BoinotMNMC #adaptation #approach #component #declarative #design
- A Declarative Approach for Designing and Developing Adaptive Components (PB, RM, JN, GM, CC), p. 111–?.
- ASE-2000-ReveillereMCMM #approach #development #domain-specific language #safety
- A DSL Approach to Improve Productivity and Safety in Device Drivers Development (LR, FM, CC, RM, GM), pp. 101–110.
- OSDI-2000-MerillonRCMM #hardware #named #programming
- Devil: An IDL for Hardware Programming (FM, LR, CC, RM, GM), pp. 17–30.
- SAIG-2000-Muller #source code
- Specialization of Systems Programs: Lessons and Perspectives (GM), pp. 7–8.
- ECOOP-1999-SchultzLCM #automation #java #source code #towards
- Towards Automatic Specialization of Java Programs (UPS, JLL, CC, GM), pp. 367–390.
- OOPSLA-1997-VolanschiCMC #declarative #object-oriented #source code
- Declarative Specialization of Object-Oriented Programs (ENV, CC, GM, CC), pp. 286–300.
- PEPM-1997-MullerVM #optimisation #partial evaluation #protocol #scalability
- Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol (GM, ENV, RM), pp. 116–126.
- ECOOP-2019-KangTLMJ0 #case study #experience #java #program transformation #semantics
- Semantic Patches for Java Program Transformation (Experience Report) (HJK, FT, JL, GM, LJ, DL0), p. 27.