CRISTIAN RIVEROS
Personal Website
"In their capacity as a tool, computers will be but a ripple on the surface of our culture. In their capacity as intellectual challenge, they are without precedent in the cultural history of mankind." E. W. Dijkstra, Turing Award Lecture, 1972
Department of Computer Science
Vicuna Mackenna 4860
Edificio San Agustin, 4to piso
Macul, Santiago, 7820436
+56 2 23547407
criveros@ing.puc.cl
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)
Bounded repairability of word languages. [ pdf ]
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)
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.
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)
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)
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 ]
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.
Recovering information in data exchange. [ pdf ]
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. picture 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.