Papers

2013

Quantitative Monadic Second-Order Logic.
[ pdf ]
( slides )
Joint work with Stephan Kreutzer.

In LICS 2013, New Orleans, USA. (More info )

Which DTDs are streaming bounded repairable?.
[ pdf ]
( slides )

Joint work with Pierre Bourhis and Gabriele Puppis.

In ICDT 2013, Genova, Italy. (More info )

Joint work with Pierre Bourhis and Gabriele Puppis.

In ICDT 2013, Genova, Italy. (More info )

Bounded repairability of word languages.
[ pdf ]

Joint work with Michael Benedikt and Gabriele Puppis.

In JCSS 79(8): 1302–1321, 2013. (More info )

Joint work with Michael Benedikt and Gabriele Puppis.

In JCSS 79(8): 1302–1321, 2013. (More info )

The language of plain SO-tgds: composition, inversion and structural properties.
[ pdf ]

Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In JCSS 79(6): 763–784, 2013. (More info )

Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In JCSS 79(6): 763–784, 2013. (More info )

2012

Bounded repairability for regular tree languages.
[ pdf ]
( slides )
Joint work with Gabriele Puppis and Slawek Staworko.

In ICDT 2012, Berlin, Germany. (More info )

Query language-based inverses of schema mappings: semantics, computation, and closure properties.
[ pdf ]

Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In VLDBJ 21(6): 823-842, 2012. (More info )

A preliminary version of these results appeared in PVLDB 2009.

Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In VLDBJ 21(6): 823-842, 2012. (More info )

A preliminary version of these results appeared in PVLDB 2009.

2011

The cost of traveling between languages.
[ pdf ]
( slides )
Joint work with Michael Benedikt and Gabriele Puppis.

In ICALP 2011, Zürich, Switzerland. (More info )

Regular repair of specifications.
[ pdf ]
( slides )

Joint work with Michael Benedikt and Gabriele Puppis.

In LICS 2011, Toronto, Canada. (More info )

Joint work with Michael Benedikt and Gabriele Puppis.

In LICS 2011, Toronto, Canada. (More info )

2010

Foundations of schema mapping management.
[ pdf ]
Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In PODS 2010, Indianapolis, USA. (More info )

2009

Composition and inversion of schema mappings.
[ pdf ]
Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In SIGMOD Record 38(3): 17-28, September 2009. (More info )

Inverting schema mappings: Bridging the gap between theory and practice.
[ pdf ]

Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In VLDB 2009, Lyon, France. (More info )

Joint work with Marcelo Arenas, Jorge Pérez, and Juan Reutter.

In VLDB 2009, Lyon, France. (More info )

The Recovery of a schema mapping: Bringing exchanged data back.
[ pdf ]

Joint work with Marcelo Arenas and Jorge Pérez.

In TODS 34(4): Article No. 22, December 2009. (More info )

Previous version in PODS 2008, Vancouver, Canada. [ pdf ]

Joint work with Marcelo Arenas and Jorge Pérez.

In TODS 34(4): Article No. 22, December 2009. (More info )

Previous version in PODS 2008, Vancouver, Canada. [ pdf ]

Talks

2012

Bounded repairability for regular tree languages.
[ pdf ]
Information System Seminar, at University of Oxford, February 14, 2012.

2011

The cost of repairing regular specifications.
[ pdf ]
Information System Seminar, at University of Oxford, June 7, 2011.

2010

Stream-based processing of XML documents.
[ pdf ]
Data Exchange, Integration, and Streams (DEIS '10), at Daghstuhl, November 7-12, 2010.

Repairing words between regular languages.
[ pdf ]

Annual Workshop on Games for Design and Verification (GAMES '10), at Oxford, September 20-23, 2010.

Annual Workshop on Games for Design and Verification (GAMES '10), at Oxford, September 20-23, 2010.

Recovering information in data exchange.
[ pdf ]

Information System Seminar, at University of Oxford, January 26, 2010.

Information System Seminar, at University of Oxford, January 26, 2010.

I am an Assistant Professor at the Department of Computer Science
at the Pontificia Universidad Catolica de Chile.
I received a D.Phil from the University of Oxford in 2013 and a
M.Sc from Pontificia Universidad Católica de Chile in 2008.
I was previously studying at Pontificia Universidad Católica de Chile as an undergraduate student where I received
a B.A. in Mathematics in 2006 and my Professional Degree in Computer Engineering in 2008.

My research interests are mostly in databases, automata theory, and verification.

My research interests are mostly in databases, automata theory, and verification.