Publications in collaboration with researchers from University of Paris-Sorbonne (2)

2024

  1. Using the Empirical Attainment Function for Analyzing Single-Objective Black-Box Optimization Algorithms

    IEEE Transactions on Evolutionary Computation

2019

  1. Specifying concurrent programs in separation logic: Morphisms and simulations

    Proceedings of the ACM on Programming Languages, Vol. 3, Núm. OOPSLA