Last update: July, 2023

Pierre Ganty

2019

I am an associate Research Professor at the IMDEA Software Institute doing research in the fields of verification, language theory and automata theory. You can find more about my research output on DBLP, Google Scholar, ORCID, and GitHub.

Latest Work

Venue	Title
TACAS 2023	Antichains Algorithms for the Inclusion Problem Between ω-VPL
CAV 2022	FORQ-based Language Inclusion Formal Testing ‣ arXiv report
Fundamenta Informaticæ	A Congruence-Based Perspective on Finite Tree Automata
CONCUR 2021	Inclusion Testing of Büchi Automata based on Well-quasiorders
TOCL 2021	Complete Abstractions for Checking Language Inclusion ‣ arXiv report
MFCS 2020	A Quasiorder-based Perspective on Residual Automata ‣ arXiv report
PLDI 2020	CacheQuery: Learning Replacement Policies from Hardware Caches ‣ arXiv report

Complete list (dblp)

Short Bio

Pierre joined the IMDEA Software Institute in September 2009 after completing a nearly two years postdoc at the UCLA. He holds a joint PhD degree in Computer Science from the Université Libre de Bruxelles and from the Università Degli Studi di Genova, Italy that he obtained late 2007.

Further details in my CV.

Research Interests

Algorithmic verification techniques: design, complexity study and implementation. Verification of software systems with infinitely many states: unbounded control and/or data. Algorithmic model based bug finding techniques. Abstract Interpretation. Automatic refinement of abstract domains. Automata theory and Formal Languages. Petri nets.

Team Members

Kyveli Doveri (PhD student since October 2019)
Nicolas Manini (PhD student since October 2021)
Chana Weil-Kennedy (Postdoc since March 2023)

Former Members

Louis-Marie Dando (Postdoc October 2021–June 2023)
Nicolas Mazzocchi (Postdoc December 2020–December 2021)
Elena Gutiérrez (PhD September 2016–September 2020)
‣ Thesis: New Perspectives on Classical Automata Constructions

Pedro Valero (PhD September 2016–July 2020)
‣ Thesis: On the Use of Quasiorders in Formal Language Theory

Software

ωVPLInc: A ω-visibly pushdown language inclusion checker. Active.
forklift: A ω-regular language inclusion checker. Active. (forklift subsumes bait).
bait: Another ω-regular language inclusion checker. Active but subsumed by forklift.
zearch: zearch is a regular expression engine that takes in input a regular expression and a grammar-based compressed text and reports (by counting or printing) lines of the uncompressed text contain a match for the regular expression. Dormant.
HTTPValidator: An Input Validator for HTTP based on Context-free Languages. Dormant.
MIST: Algorithmic analyses of counter systems. Active.
Vanocka: Pattern-based verification of multithreaded programs. Algorithmic analysis of multithreaded programs that communicates through shared memory. It implements the pattern-based verification technique described in our POPL 2011 paper. Dormant.

Recent and Upcoming Service

LICS 2024, 39th Annual ACM/IEEE Symposium on Logic in Computer Science. (PC member)
FoSSaCS 2024, 27th International Conference on Foundations of Software Science and Computation Structures. (PC member)
CONCUR 2023, 34th International Conference on Concurrency Theory. (PC member)
CAV 2023, 35th International Conference on Computer-Aided Verification. (PC member)
GandALF 2022, 13th International Symposium on Games, Automata, Logics, and Formal Verification. (PC co-chair)
CAV 2022, 34th International Conference on Computer-Aided Verification. (PC member)
GandALF 2021, 12th International Symposium on Games, Automata, Logics, and Formal Verification. (PC co-chair)
ATVA 2021, 19th International Symposium on Automated Technology for Verification and Analysis. (PC member)
NETYS 2021, 9th International Conference on Networked Systems. (PC member)
CAV 2021, 33rd International Conference on Computer-Aided Verification. (PC member)
POPL 2021, 48th ACM SIGPLAN Symposium on Principles of Programming Languages. (PC member)

Contact

IMDEA Software Institute
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
Telephone: +34-91-101-2202 ext 4106