Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

1 197 résultats
Page :
triés par
Image document

Automating Program Transformation with Coccinelle

 Julia Lawall , Gilles Muller
2022 NASA Formal Methods - 14th International Symposium, May 2022, Pasadena, CA, USA, United States
Communication dans un congrès hal-03791022v1
Image document

AndroEvolve: Automated Update for Android Deprecated-API Usages

 Stefanus Haryono , Ferdian Thung , David Lo , Lingxiao Jiang , Julia Lawall , et al.
2021 IEEE/ACM 43rd International Conference on Software Engineering, May 2021, Madrid / Virtual, Spain. pp.1-4, ⟨10.1109/ICSE-Companion52605.2021.00021⟩
Communication dans un congrès hal-03504710v1
Image document

OS Scheduling with Nest: Keeping Tasks Close Together on Warm Cores

 Julia Lawall , Himadri Chhaya-Shailesh , Jean-Pierre Lozi , Baptiste Lepers , Willy Zwaenepoel , et al.
EuroSys 2022 - Seventeenth European Conference on Computer Systems, Apr 2022, Rennes, France. ⟨10.1145/3492321.3519585⟩
Communication dans un congrès hal-03612592v1

WebCal -- A Domain Specific Language for Web Caching

 Sumit Gulwani , Asha Tarachandani , Deepak Gupta , Dheeraj Sanghi , Luciano Porto Barreto , et al.
Computer Communications, 2001, 17, pp.191--201
Article dans une revue inria-00475685v1

Static and Dynamic Program Compilation by Interpreter Specialization

 Scott Thibault , Charles Consel , Julia L. Lawall , Renaud Marlet , Gilles Muller
Higher-Order and Symbolic Computation, 2000, 13 (3), pp.161--178
Article dans une revue inria-00475687v1
Image document

SPINFER: Inferring Semantic Patches for the Linux Kernel

 Lucas Serrano , Van-Anh Nguyen , Ferdian Thung , Lingxiao Jiang , David Lo , et al.
USENIX Annual Technical Conference, Jul 2020, Boston / Virtual, United States
Communication dans un congrès hal-02906912v1
Image document

Automated Deprecated-API Usage Update for Android Apps: How Far Are We?

 Ferdian Thung , Stefanus A Haryono , Lucas Serrano , Gilles Muller , Julia Lawall , et al.
SANER 2020 - 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER, RENE track), Feb 2020, London, Ontario, Canada. pp.602-611, ⟨10.1109/SANER48275.2020.9054860⟩
Communication dans un congrès hal-02889832v1
Image document

Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example

 Stefanus A Haryono , Ferdian Thung , Hong Jin Kang , Lucas Serrano , Gilles Muller , et al.
ICPC 2020 - 28th IEEE/ACM International Conference on Program Comprehension - ERA track, Jul 2020, Seoul / Virtual, South Korea. ⟨10.1145/3387904.3389285⟩
Communication dans un congrès hal-02889835v1
Image document

BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing

 Yoann Ghigoff , Julien Sopena , Kahina Lazri , Antoine Blin , Gilles Muller
NSDI'21 - 18th USENIX Symposium on Networked Systems Design and Implementation, Apr 2021, Virtual event, United States. pp.487-501
Communication dans un congrès hal-03361644v1
Image document

Towards User-Programmable Schedulers in the Operating System Kernel

 Djob Mvondo , Antonio Barbalace , Jean-Pierre Lozi , Gilles Muller
SPMA 22 - 11th workshop on Systems for Post-Moore Architectures, Apr 2022, Rennes, France. pp.1-4
Communication dans un congrès hal-03750209v1
Image document

WE-HML: hybrid WCET estimation using machine learning for architectures with caches

 Abderaouf Nassim Amalou , Isabelle Puaut , Gilles Muller
RTCSA 2021 - 27th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Aug 2021, Online Virtual Conference, France. pp.1-10
Communication dans un congrès hal-03280177v1
Image document

(No)Compromis: Paging Virtualization Is Not a Fatality

 Boris Teabe , Peterson Yuhala , Alain Tchana , Fabien Hermenier , Daniel Hagimont , et al.
VEE 2021 - 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12
Communication dans un congrès hal-03183858v1
Image document

Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance

 Redha Gouicem , Damien Carver , Jean-Pierre Lozi , Julien Sopena , Baptiste Lepers , et al.
2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Communication dans un congrès hal-02901169v1
Image document

Automatic Verification of Bossa Scheduler Properties

 Jean-Paul Bodeveix , M Filali , Julia L. Lawall , Gilles Muller
6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), Sep 2006, Nancy, France. pp.17-32, ⟨10.1016/j.entcs.2007.05.026⟩
Communication dans un congrès inria-00089493v1
Image document

Tell me when you are sleepy and what may wake you up!

 Djob Mvondo , Antonio Barbalace , Alain Tchana , Gilles Muller
SoCC 2021 - ACM Symposium on Cloud Computing, Nov 2021, Seattle WA USA, United States. pp.562-569, ⟨10.1145/3472883.3487013⟩
Communication dans un congrès hal-03503825v1
Image document

Formal Methods Meet Domain Specific Languages

 Jean-Paul Bodeveix , M Filali , Julia L. Lawall , Gilles Muller
IFM 2005 - 5th International Conference on Integrated Formal Methods, Nov 2005, Eindhoven, Netherlands. pp.187-206, ⟨10.1007/11589976_12⟩
Communication dans un congrès hal-00457182v1
Image document

Vérification automatique de propriétés d'ordonnanceurs Bossa

 Jean-Paul Bodeveix , M Filali , Julia L. Lawall , Gilles Muller
AFADL 2006 - Conférence Francophone sur les Approches formelles pour le développement de logiciels, Groupe sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2006, Paris, France. pp.95-109
Communication dans un congrès hal-00457181v1
Image document

Provable Multicore Schedulers with Ipanema: Application to Work Conservation

 Baptiste Lepers , Redha Gouicem , Damien Carver , Jean-Pierre Lozi , Nicolas Palix , et al.
Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Communication dans un congrès hal-02554342v1
Image document

HyperTP: A unified approach for live hypervisor replacement in datacenters

 Tu Dinh Ngoc , Boris Teabe , Alain Tchana , Gilles Muller , Daniel Hagimont
Journal of Parallel and Distributed Computing, 2023, 181, pp.104733. ⟨10.1016/j.jpdc.2023.104733⟩
Article dans une revue hal-04477700v1
Image document

Mitigating vulnerability windows with hypervisor transplant

 Dinh Ngoc Tu , Boris Teabe , Alain Tchana , Gilles Muller , Daniel Hagimont
EuroSys 2021 - European Conference on Computer Systems, Apr 2021, Edinburgh / Virtual, United Kingdom. pp.1-14, ⟨10.1145/3447786.3456235⟩
Communication dans un congrès hal-03183856v1
Image document

Etude multi-échelle du mélange dans une géométrie originale

 Cyril Loux , Gilles Bouchet , René Muller
CFM 2011 - 20ème Congrès Français de Mécanique, Aug 2011, Besançon, France
Communication dans un congrès hal-03421427v1
Image document

Modélisation d’un nouveau type de mélangeur de polymères

 Cyril Loux , René Muller , Gilles Bouchet , Michel Bouquey
CFM 2009 - 19ème Congrès Français de Mécanique, Aug 2009, Marseille, France
Communication dans un congrès hal-03391429v1
Image document

Applying the B formal method to the Bossa domain-specific language

 Jean-Paul Bodeveix , M Filali , Julia L. Lawall , Gilles Muller
17th Nordic Workshop on Programming Theory (NWPT 2005), European Association for Theoretical Computer Science (EATCS), 2005, Copenhagen, Denmark, Denmark. pp.35-38
Communication dans un congrès hal-00457183v1

Isolation and characterization of a gene cluster involved in PAH degradation in Mycobacterium sp. strain SNP11: Expression in Mycobacterium smegmatis mc2155

 Christophe Pagnout , Gilles Frache , Pascal Poupin , Benoît Maunit , Jean-François Müller , et al.
Research in Microbiology, 2007, 158 (2), pp.175-186. ⟨10.1016/j.resmic.2006.11.002⟩
Article dans une revue istex hal-03163329v1

Milk fat concentration on dairy farms: effects of feeding practices

 Gilles Brunschwig , Jean Baptiste J. B. Coulon , Claire Agabriel , C. Müller , Bernard B. Bonaiti
3. International livestock farming system symposium, Sep 1994, Aberdeen, United Kingdom. n.p., 1994
Proceedings/Recueil des communications hal-02845701v1

A Domain-Specific Language Approach to Programmable Networks

 Gilles Muller , Julia L. Lawall , Scott Thibault , Rasmus Erik Voel Jensen
IEEE transactions on systems, man, and cybernetics, 2003, 33 (3), pp.370--381
Article dans une revue hal-00443973v1

Brilliant Sm, Eu, Tb, and Dy Chiral Lanthanide Complexes with Strong Circularly Polarized Luminescence

 Stephane Petoud , Gilles Muller , Evan Moore , Jide Xu , Jurek Sokolnicki , et al.
Journal of the American Chemical Society, 2007, 129 (1), pp.77-83. ⟨10.1021/ja064902x⟩
Article dans une revue hal-02090687v1
Image document

Screenfinity: Extending the Perception Area of Content on Very Large Public Displays

 Constantin Schmidt , Jörg Müller , Gilles Bailly
the SIGCHI Conference, Apr 2013, Paris, France. pp.673 - 689, ⟨10.1145/2470654.2466227⟩
Communication dans un congrès hal-01894244v1
Image document

Understanding Collateral Evolution in Linux Device Drivers

 Yoann Padioleau , Julia L. Lawall , Gilles Muller
[Research Report] RR-5769, INRIA. 2005, pp.18
Rapport inria-00070251v1
Image document

Automating the Porting of Linux to the VirtualLogix Hypervisor using Semantic Patches

 François Armand , Jean Berniolles , Julia L. Lawall , Gilles Muller
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Communication dans un congrès hal-02270310v1
Page :