2024
Conference papers
- ref_biblio
- Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi. Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler. SAS 2024 – 31st Static Analysis Symposium, Oct 2024, Pasadena (California), United States. ⟨hal-04708445⟩
- Accès au texte intégral et bibtex
2023
Journal articles
- ref_biblio
- Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont. HyperTP: A unified approach for live hypervisor replacement in datacenters. Journal of Parallel and Distributed Computing, 2023, 181, pp.104733. ⟨10.1016/j.jpdc.2023.104733⟩. ⟨hal-04477700⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Tomáš Faltín, Vasileios Trigonakis, Ayoub Berdai, Luigi Fusco, Călin Iorgulescu, et al.. Distributed Asynchronous Regular Path Queries (RPQs) on Graphs. Middleware 2023: 24th International Middleware Conference, Dec 2023, Bologna, Italy, Italy. pp.35-41, ⟨10.1145/3626562.3626833⟩. ⟨hal-04355309⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Peterson Yuhala, Pascal Felber, Hugo Guiroux, Jean-Pierre Lozi, Alain Tchana, et al.. SecV: Secure code partitioning via multi-language secure values. Middleware ’23: 24th International Middleware Conference, Dec 2023, Bologna, Italy. pp.207-219, ⟨10.1145/3590140.3629116⟩. ⟨hal-04355247⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Damien Thenot, Jean-Pierre Lozi, Gaël Thomas. FastXenBlk: high-performance virtualized disk IOs without compromising isolation. The 24th International Middleware Conference: Industrial Track (Middleware ’23), Dec 2023, Bologna, Italy. pp.42-48, ⟨10.1145/3626562.3626834⟩. ⟨hal-04354563⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Baptiste Lepers, Josselin Giet, Julia Lawall, Willy Zwaenepoel. OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. EuroSys 2023 : Eighteenth European Conference on Computer Systems, May 2023, Rome, Italy. pp.33-45, ⟨10.1145/3552326.3567504⟩. ⟨hal-04109096⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Chao Zhang, Angela Bonifati, Hugo Kapp, Vlad Ioan Haprian, Jean-Pierre Lozi. A Reachability Index for Recursive Label-Concatenated Graph Queries. ICDE 2023 – 39th IEEE International Conference on Data Engineering, Apr 2023, Anaheim, United States. ⟨hal-03905483v2⟩
- Accès au texte intégral et bibtex
Poster communications
- ref_biblio
- Victor Laforet, Jean-Pierre Lozi, Julia Lawall. eBPF Hybrid Lock: Scalable Spin-based User-Space Locking (Poster). SOSP 2023 – The 29th ACM Symposium on Operating Systems Principles, Oct 2023, Koblenz, Germany. ⟨hal-04262326⟩
- Accès au texte intégral et bibtex
Reports
- ref_biblio
- Victor Laforet, Jean-Pierre Lozi, Julia Lawall. BPF Hybrid Lock: Using eBPF to communicate with the scheduler. Inria; Institut Polytechnique de Paris. 2023. ⟨hal-04266815⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Gilles Muller. Graphing Tools for Scheduler Tracing. RR-9498, Inria Paris. 2023. ⟨hal-04001993⟩
- Accès au texte intégral et bibtex
2022
Journal articles
- ref_biblio
- Stefanus Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, et al.. AndroEvolve: automated Android API update with data flow analysis and variable denormalization. Empirical Software Engineering, 2022, 27 (3), pp.73. ⟨10.1007/s10664-021-10096-0⟩. ⟨hal-03921758⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Julia Lawall, Gilles Muller. Automating Program Transformation with Coccinelle. 2022 NASA Formal Methods – 14th International Symposium, May 2022, Pasadena, CA, USA, United States. ⟨hal-03791022⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Djob Mvondo, Antonio Barbalace, Jean-Pierre Lozi, Gilles Muller. Towards User-Programmable Schedulers in the Operating System Kernel. SPMA 22 – 11th workshop on Systems for Post-Moore Architectures, Apr 2022, Rennes, France. pp.1-4. ⟨hal-03750209⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, et al.. OS Scheduling with Nest: Keeping Tasks Close Together on Warm Cores. EuroSys 2022 – Seventeenth European Conference on Computer Systems, Apr 2022, Rennes, France. ⟨10.1145/3492321.3519585⟩. ⟨hal-03612592⟩
- Accès au texte intégral et bibtex
2021
Journal articles
- ref_biblio
- Thong Hoang, Julia Lawall, Yuan Tian, Richard J Oentaryo, David Lo. PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel. IEEE Transactions on Software Engineering, 2021, 47 (11), pp.2471-2486. ⟨10.1109/TSE.2019.2952614⟩. ⟨hal-02373994⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Djob Mvondo, Antonio Barbalace, Alain Tchana, Gilles Muller. Tell me when you are sleepy and what may wake you up!. SoCC 2021 – ACM Symposium on Cloud Computing, Nov 2021, Seattle WA USA, United States. pp.562-569, ⟨10.1145/3472883.3487013⟩. ⟨hal-03503825⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Stefanus A Haryono, Ferdian Thung, David Lo, Julia Lawall, Lingxiao Jiang. Characterization and Automatic Updates of Deprecated Machine-Learning API Usages. ICSME 2021 – IEEE International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg. ⟨10.1109/ICSME52107.2021.00019⟩. ⟨hal-03361379⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Stefanus A Haryono, Ferdian Thung, David Lo, Julia Lawall, Lingxiao Jiang. MLCatchUp: Automated Update of Deprecated Machine-Learning APIs in Python. ICSME 2021 – 37th IEEE International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg. ⟨10.1109/ICSME52107.2021.00061⟩. ⟨hal-03361370⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Abderaouf Nassim Amalou, Isabelle Puaut, Gilles Muller. WE-HML: hybrid WCET estimation using machine learning for architectures with caches. RTCSA 2021 – 27th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Aug 2021, Online Virtual Conference, France. pp.1-10. ⟨hal-03280177⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Ridwan Shariffdeen, Xiang Gao, Gregory J Duck, Shin Hwei Tan, Julia Lawall, et al.. Automated Patch Backporting in Linux (Experience Paper). ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2021, Aarhus (virtual), Denmark. ⟨10.1145/3460319.3464821⟩. ⟨hal-03359062⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Michele Martone, Julia Lawall. Refactoring for Performance with Semantic Patching: Case Study with Recipes. C3PO’21: Compiler-assisted Correctness Checking and Performance Optimization for HPC (ISC workshop), Jul 2021, virtual, Germany. pp.226-232, ⟨10.1007/978-3-030-90539-2_15⟩. ⟨hal-03266521v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Stefanus Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, et al.. AndroEvolve: Automated Update for Android Deprecated-API Usages. 2021 IEEE/ACM 43rd International Conference on Software Engineering, May 2021, Madrid / Virtual, Spain. pp.1-4, ⟨10.1109/ICSE-Companion52605.2021.00021⟩. ⟨hal-03504710⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Tu Dinh Ngoc, Boris Teabe, Alain Tchana, Gilles Muller, Daniel Hagimont. Mitigating vulnerability windows with hypervisor transplant. EuroSys 2021 – European Conference on Computer Systems, Apr 2021, Edinburgh / Virtual, United Kingdom. pp.1-14, ⟨10.1145/3447786.3456235⟩. ⟨hal-03183856⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Boris Teabe, Peterson Yuhala, Alain Tchana, Fabien Hermenier, Daniel Hagimont, et al.. (No)Compromis: Paging Virtualization Is Not a Fatality. VEE 2021 – 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12. ⟨hal-03183858⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, Gilles Muller. BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. NSDI’21 – 18th USENIX Symposium on Networked Systems Design and Implementation, Apr 2021, Virtual event, United States. pp.487-501. ⟨hal-03361644⟩
- Accès au texte intégral et bibtex
2020
Journal articles
- ref_biblio
- Jia-Ju Bai, Julia Lawall, Shi-Min Hu. Effective Detection of Sleep-in-Atomic-Context Bugs in the Linux Kernel. ACM Transactions on Computer Systems, 2020, 36 (4), pp.10. ⟨10.1145/3381990⟩. ⟨hal-03032244⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Francis Laniel, Damien Carver, Julien Sopena, Franck Wajsburt, Jonathan Lejeune, et al.. MemOpLight: Leveraging application feedback to improve container memory consolidation. NCA 2020 – 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Cambridge / Virtual, United States. pp.1-10, ⟨10.1109/NCA51143.2020.9306717⟩. ⟨hal-03065629⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Pantea Kiaei, Darius Mercadier, Pierre-Evariste Dagand, Karine Heydemann, Patrick Schaumont. Custom Instruction Support for Modular Defense against Side-channel and Fault Attacks. International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2020, Oct 2020, Lugano, Switzerland. ⟨hal-03058888⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Aleksandr Chueshev, Julia Lawall, Reda Bendraou, Tewfik Ziadi. Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers. ICSME 2020 – International Conference on Software Maintenance and Evolution, Sep 2020, Adélaïde / Virtual, Australia. ⟨hal-02928232⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Nic Volanschi, Julia Lawall. The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel. ASE 2020 – 35th IEEE/ACM International Conference on Automated Software Engineering, Sep 2020, Melbourne / Virtual, Australia. ⟨10.1145/3324884.3416635⟩. ⟨hal-02931554v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, et al.. Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. 2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States. ⟨hal-02901169⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, et al.. SPINFER: Inferring Semantic Patches for the Linux Kernel. USENIX Annual Technical Conference, Jul 2020, Boston / Virtual, United States. ⟨hal-02906912⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Stefanus A Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, et al.. Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. ICPC 2020 – 28th IEEE/ACM International Conference on Program Comprehension – ERA track, Jul 2020, Seoul / Virtual, South Korea. ⟨10.1145/3387904.3389285⟩. ⟨hal-02889835⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Thong Hoang, Hong Jin Kang, David Lo, Julia Lawall. CC2Vec: Distributed Representations of Code Changes. ICSE 2020 – 42nd International Conference on Software Engineering, Jun 2020, Seoul / Virtual, South Korea. pp.518-529, ⟨10.1145/3377811.3380361⟩. ⟨hal-03030530⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Gautier Berthou, Pierre-Evariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset. Intermittent Computing with Peripherals, Formally Verified. LCTES ’20 – 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2020, London / Virtual, United Kingdom. pp.85-96, ⟨10.1145/3372799.3394365⟩. ⟨hal-02556878⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Sonia Belaïd, Pierre-Evariste Dagand, Darius Mercadier, Matthieu Rivain, Raphaël Wintersdorff. Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations. Eurocrypt 2020 – 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, Zagreb / Virtual, Croatia. pp.311-341, ⟨10.1007/978-3-030-45727-3_11⟩. ⟨hal-02953167⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, et al.. Provable Multicore Schedulers with Ipanema: Application to Work Conservation. Eurosys 2020 – European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩. ⟨hal-02554342⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Ferdian Thung, Stefanus A Haryono, Lucas Serrano, Gilles Muller, Julia Lawall, et al.. Automated Deprecated-API Usage Update for Android Apps: How Far Are We?. 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⟩. ⟨hal-02889832⟩
- Accès au texte intégral et bibtex
Theses
- ref_biblio
- Lucas Serrano. Automatic inference of system software transformation rules from examples. Software Engineering [cs.SE]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS425⟩. ⟨tel-03987546v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Darius Mercadier. Usuba, Optimizing Bitslicing Compiler. Cryptography and Security [cs.CR]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS180⟩. ⟨tel-03133456v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Redha Gouicem. Thread scheduling in multi-core operating systems : how to understand, improve and fix your scheduler. Operating Systems [cs.OS]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS052⟩. ⟨tel-03987730v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Cédric Courtaud. Caractérisation de la sensibilité aux interférences mémoire dans les systèmes temps-réels embarqués sur des plateformes multi-coeurs. Systèmes embarqués. Sorbonne Université, 2020. Français. ⟨NNT : 2020SORUS288⟩. ⟨tel-03429679v2⟩
- Accès au texte intégral et bibtex
2019
Journal articles
- ref_biblio
- Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia L. Lawall, et al.. RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems. IEEE Transactions on Dependable and Secure Computing, 2019, 16 (4), pp.635-650. ⟨10.1109/TDSC.2017.2706286⟩. ⟨hal-02196805⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Cédric Courtaud, Julien Sopena, Gilles Muller, Daniel Gracia. Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. RTSS 2019 – 40th IEEE Real-Time Systems Symposium, Dec 2019, Hong-Kong, China. ⟨hal-02401625⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Zu-Ming Jiang, Jia-Ju Bai, Julia L. Lawall, Shi-Min Hu. Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. ISSRE 2019 – The 30th International Symposium on Software Reliability Engineering, Oct 2019, Berlin, Germany. ⟨10.1109/ISSRE.2019.00022⟩. ⟨hal-02389293⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, et al.. Fork/Wait and Multicore Frequency Scaling: a Generational Clash. 10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩. ⟨hal-02349987v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Francis Laniel, Damien Carver, Julien Sopena, Franck Wajsburt, Jonathan Lejeune, et al.. Highlighting the Container Memory Consolidation Problems in Linux. NCA 2019 – 18th IEEE International Symposium on Network Computing and Applications, Sep 2019, Cambridge, United States. pp.1-4, ⟨10.1109/NCA.2019.8935034⟩. ⟨hal-02424007⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Hong Jin Kang, Ferdian Thung, Julia L. Lawall, Gilles Muller, Lingxiao Jiang, et al.. Semantic Patches for Java Program Transformation. 33rd European Conference on Object-Oriented Programming (ECOOP 2019), Jul 2019, London, United Kingdom. pp.22:1–22:27, ⟨10.4230/LIPIcs.ECOOP.2019.22⟩. ⟨hal-02182522⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Jia-Ju Bai, Julia L. Lawall, Qiu-Liang Chen, Shi-Min Hu. Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. 2019 USENIX Annual Technical Conference, Jul 2019, Renton, Washington, United States. ⟨hal-02182516⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, et al.. Understanding scheduler performance : a feature-based approach. Compas 2019 – Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France. ⟨hal-02558763⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Darius Mercadier, Pierre-Evariste Dagand. Usuba: high-throughput and constant-time ciphers, by construction. PLDI 2019 – 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2019, Phoenix, United States. pp.157-173, ⟨10.1145/3314221.3314636⟩. ⟨hal-02176603⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Thong Hoang, Julia L. Lawall, Richard J. Oentaryo, Yuan Tian, David Lo. PatchNet: A Tool for Deep Patch Classification. ICSE-Companion 2019 – IEEE/ACM 41st International Conference on Software Engineering, May 2019, Montreal, Canada. pp.83-86, ⟨10.1109/ICSE-Companion.2019.00044⟩. ⟨hal-02408347⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Jia-Ju Bai, Julia L. Lawall, Wende Tan, Shi-Min Hu. DCNS: Automated Detection of Conservative Non-Sleep Defects in the Linux Kernel. ASPLOS 2019 – The 24th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Apr 2019, Providence, Rhode Island, United States. pp.287-299, ⟨10.1145/3297858.3304065⟩. ⟨hal-02389543⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Vo Quoc Bao Bui, Djob Mvondo, Boris Teabe, Kevin Jiokeng, Lavoisier Wapet, et al.. When eXtended Para-Virtualization (XPV) meets NUMA. EUROSYS 2019: 14th European Conference on Computer Systems, Mar 2019, Dresde, Germany. pp.7, ⟨10.1145/3302424.3303960⟩. ⟨hal-02333640v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu. Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. SANER 2019 – 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2019, Hangzhou, China. ⟨hal-02014196⟩
- Accès au texte intégral et bibtex
Reports
- ref_biblio
- Hong Jin Kang, Ferdian Thung, Julia L. Lawall, Gilles Muller, Lingxiao Jiang, et al.. Automating Program Transformation for Java Using Semantic Patches. [Research Report] RR-9256, Inria Paris. 2019. ⟨hal-02023368⟩
- Accès au texte intégral et bibtex
2018
Journal articles
- ref_biblio
- Krishna Narasimhan, Christoph Reichenbach, Julia Lawall. Cleaning up Copy-Paste Clones with Interactive Merging. Automated Software Engineering, 2018, 25 (3), pp.627-673. ⟨10.1007/s10515-018-0238-5⟩. ⟨hal-01853896⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter. Foundations of Dependent Interoperability. Journal of Functional Programming, 2018, 28, ⟨10.1017/S0956796818000011⟩. ⟨hal-01629909v2⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Justinien Bouron, Sébastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, et al.. The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. 2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States. ⟨hal-01853267⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu. DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. 2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States. ⟨hal-01853268⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Julia Lawall, Gilles Muller. Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. 2018 USENIX Annual Technical Conference, Jul 2018, Boston, MA, United States. ⟨hal-01853271⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Darius Mercadier, Pierre-Évariste Dagand, Lionel Lacassagne, Gilles Muller. Usuba, Optimizing & Trustworthy Bitslicing Compiler. WPMVP’18 – Workshop on Programming Models for SIMD/Vector Processing, Feb 2018, Vienna, Austria. ⟨10.1145/3178433.3178437⟩. ⟨hal-01657259v2⟩
- Accès au texte intégral et bibtex
Poster communications
- ref_biblio
- Michele Martone, Luigi Iapichino, Nicolay Hammer, Julia Lawall. Automating Data Layout Conversion in a Large Cosmological Simulation Code. CoSaS 2018 – International Symposium on Computational Science at Scale, Sep 2018, Erlangen, Germany. ⟨hal-01890314⟩
- Accès au texte intégral et bibtex
2017
Journal articles
- ref_biblio
- Pavneet Singh Kochhar, David Lo, Julia Lawall, Nachiappan Nagappan. Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects. IEEE Transactions on Reliability, 2017, 66 (4), pp.1213 – 1228. ⟨10.1109/TR.2017.2727062⟩. ⟨hal-01653728⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Pierre-Evariste Dagand. The essence of ornaments. Journal of Functional Programming, 2017, 27, ⟨10.1017/S0956796816000356⟩. ⟨hal-01461209⟩
- Accès au bibtex
Conference papers
- ref_biblio
- Victor Cacciari Miraldo, Pierre-Evariste Dagand, Wouter Swierstra. Type-directed diffing of structured data. TyDe 2017 – 2nd ACM SIGPLAN International Workshop on Type-Driven Development, Sep 2017, Oxford, United Kingdom. pp.2-15, ⟨10.1145/3122975.3122976⟩. ⟨hal-01673541⟩
- Accès au bibtex
- ref_biblio
- Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller. Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. 2017 USENIX Annual Technical Conference, Jul 2017, Santa Clara, CA, United States. pp.12. ⟨hal-01556589⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste Lepers, et al.. Ipanema : un langage dédié pour le développement d’ordonnanceurs multi-coeur sûrs. Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France. ⟨hal-02111160⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Julia Lawall, Gilles Muller. JMake: Dependable Compilation for Kernel Janitors. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, IEEE/IFIP, Jun 2017, Denver,Colorado, United States. ⟨10.1109/DSN.2017.62⟩. ⟨hal-01555711⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, et al.. Analysing Selfishness Flooding with SEINE. The 47th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’17), Jun 2017, Denver, Colorado, United States. pp.603 – 614, ⟨10.1109/DSN.2017.51⟩. ⟨hal-01581628⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet, et al.. A Formally Verified Compiler for Lustre. PLDI 2017 – 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain. ⟨hal-01512286⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, et al.. Towards Proving Optimistic Multicore Schedulers. HotOS 2017 – 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩. ⟨hal-01556597⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Krishna Narasimhan, Christoph Reichenbach, Julia Lawall. Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation. PEPM 2017 Workshop on Partial Evaluation and Program Manipulation, Jan 2017, Paris, France. ⟨hal-01408266⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Timothy Bourke, Pierre-Evariste Dagand, Marc Pouzet, Lionel Rieg. Vérification de la génération modulaire du code impératif pour Lustre. JFLA 2017 – Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. ⟨hal-01403830⟩
- Accès au texte intégral et bibtex
Theses
- ref_biblio
- Antoine Blin. Vers une utilisation efficace des processeurs multi-coeurs dans des systèmes embarqués à criticités multiples. Systèmes embarqués. Université Pierre et Marie Curie – Paris VI, 2017. Français. ⟨NNT : 2017PA066114⟩. ⟨tel-01624259⟩
- Accès au texte intégral et bibtex
2016
Journal articles
- ref_biblio
- Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller. Fast and Portable Locking for Multicore Architectures. ACM Transactions on Computer Systems, 2016, ⟨10.1145/2845079⟩. ⟨hal-01252167⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Mariem Saied, Jens Gustedt, Gilles Muller. Automatic Code Generation for Iterative Multi-dimensional Stencil Computations. High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India. ⟨hal-01337093⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Ferdian Thung, Dinh Xuan Bach Le, David Lo, Julia Lawall. Recommending Code Changes for Automatic Backporting of Linux Device Drivers. 32nd IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE, Oct 2016, Raleigh, North Carolina, United States. ⟨hal-01355859⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter. Partial Type Equivalences for Verified Dependent Interoperability. ICFP 2016 – 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩. ⟨hal-01328012⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller. Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. 28th EUROMICRO Conference on Real-Time Systems (ECRTS’16), Jul 2016, Toulouse, France. ⟨hal-01346979⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller. Understanding the Memory Consumption of the MiBench Embedded Benchmark. Netys, May 2016, Marakech, Morocco. ⟨hal-01349421⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Arthur Blot, Pierre-Évariste Dagand, Julia Lawall. From Sets to Bits in Coq. FLOPS 2016, Mar 2016, Kochi, Japan. ⟨hal-01251943⟩
- Accès au texte intégral et bibtex
Reports
- ref_biblio
- Julia Lawall, Quentin Lambert, Gilles Muller. Prequel: A Patch-Like Query Language for Commit History Search. [Research Report] RR-8918, Inria Paris. 2016. ⟨hal-01330861⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller. Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. [Research Report] RR-8838, Inria. 2016. ⟨hal-01268078⟩
- Accès au texte intégral et bibtex
2015
Journal articles
- ref_biblio
- Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, et al.. Supporting Time-Based QoS Requirements in Software Transactional Memory. ACM Transactions on Parallel Computing, 2015, 2 (2), pp.27. ⟨10.1145/2779621⟩. ⟨hal-01240225⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Peter Senna Tschudin, Julia Lawall, Gilles Muller. 3L: Learning Linux Logging. BElgian-NEtherlands software eVOLution seminar (BENEVOL 2015), Dec 2015, Lille, France. ⟨hal-01239980⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Luis R. Rodriguez, Julia Lawall. Increasing Automation in the Backporting of Linux Drivers Using Coccinelle. 11th European Dependable Computing Conference – Dependability in Practice, Nov 2015, Paris, France. ⟨hal-01213912⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Guido Lena Cota, Sonia Ben Mokhtar, Julia Lawall, Gilles Muller, Gabriele Gianini, et al.. A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems. SRDS 2015 – 34th International Symposium on Reliable Distributed Systems, Sep 2015, Montreal, Canada. ⟨hal-01250717⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia L. Lawall, André Bottaro. Preventing Memory and Information LeakageIncinerator – Eliminating Stale References in Dynamic OSGi Applications. Dependable Systems and Networks, Sep 2015, Rio de Janeiro, Brazil. ⟨hal-01198922⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, André Bottaro. Incinerator – Eliminating stale references in dynamic OSGi applications. DSN 2015 : 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2015, Rio De Janeiro, Brazil. pp.545-554, ⟨10.1109/DSN.2015.39⟩. ⟨hal-01262362⟩
- Accès au bibtex
- ref_biblio
- Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry. Are These Bugs Really “Normal”?. MSR 2015 – The 12th Working Conference on Mining Software Repositories, May 2015, Florence, Italy. ⟨hal-01240036⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Nicolas Palix, Jean-Rémy Falleri, Julia Lawall. Improving pattern tracking with a language-aware tree differencing algorithm. SANER 2015 – 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, ⟨10.1109/SANER.2015.7081814⟩. ⟨hal-01213907⟩
- Accès au texte intégral et bibtex
2014
Journal articles
- ref_biblio
- Mads Chr. Olesen, René Rydhof Hansen, Julia Lawall, Nicolas Palix. Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Science of Computer Programming, 2014, Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops, 91 (B), pp.141-160. ⟨10.1016/j.scico.2012.10.011⟩. ⟨hal-01096185⟩
- Accès au bibtex
- ref_biblio
- Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Gilles Muller. Ahead of Time Static Analysis for Automatic Generation of Debugging Interfaces to the Linux Kernel. Automated Software Engineering, 2014, pp.1-39. ⟨10.1007/s10515-014-0152-4⟩. ⟨hal-00992283⟩
- Accès au texte intégral et bibtex
Conference papers
- ref_biblio
- Pavneet Singh Kochhar, Ferdian Thung, David Lo, Julia Lawall. An Empirical Study on the Adequacy of Testing in Open Source Projects. 21st Asia-Pacific Software Engineering Conference, Dec 2014, Jeju, South Korea. pp.215-222, ⟨10.1109/APSEC.2014.42⟩. ⟨hal-01096132⟩
- Accès au bibtex
- ref_biblio
- Florian David, Gaël Thomas, Julia Lawall, Gilles Muller. Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler. OOPSLA ’14 – ACM International Conference on Object Oriented Programming Systems Languages & Applications, Oct 2014, Portland, Oregon, United States. pp.291-307, ⟨10.1145/2660193.2660210⟩. ⟨hal-01080277⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Shaowei Wang, David Lo, Julia Lawall. Compositional Vector Space Models for Improved Bug Localization. 30th International Conference on Software Maintenance and Evolution, IEEE, Sep 2014, Victoria, Canada. pp.171-180. ⟨hal-01086084⟩
- Accès au bibtex
- ref_biblio
- Ripon K. Saha, Julia L. Lawall, Sarfraz Khurshid, Dewayne E Perry. On the Effectiveness of Information Retrieval Based Bug Localization for C Programs. ICSME 2014 – 30th International Conference on Software Maintenance and Evolution, IEEE, Sep 2014, Victoria, Canada. pp.161-170, ⟨10.1109/ICSME.2014.38⟩. ⟨hal-01086082⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Koutheir Attouchi, Gaël Thomas, André Bottaro, Gilles Muller. Memory Monitoring in a Multi-tenant OSGi Execution Environment. CBSE ’14 -17th international ACM Sigsoft symposium on Component-based software engineering, Jun 2014, Marcq-en-Baroeul, France. ⟨10.1145/2602458.2602467⟩. ⟨hal-01080634⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Lisong Guo, Julia Lawall, Gilles Muller. Oops! Where Did That Code Snippet Come From?. MSR 2014 – 11th Working Conference on Mining Software Repositories, May 2014, Hyderabad, India. pp.52-61, ⟨10.1145/2597073.2597094⟩. ⟨hal-01080397⟩
- Accès au texte intégral et bibtex
- ref_biblio
- 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. ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Switzerland. ⟨hal-00991709v2⟩
- Accès au texte intégral et bibtex
- ref_biblio
- Julia L. Lawall. Coccinelle: reducing the barriers to modularization in a large C code base. 13th International Conference on Modularity, MODULARITY ’14, ACM, Apr 2014, Lugano, Switzerland. pp.5-6, ⟨10.1145/2584469.2584661⟩. ⟨hal-01001894⟩
- Accès au bibtex
- ref_biblio
- Antoine Blin, Julien Sopena, Gilles Muller, Youssef Laarouchi. Contrôle de la bande passante mémoire dans les systèmes à criticité mixte par sous-réservation. ComPAS 2014 – Conférence d’informatique en Parallélisme, Architecture et Systeme, Apr 2014, Neuchâtel, Suisse. ⟨hal-01382780⟩
- Accès au bibtex
- ref_biblio
- Yuan Tian, David Lo, Julia Lawall. Automated construction of a software-specific word similarity database. 2014 Software Evolution Week – IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE, Feb 2014, Antwerp, Belgium. pp.44-53, ⟨10.1109/CSMR-WCRE.2014.6747213⟩. ⟨hal-01086077⟩
- Accès au bibtex
Poster communications
- ref_biblio
- Yuan Tian, David Lo, Julia Lawall. SEWordSim: software-specific word similarity database. ICSE Companion 2014 – Companion Proceedings of the 36th International Conference on Software Engineering, May 2014, Hyderabad, India. ACM, pp.568-571, ⟨10.1145/2591062.2591071⟩. ⟨hal-01086079⟩
- Accès au bibtex
Reports
- ref_biblio
- Florian David, Gaël Thomas, Julia Lawall, Gilles Muller. Continuously Measuring Critical Section Pressure with the Free Lunch Profiler. [Research Report] RR-8486, Inria Whisper; INRIA. 2014, pp.24. ⟨hal-00957154⟩
- Accès au texte intégral et bibtex