Frédéric Haziza

dblp:79/4476 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Bioinformatics and computational biology › genomics
genomic data management
0.512021
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.112020
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.112020
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.112008
Monotonic Abstraction for Programs with Dynamic Memory Heaps · CAV 2008
Programming languages and type systems
heap-manipulating programs
0.112008
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
YearPublicationVenuePosition
2021 Crypt4GH: a file format standard enabling native access to encrypted data
abstract
MOTIVATION: 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 evidence
abstract
MOTIVATION: 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
VMCAI1
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
SAS2
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
TACAS2
2013 All for the Price of Few
Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
VMCAI2
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
CONCUR4
2008 Monotonic Abstraction for Programs with Dynamic Memory Heaps
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine
CAV4
2008 Parameterized Tree Systems
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
FORTE4