Cost Analysis of Smart Contracts Via Parametric Resource Analysis. - Victor Perez-Carrasco; Maximiliano Klemen; Pedro López-García 001; José Francisco Morales 001; Manuel V. Hermenegildo (SAS, 2020)

VeriFly: On-the-fly Assertion Checking via Incrementality. - Miguel A. Sanchez-Ordaz; Isabel Garcia-Contreras; Victor Perez-Carrasco; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

Technical Talk: A SYCL Extension for User-Driven Online Kernel Fusion. - Victor Perez 001; Lukas Sommer; Victor Lomüller; Kumudha Narasimhan; Mehdi Goli 001 (IWOCL, 2023)

Leveraging MLIR for Better SYCL Compilation (Poster). - Victor Perez 001; Ettore Tiotto; Whitney Tsang; Arnamoy Bhattacharyya; Lukas Sommer; Victor Lomüller; Jefferson Le Quellec; James Brodman (IWOCL, 2023)

User-driven Online Kernel Fusion for SYCL. - Victor Perez 001; Lukas Sommer; Victor Lomüller; Kumudha Narasimhan; Mehdi Goli 001 (ACM Trans. Archit. Code Optim., 2023)

Experiences Building an MLIR-Based SYCL Compiler. - Ettore Tiotto; Victor Perez 001; Whitney Tsang; Lukas Sommer; Julian Oppermann; Victor Lomüller; Mehdi Goli 001; James Brodman (CGO, 2024)

Runtime Instantiation of Kernels for Fast Fourier Transforms Using SYCL Specialization Constants. - Victor Perez 001; Victor Lomüller; Lukas Sommer; Julian Oppermann; Romain Biessy; Tadej Ciglaric; Mehdi Goli 001 (Euro-Par Workshops (1), 2024)

On Demand Specialization of SYCL Kernels with Specialization Constant Length Allocations (SCLA). - Victor Perez 001; Victor Lomüller; Lukas Sommer; Julian Oppermann; Romain Biessy; Tadej Ciglaric; Mehdi Goli 001 (IWOCL, 2024)