Pierre Ganty -

Registered user since Mon 13 Aug 2018

Name:Pierre Ganty

Affiliation:IMDEA Software Institute, Spain

Personal website: http://software.imdea.org/~pierreganty/

Contributions

2025

Static Analysis Symposium

Committee Member in Program Committee within the SAS 2025-track

2021

POPL

Committee Member in Program Committee within the POPL-track

2020

PLDI

Author of CacheQuery: Learning Replacement Policies from Hardware Caches within the PLDI Research Papers-track

VMCAI

PC Member in Program Committee within the VMCAI 2020-track

2019

TACAS

Committee Member in Program Committee within the TACAS 2019-track

2015

ESOP

Author of Analysis of Asynchronous Programs with Event-Based Synchronization within the ESOP-track