VLDB 2026 Research / reviewers in the wild / expert
Frédéric Haziza
dblp:79/4476
· DBLP profile ↗
12ranked-venue papers
1as first author
2since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 9 · 1 first-author · 1 since 2021Theory of computation · 2Applied, interdisciplinary, general and emerging computing · 2 · 1 since 2021Computer networks · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Interdisciplinary, comprehensive, and emerging computing
2 papers |
Bioinformatics and computational biology · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 50% Programming languages and type systems · 50% | |
| Network and information security
1 paper |
Cryptographic protocols and secure computation · 100% |
Topics — the 5 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology › genomics
genomic data management |
0.5 | 1 | 2021 | Crypt4GH: a file format standard enabling native access to encrypted data · Bioinform. 2021 |
Bioinformatics and computational biology › statistical genetics › genotype-phenotype association
disease association |
0.1 | 1 | 2020 | Genome-phenome explorer (GePhEx): a tool for the visualization and interpretation of phenotypic relationships supported by genetic evidence · Bioinform. 2020 |
Bioinformatics and computational biology › population genetics
linkage disequilibrium |
0.1 | 1 | 2020 | Genome-phenome explorer (GePhEx): a tool for the visualization and interpretation of phenotypic relationships supported by genetic evidence · Bioinform. 2020 |
Program analysis › static analysis
abstract interpretation |
0.1 | 1 | 2008 | Monotonic Abstraction for Programs with Dynamic Memory Heaps · CAV 2008 |
Programming languages and type systems
heap-manipulating programs |
0.1 | 1 | 2008 | Monotonic Abstraction for Programs with Dynamic Memory Heaps · CAV 2008 |
Methods — techniques the papers use, named apart from their topics
file format specification · 1.0pathway analysis · 0.4linkage disequilibrium analysis · 0.4monotonic abstraction · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Crypt4GH: a file format standard enabling native access to encrypted dataabstractMOTIVATION: The majority of genome analysis tools and pipelines require data to be decrypted for access. This potentially leaves sensitive genetic data exposed, either because the unencrypted data is not removed after analysis, or because the data leaves traces on the permanent storage medium. RESULTS: : We defined a file container specification enabling direct byte-level compatible random access to encrypted genetic data stored in community standards such as SAM/BAM/CRAM/VCF/BCF. By standardizing this format, we show how it can be added as a native file format to genomic libraries, enabling direct analysis of encrypted data without the need to create a decrypted copy. AVAILABILITY AND IMPLEMENTATION: The Crypt4GH specification can be found at: http://samtools.github.io/hts-specs/crypt4gh.pdf. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. Alexander Senf, Robert Davies, Frédéric Haziza, John Marshall, Juan Ramón Troncoso-Pastoriza, Oliver Hofmann 0001, Thomas M. Keane |
Bioinform. | 3 |
| 2021 | Correction to: An integrated specification and verification technique for highly concurrent data structures
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine |
Int. J. Softw. Tools Technol. Transf. | 2 |
| 2020 | Genome-phenome explorer (GePhEx): a tool for the visualization and interpretation of phenotypic relationships supported by genetic evidenceabstractMOTIVATION: Association studies based on SNP arrays and Next Generation Sequencing technologies have enabled the discovery of thousands of genetic loci related to human diseases. Nevertheless, their biological interpretation is still elusive, and their medical applications limited. Recently, various tools have been developed to help bridging the gap between genomes and phenomes. To our knowledge, however none of these tools allows users to retrieve the phenotype-wide list of genetic variants that may be linked to a given disease or to visually explore the joint genetic architecture of different pathologies. RESULTS: We present the Genome-Phenome Explorer (GePhEx), a web-tool easing the visual exploration of phenotypic relationships supported by genetic evidences. GePhEx is primarily based on the thorough analysis of linkage disequilibrium between disease-associated variants and also considers relationships based on genes, pathways or drug-targets, leveraging on publicly available variant-disease associations to detect potential relationships between diseases. We demonstrate that GePhEx does retrieve well-known relationships as well as novel ones, and that, thus, it might help shedding light on the patho-physiological mechanisms underlying complex diseases. To this end, we investigate the potential relationship between schizophrenia and lung cancer, first detected using GePhEx and provide further evidence supporting a functional link between them. AVAILABILITY AND IMPLEMENTATION: GePhEx is available at: https://gephex.ega-archive.org/. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online. Xavier Farré, Nino Spataro, Frédéric Haziza, Jordi Rambla De Argila, Arcadi Navarro |
Bioinform. | 3 |
| 2017 | An integrated specification and verification technique for highly concurrent data structures
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine |
Int. J. Softw. Tools Technol. Transf. | 2 |
| 2016 | Pointer Race Freedom
Frédéric Haziza, Lukás Holík, Roland Meyer 0001, Sebastian Wolff 0001 |
VMCAI | 1 |
| 2016 | Parameterized verification through view abstraction
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík |
Int. J. Softw. Tools Technol. Transf. | 2 |
| 2014 | Block Me If You Can! - Context-Sensitive Parameterized Verification
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík |
SAS | 2 |
| 2013 | An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson 0001, Ahmed Rezine |
TACAS | 2 |
| 2013 | All for the Price of Few
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík |
VMCAI | 2 |
| 2010 | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification
Parosh Aziz Abdulla, Yu-Fang Chen 0001, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine |
CONCUR | 4 |
| 2008 | Monotonic Abstraction for Programs with Dynamic Memory Heaps
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine |
CAV | 4 |
| 2008 | Parameterized Tree Systems
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine |
FORTE | 4 |