default search action
Gilles Muller
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j31]Tu Dinh Ngoc
, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont
HyperTP: A unified approach for live hypervisor replacement in datacenters. J. Parallel Distributed Comput. 181: 104733 (2023) - 2022
- [j30]Stefanus A. Haryono
AndroEvolve: automated Android API update with data flow analysis and variable denormalization. Empir. Softw. Eng. 27(3): 73 (2022) - [c108]Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller:
OS scheduling with nest: keeping tasks close together on warm cores. EuroSys 2022: 368-383 - [c107]Julia Lawall
Automating Program Transformation with Coccinelle. NFM 2022: 71-87 - [d1]Julia Lawall
Artifact for the paper "OS Scheduling with Nest: Keeping Threads Close Together on Warm Cores". Zenodo, 2022 - 2021
- [c106]Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller:
Tell me when you are sleepy and what may wake you up! SoCC 2021: 562-569 - [c105]Tu Dinh Ngoc
Mitigating vulnerability windows with hypervisor transplant. EuroSys 2021: 162-177 - [c104]Stefanus A. Haryono, Ferdian Thung, David Lo
AndroEvolve: Automated Update for Android Deprecated-API Usages. ICSE (Companion Volume) 2021: 1-4 - [c103]Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller:
BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. NSDI 2021: 487-501 - [c102]Abderaouf N. Amalou
WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA 2021: 31-40 - [c101]Boris Teabe
(No)Compromis: paging virtualization is not a fatality. VEE 2021: 43-56 - 2020
- [c100]Baptiste Lepers, Redha Gouicem
Provable multicore schedulers with Ipanema: application to work conservation. EuroSys 2020: 3:1-3:16 - [c99]Stefanus A. Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo
Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. ICPC 2020: 401-405 - [c98]Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller:
SPINFER: Inferring Semantic Patches for the Linux Kernel. USENIX ATC 2020: 235-248 - [c97]Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller:
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. USENIX ATC 2020: 435-448 - [c96]Ferdian Thung, Stefanus A. Haryono, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo
Automated Deprecated-API Usage Update for Android Apps: How Far are We? SANER 2020: 602-611 - [i8]Stefanus Agus Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang:
Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. CoRR abs/2005.13220 (2020) - [i7]Boris Teabe, Peterson Yuhala
Memory virtualization in virtualized systems: segmentation is better than paging. CoRR abs/2006.00380 (2020) - [i6]Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller:
AndroEvolve: Automated Android API Update with Data Flow Analysis and Variable Denormalization. CoRR abs/2011.05020 (2020) - [i5]Stefanus Agus Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller:
AndroEvolve: Automated Update for Android Deprecated-API Usages. CoRR abs/2012.07259 (2020)
2010 – 2019
- 2019
- [j29]Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
Semantic Patches for Java Program Transformation (Artifact). Dagstuhl Artifacts Ser. 5(2): 10:1-10:3 (2019) - [j28]Guido Lena Cota
RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems. IEEE Trans. Dependable Secur. Comput. 16(4): 635-650 (2019) - [c95]Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
Semantic Patches for Java Program Transformation (Experience Report). ECOOP 2019: 22:1-22:27 - [c94]Vo Quoc Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng
When eXtended Para - Virtualization (XPV) Meets NUMA. EuroSys 2019: 7:1-7:15 - [c93]Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia Pérez:
Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. RTSS 2019: 246-259 - [c92]Damien Carver, Redha Gouicem
Fork/Wait and Multicore Frequency Scaling: a Generational Clash. PLOS@SOSP 2019: 53-59 - [c91]Kahina Lazri, Antoine Blin, Julien Sopena, Gilles Muller:
Toward an in-Kernel High Performance Key-Value Store Implementation. SRDS 2019: 268 - 2018
- [c90]Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller:
Usuba: Optimizing & Trustworthy Bitslicing Compiler. WPMVP@PPoPP 2018: 4:1-4:8 - [c89]Justinien Bouron, Sebastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, Julia Lawall, Gilles Muller, Julien Sopena:
The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. USENIX ATC 2018: 85-96 - [c88]Julia Lawall, Gilles Muller:
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. USENIX ATC 2018: 601-614 - 2017
- [c87]Julia Lawall, Gilles Muller:
JMake: Dependable Compilation for Kernel Janitors. DSN 2017: 357-366 - [c86]Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie:
Analysing Selfishness Flooding with SEINE. DSN 2017: 603-614 - [c85]Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix
Towards Proving Optimistic Multicore Schedulers. HotOS 2017: 18-23 - [c84]Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller:
Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. USENIX ATC 2017: 15-26 - 2016
- [j27]Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. Autom. Softw. Eng. 23(1): 3-41 (2016) - [j26]Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Fast and Portable Locking for Multicore Architectures. ACM Trans. Comput. Syst. 33(4): 13:1-13:62 (2016) - [c83]Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller:
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. ECRTS 2016: 109-119 - [c82]Mariem Saied, Jens Gustedt, Gilles Muller:
Automatic Code Generation for Iterative Multi-dimensional Stencil Computations. HiPC 2016: 280-289 - [c81]Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller:
Understanding the Memory Consumption of the MiBench Embedded Benchmark. NETYS 2016: 71-86 - 2015
- [j25]Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller:
Implementing an embedded compiler using program transformation rules. Softw. Pract. Exp. 45(2): 177-196 (2015) - [j24]Walther Maldonado, Patrick Marlier, Pascal Felber
Supporting Time-Based QoS Requirements in Software Transactional Memory. ACM Trans. Parallel Comput. 2(2): 10:1-10:30 (2015) - [c80]Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, André Bottaro:
Incinerator - Eliminating Stale References in Dynamic OSGi Applications. DSN 2015: 545-554 - [c79]Guido Lena Cota, Sonia Ben Mokhtar
A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems. SRDS 2015: 276-285 - 2014
- [j23]Nicolas Palix
Faults in Linux 2.6. ACM Trans. Comput. Syst. 32(2): 4:1-4:40 (2014) - [c78]Koutheir Attouchi, Gaël Thomas, André Bottaro, Gilles Muller:
Memory monitoring in a multi-tenant OSGi execution environment. CBSE 2014: 107-116 - [c77]Lisong Guo, Julia Lawall, Gilles Muller:
Oops! where did that code snippet come from? MSR 2014: 52-61 - [c76]Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Continuously measuring critical section pressure with the free-lunch profiler. OOPSLA 2014: 291-307 - [c75]Jons-Tobias Wamhoff, Etienne Rivière, Gilles Muller, Christof Fetzer, Pascal Felber
FastLane: Software Transactional Memory Optimized for Low Numbers of Threads. Software Engineering 2014: 35-36 - [i4]Nicolas Palix
Faults in Linux 2.6. CoRR abs/1407.4346 (2014) - 2013
- [j22]Julia L. Lawall, Julien Brunel, Nicolas Palix
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43(1): 67-92 (2013) - [j21]Fabien Hermenier, Julia Lawall, Gilles Muller:
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications. IEEE Trans. Dependable Secur. Comput. 10(5): 273-286 (2013) - [c74]Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller:
Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. DSN 2013: 1-12 - [c73]Jons-Tobias Wamhoff, Christof Fetzer, Pascal Felber
FastLane: improving performance of software transactional memory for low thread counts. PPoPP 2013: 113-122 - [c72]Peter Senna Tschudin, Laurent Réveillère, Lingxiao Jiang
Understanding the genetic makeup of Linux device drivers. PLOS@SOSP 2013: 10:1-10:6 - 2012
- [j20]Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller:
RelaxDHT: A churn-resilient replication strategy for peer-to-peer distributed hash-tables. ACM Trans. Auton. Adapt. Syst. 7(2): 28:1-28:18 (2012) - [c71]Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Gilles Muller:
Diagnosys: automatic generation of a debugging interface to the Linux kernel. ASE 2012: 60-69 - [c70]Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. USENIX ATC 2012: 65-76 - 2011
- [j19]Eric Eide, Gilles Muller, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
Summary of PLOS 2011: the sixth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. 45(3): 1-4 (2011) - [j18]Suman Saha, Julia Lawall, Gilles Muller:
Finding resource-release omission faults in Linux. ACM SIGOPS Oper. Syst. Rev. 45(3): 5-9 (2011) - [j17]Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller:
Zebu: A Language-Based Approach for Network Protocol Message Processing. IEEE Trans. Software Eng. 37(4): 575-591 (2011) - [c69]Nicolas Palix
Faults in linux: ten years later. ASPLOS 2011: 305-318 - [c68]Walther Maldonado, Patrick Marlier, Pascal Felber
Deadline-aware scheduling for Software Transactional Memory. DSN 2011: 257-268 - [c67]Suman Saha, Julia Lawall, Gilles Muller:
An approach to improving the structure of error-handling code in the linux kernel. LCTES 2011: 41-50 - [c66]Suman Saha, Julia Lawall, Gilles Muller:
Finding resource-release omission faults in Linux. PLOS@SOSP 2011: 1:1-1:5 - 2010
- [c65]Nicolas Palix
Tracking code patterns over multiple software versions with Herodotos. AOSD 2010: 169-180 - [c64]Julia Lawall, Ben Laurie, René Rydhof Hansen
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC 2010: 191-196 - [c63]Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma:
Efficient Workstealing for Multicore Event-Driven Systems. ICDCS 2010: 516-525 - [c62]Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller:
Bridging the Gap between Legacy Services and Web Services. Middleware 2010: 273-292 - [c61]Walther Maldonado, Patrick Marlier, Pascal Felber
Scheduling support for transactional memory contention management. PPoPP 2010: 79-90 - [c60]Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot:
VMKit: a substrate for managed runtime environments. VEE 2010: 51-62 - [e3]Christine Morin, Gilles Muller:
European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010. ACM 2010, ISBN 978-1-60558-577-2 [contents] - [i3]Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010(83): 54 (2010)
2000 – 2009
- 2009
- [j16]Eric Eide, Gilles Muller, Olaf Spinczyk:
PLOS 2009: fifth workshop on programming languages and operating systems. ACM SIGOPS Oper. Syst. Rev. 43(4): 31-34 (2009) - [c59]Julia L. Lawall, Gilles Muller, Nicolas Palix:
Enforcing the use of API functions in linux code. ACP4IS@AOSD 2009: 7-12 - [c58]Julia L. Lawall, Julien Brunel, Nicolas Palix
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN 2009: 43-52 - [c57]Nicolas Geoffray, Gaël Thomas, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot:
I-JVM: a Java Virtual Machine for component isolation in OSGi. DSN 2009: 544-553 - [c56]Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
Automatic Generation of Network Protocol Gateways. Middleware 2009: 21-41 - [c55]Julien Brunel, Damien Doligez, René Rydhof Hansen
A foundation for flow-based program matching: using temporal logic and model checking. POPL 2009: 114-126 - [c54]Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller:
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. SSS 2009: 485-499 - [c53]Fabien Hermenier, Xavier Lorca
Entropy: a consolidation manager for clusters. VEE 2009: 41-50 - [e2]Gilles Muller:
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009. ACM 2009, ISBN 978-1-60558-844-5 [contents] - 2008
- [c52]Yoann Padioleau, Julia Lawall, René Rydhof Hansen
Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260 - 2007
- [c51]Henrik Stuart, René Rydhof Hansen
Towards easing the diagnosis of bugs in OS code. PLOS@SOSP 2007: 2:1-2:5 - [c50]Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. SRDS 2007: 149-160 - [i2]Richard Urunuela, Gilles Muller, Julia L. Lawall:
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems 2007 - [i1]Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. CoRR abs/0704.1373 (2007) - 2006
- [j15]Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen
Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. 40(3): 90-92 (2006) - [c49]Yoann Padioleau, René Rydhof Hansen
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS 2006: 10 - [c48]Richard Urunuela, Gilles Muller, Julia L. Lawall:
Energy adaptation for multimedia information kiosks. EMSOFT 2006: 223-232 - [c47]Yoann Padioleau, Julia L. Lawall, Gilles Muller:
Understanding collateral evolution in Linux device drivers. EuroSys 2006: 59-71 - [c46]Yoann Padioleau, Julia Lawall, Gilles Muller:
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL 2006: 147-154 - [c45]Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
Automatic Verification of Bossa Scheduler Properties. AVoCS 2006: 17-32 - [c44]Yoann Padioleau, Julia L. Lawall, Gilles Muller:
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL (Selected Papers) 2006: 47-62 - 2005
- [c43]Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur:
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE 2005: 78-93 - [c42]Gilles Muller, Julia L. Lawall, Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE 2005: 56-65 - [c41]Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller:
Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206 - [c40]Gilles Muller, Julia L. Lawall, Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS 2005: 219-230 - 2004
- [j14]Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt:
Programmation post-objets. Des langages d'aspects aux langages de composants. Obj. Logiciel Base données Réseaux 10(4): 119-143 (2004) - [c39]Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller:
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE 2004: 436-455 - [c38]Julia L. Lawall, Gilles Muller, Hervé Duchesne:
Invited application paper: language design for implementing process scheduling hierarchies. PEPM 2004: 80-91 - [c37]Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt:
Constructing component-based extension interfaces in legacy systems code. ACM SIGOPS European Workshop 2004: 15 - 2003
- [j13]Gilles Muller, Julia L. Lawall, Scott Thibault, R. E. Voel Jensen:
A domain-specific language approach to programmable networks. IEEE Trans. Syst. Man Cybern. Part C 33(3): 370-381 (2003) - [c36]Marc Ségura-Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall:
Web cache prefetching as an aspect: towards a dynamic-weaving based solution. AOSD 2003: 110-119 - [c35]Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur:
On the automatic evolution of an OS kernel using temporal logic and AOP. ASE 2003: 196-204 - 2002
- [c34]Dan He, Gilles Muller, Julia L. Lawall:
Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS 2002: 161-170 - [c33]Julia L. Lawall, Gilles Muller, Luciano Porto Barreto:
Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop 2002: 54-61 - [c32]Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller:
Think: A Software Framework for Component-based Operating System Kernels. USENIX ATC, General Track 2002: 73-86 - [e1]Gilles Muller, Eric Jul:
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. ACM 2002 [contents] - 2001
- [j12]Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel:
WebCaL - a domain specific language for web caching. Comput. Commun. 24(2): 191-201 (2001) - [j11]Dylan McNamee, Jonathan Walpole, Calton Pu, Crispin Cowan, Charles Krasic, Ashvin Goel, Perry Wagle, Charles Consel, Gilles Muller, Renaud Marlet:
Specialization tools and techniques for systematic optimization of system software. ACM Trans. Comput. Syst. 19(2): 217-251 (2001) - [c31]Laurent Réveillère, Gilles Muller:
Improving Driver Robustness: An Evaluation of the Devil Approach. DSN 2001: 131-140 - [c30]Luciano Porto Barreto, Gilles Muller:
Bossa: A DSL Framework for Application-Specific Scheduling Policies. HotOS 2001: 161 - [c29]Fabrice Mérillon, Gilles Muller:
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. LCTES/OM 2001: 121-127 - [c28]Fabrice Mérillon, Gilles Muller:
Dealing with Hardware in Embedded Software: A General Framework Based on the Devil Language. OM@PLDI 2001: 121-127 - 2000
- [j10]Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller:
Static and Dynamic Program Compilation by Interpreter Specialization. High. Order Symb. Comput. 13(3): 161-178 (2000) - [j9]Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi:
Accurate program analyses for successful specialization of legacy system software. Theor. Comput. Sci. 248(1-2): 201-210 (2000) - [j8]Lars Ræder Clausen, Ulrik Pagh Schultz
Java bytecode compression for low-end embedded systems. ACM Trans. Program. Lang. Syst. 22(3): 471-489 (2000) - [c27]Julia L. Lawall, Gilles Muller:
Efficient Incremental Checkpointing of Java Programs. DSN 2000: 61-70 - [c26]Laurent Réveillère, Fabrice Mérillon, Charles Consel, Renaud Marlet, Gilles Muller:
A DSL Approach to Improve Productivity and Safety in Device Drivers Development. ASE 2000: 101-110 - [c25]Philippe Boinot, Renaud Marlet, Jacques Noyé, Gilles Muller, Charles Consel:
A Declarative Approach for Designing and Developing Adaptive Components. ASE 2000: 111- - [c24]Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller:
Devil: An IDL for Hardware Programming. OSDI 2000: 17-30 - [c23]Gilles Muller:
Specialization of Systems Programs: Lessons and Perspectives. SAIG 2000: 7-8 - [c22]Gilles Muller, Charles Consel, Renaud Marlet, Luciano Porto Barreto, Fabrice Mérillon, Laurent Réveillère:
Towards robust OSes for appliances: a new approach based on domain-specific languages. ACM SIGOPS European Workshop 2000: 19-24
1990 – 1999
- 1999
- [j7]Gilles Muller, Ulrik Pagh Schultz:
Harissa: A Hybrid Approach to Java Execution. IEEE Softw. 16(2): 44-51 (1999) - [c21]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller:
Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390 - [c20]Scott Thibault, Jerôme Marant, Gilles Muller:
Adapting Distributed Applications Using Extensible Networks. ICDCS 1999: 234-243 - 1998
- [j6]Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
Tempo: Specializing Systems applications and Beyond. ACM Comput. Surv. 30(3es): 19 (1998) - [j5]Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi:
Partial Evaluation for Software Engineering. ACM Comput. Surv. 30(3es): 20 (1998) - [c19]Gilles Muller, Renaud Marlet, Eugen-Nicolae Volanschi, Charles Consel, Calton Pu, Ashvin Goel:
Fast, Optimized Sun RPC Using Automatic Program Specialization. ICDCS 1998: 240-249 - [c18]Scott Thibault, Charles Consel, Gilles Muller:
Safe and Efficient Active Network Programming. SRDS 1998: 135-143 - 1997
- [c17]Gilles Muller, Bárbara Moura, Fabrice Bellard, Charles Consel:
Harissa: A Flexible and Efficient Java Environment Mixing Bytecode and Compiled Code. COOTS 1997: 1-20 - [c16]Eugen-Nicolae Volanschi, Charles Consel, Gilles Muller, Crispin Cowan:
Declarative Specialization of Object-Oriented Programs. OOPSLA 1997: 286-300 - [c15]Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet:
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. PEPM 1997: 116-126 - 1996
- [j4]Gilles Muller, Michel Banâtre, Nadine Peyrouze, Bruno Rochat:
Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System. IEEE Trans. Reliab. 45(2): 332-339 (1996) - [c14]Nadine Peyrouze, Gilles Muller:
FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. FTCS 1996: 64-73 - 1995
- [c13]Ciarán Bryce, Gilles Muller:
Matching micro-kernels to modern applications using fine-grained memory protection. SPDP 1995: 272-279 - [c12]Gilbert Cabillic, Gilles Muller, Isabelle Puaut:
The Performance of Consistent Checkpointing in Distributed Shared Memory Systems. SRDS 1995: 96-105 - 1994
- [c11]Gilles Muller, Mireille Hue, Nadine Peyrouze:
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. EDCC 1994: 491-508 - [c10]Ciarán Bryce, Valérie Issarny, Gilles Muller, Isabelle Puaut:
Towards Safe and Efficient Customization in Distributed Systems. ACM SIGOPS European Workshop 1994: 57-61 - [c9]Valérie Issarny, Gilles Muller, Isabelle Puaut:
Efficient Treatment of Failures in RPC Systems. SRDS 1994: 170-180 - 1993
- [j3]Ciarán Bryce, Daniel Hagimont, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat:
Models and Paradigms for Distributed Systems Structuring - Summary of Sessions. ACM SIGOPS Oper. Syst. Rev. 27(2): 56-60 (1993) - [c8]Gilles Muller:
A Reliable Client-Server Model on Top of a Micro-Kernel. Hardware and Software Architectures for Fault Tolerance 1993: 191-198 - [c7]Michel Banâtre, Pack Heng, Gilles Muller, Nadine Peyrouze, Bruno Rochat:
An Experience in the Design of a Reliable Object Based System (Synopsis). PDIS 1993: 187-190 - 1992
- [c6]Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat:
Using dynamic atomic actions to build fault tolerant systems. ACM SIGOPS European Workshop 1992 - 1991
- [j2]Gilles Muller, Bruno Rochat, Patrick Sanchez:
A stable transactional memory for building robust object oriented programs. Microprocessing and Microprogramming 32(1-5): 359-363 (1991) - [j1]Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez:
Stable Transactional Memories and Fault Tolerant Architectures. ACM SIGOPS Oper. Syst. Rev. 25(1): 68-72 (1991) - [c5]Michel Banâtre, Gilles Muller, Bruno Rochat, Patrick Sanchez:
Design Decisions for the FTM : A General Purpose Fault Tolerant Machine. FTCS 1991: 71-78 - [c4]Michel Banâtre, Gilles Muller, Pack Heng, Bruno Rochat:
How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms. USENIX MACH Symposium 1991: 223-232 - 1990
- [c3]Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat, Patrick Sanchez:
Stable transactional memories and fault tolerant architectures. ACM SIGOPS European Workshop 1990
1980 – 1989
- 1989
- [c2]Jean-Pierre Banâtre, Michel Banâtre, Gilles Muller:
Architecture of fault-tolerant multiprocessor workstations. WWOS 1989: 20-24 - 1988
- [c1]Michel Banâtre, Gilles Muller, Jean-Pierre Banâtre:
Ensuring Data Security and Integrity with a Fast Stable Storage. ICDE 1988: 285-293
Coauthor Index
Julia Lawall
aka: Julia L. Lawall
aka: Julia L. Lawall
[j30] [c108] [c107] [d1] [c104] [c100] [c99] [c98] [c97] [c96] [i8] [i6] [i5] [j29] [j28] [c95] [c92] [c89] [c88] [c87] [c86] [c85] [c84] [j27] [j26] [c83] [c81] [j25] [j24] [c80] [c79] [j23] [c77] [c76] [i4] [j22] [j21] [c74] [c72] [c71] [c70] [j18] [j17] [c69] [c68] [c67] [c66] [c65] [c64] [c62] [c61] [c60] [i3] [c59] [c58] [c56] [c55] [c53] [c52] [c51] [c50] [i2] [i1] [j15] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c39] [c38] [c37] [j13] [c36] [c35] [c34] [c33] [c32] [j10] [c27] [c21]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-13 17:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: