Person: Pierre Genevès

DBLP: Genev=egrave=s:Pierre

Facilitated 1 volumes:

Ed

Contributed to:

2015

2014

2012

2012

2011

2011

2010

2009

2009

2007

2006

2005

2004

Wrote 14 papers:

ICFP-2015-GenevesG #problem #static typing #type system #xquery

XQuery and static typing: tackling the problem of backward axes (PG, NG), pp. 88–100.

DocEng-2014-BoschGL #automation #css #reduction #refactoring

Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.

DocEng-2012-JunediGL #analysis #independence #revisited #xml

XML query-update independence analysis revisited (MJ, PG, NL), pp. 95–98.

DocEng-2012-OliveiraGL #automation #towards

Toward automated schema-directed code revision (RO, PG, NL), pp. 103–106.

IJCAR-2012-ChekolEGL #query

SPARQL Query Containment under RDFS Entailment Regime (MWC, JE, PG, NL), pp. 134–148.

ICFP-2011-GesbertGL #logic #morphism #parametricity #polymorphism #semantics #type system

Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.

ICSE-2011-GenevesL #consistency #detection #ide #xml

Inconsistent path detection for XML IDEs (PG, NL), pp. 983–985.

ICSE-2010-GenevesL #source code #xquery

Eliminating dead-code from XQuery programs (PG, NL), pp. 305–306.

DocEng-2009-BarcenasGL #analysis #constraints #on the #query

On the analysis of queries with counting constraints (EB, PG, NL), pp. 21–24.

ICFP-2009-GenevesLQ #evolution #identification #query #xml

Identifying query incompatibilities with evolving XML schemas (PG, NL, VQ), pp. 221–230.

PLDI-2007-GenevesLS #performance #static analysis #xml

Efficient static analysis of XML paths and types (PG, NL, AS), pp. 342–351.

DocEng-2006-GenevesL #xml

Comparing XML path expressions (PG, NL), pp. 65–74.

DocEng-2005-GenevesR #compilation #policy #streaming #xpath

Compiling XPath for streaming access policy (PG, KHR), pp. 52–54.

DocEng-2004-GenevesV #optimisation #xpath

Logic-based XPath optimization (PG, JYVD), pp. 211–219.