selected publications

• academic article

  • Using Differential Execution Analysis to Identify Thread Interference.  IEEE Transactions on Parallel and Distributed Systems.  30:2866-2878. 2019
  • Fast and Portable Locking for Multicore Architectures.  ACM Transactions on Computer Systems.  33:1-62. 2016
  • NumaGiC.  ACM SIGARCH Computer Architecture News.  43:661-673. 2015
  • NumaGiC.  ACM SIGPLAN Notices.  50:661-673. 2015

• blog posting

  • Network in Disaggregated Datacenters.  arXiv (Cornell University). 2021

• chapter

  • FastSGX: A Message-Passing Based Runtime for SGX.  Lecture notes on data engineering and communications technologies. 74-85. 2024
  • ScalOMP: Analyzing the Scalability of OpenMP Applications.  Lecture notes in computer science. 36-49. 2019

• conference paper

  • Privagic: automatic code partitioning with explicit secure typing.  . 199-210. 2024
  • P₄ce: Consensus over RDMA at Line Speed.  . 508-519. 2024
  • J-NVM.  . 408-423. 2021
  • Transparent Overlapping of Blocking Communication in MPI Applications.  . 744-749. 2020
  • EActors.  . 187-200. 2018
  • Towards an Efficient Pauseless Java GC with Selective HTM-Based Access Barriers.  . 85-91. 2017
  • An interface to implement NUMA policies in the Xen hypervisor.  . 453-467. 2017
  • Preventing Memory and Information LeakageIncinerator – Eliminating Stale References in Dynamic OSGi Applications.  . 2015
  • Evaluating HTM for Pauseless Garbage Collectors in Java.  . 1-8. 2015
  • Evaluating HTM for Pauseless Garbage Collectors in Java.  2015 IEEE Trustcom/BigDataSE/ISPA. 1-8. 2015
  • Incinerator -- Eliminating Stale References in Dynamic OSGi Applications.  . 545-554. 2015
  • Optimisation mémoire dans une architecture NUMA : comparaison des gains entre natif et virtualisé.  HAL (Le Centre pour la Communication Scientifique Directe). 2015

• report

  • Remarkable Challenges of High-Performance Language Virtual Machines.  HAL (Le Centre pour la Communication Scientifique Directe). 2022