Publications

Stats

Link to DCC

Welcome to U-papers

A publications repository from the Computer Science Department of the University of Chile

Latest publications

251. Text Indexing and Searching in Sublinear Time.
Conference: Annual Symposium on Combinatorial Pattern Matching (Copenhagen, Denmark). Publisher: Springer-Verlag. Pages: article 24. Date: 2020.
Authors: Ian Munro, Gonzalo Navarro, Yakov Nekrich
View PDF
252. A Mechanized Formalization of GraphQL.
Conference: ACM SIGPLAN International Conference on Certified Programs and Proofs. Publisher: ACM Press. Pages: 201-214. Date: 2020.
Authors: Tomás Diaz, Federico Olmedo, Éric Tanter
View PDF View reference page
253. Approximating Optimal Bidirectional Macro Schemes.
Conference: Data Compression Conference (Snowbird, Utah, USA). Pages: 153-162. Date: 2020.
Authors: Luís Russo, Ana Correia, Gonzalo Navarro, Alexandre Francisco
View PDF
254. Semantrix: A Compressed Semantic Matrix.
Conference: Data Compression Conference (Snowbird, Utah, USA). Pages: 113-122. Date: 2020.
Authors: Nieves Brisaboa, Antonio Fariña, Gonzalo Navarro, Tirso Rodeiro
View PDF
255. Lessons Learned from Introducing Preteens in Parent-Led Homeschooling to Computational Thinking.
Conference: ACM Technical Symposium on Computer Science Education (Portland, OR). Publisher: ACM Press. Pages: 65-71. Date: 2020.
Authors: Carla Sepúlveda-Díaz, Elson Stuardo Rojas, Jocelyn Simmonds, Francisco Gutierrez, Nancy Hitschfeld, Cecilia Casanova, Cecilia Sotomayor
View PDF View reference page
256. Trace-Relating Compiler Correctness and Secure Compilation.
Editors: Peter Müller. Conference: European Symposium on Programming (Dublin, Ireland). Publisher: Springer Nature Switzerland AG. Pages: 1-28. Date: 2020.
Authors: Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jeremy Thibault
View PDF View reference page
257. WEFE: The Word Embeddings Fairness Evaluation Framework.
Conference: International Joint Conferences on Artificial Intelligence. Pages: 430-436. Date: 2020.
Authors: Pablo Badilla, Felipe Bravo-Marquez, Jorge Pérez
View PDF View reference page
258. Hermes: A Digital Assistant for Coordinating Invisible Work in Family Elderly Caregiving Scenarios.
Conference: Human Aspects of IT for the Aged Population. Publisher: Springer Nature Switzerland AG. Pages: 437-450. Date: 2020.
Authors: Andrea Benavides, Francisco Gutierrez, Sergio Ochoa
View PDF View reference page
259. Contextual Pattern Matching.
Conference: International Symposium on String Processing and Information Retrieval (Orlando, Florida). Publisher: Springer-Verlag. Pages: article 1. Date: 2020.
Authors: Gonzalo Navarro
View PDF
260. Practical Random Access to SLP-Compressed Texts.
Conference: International Symposium on String Processing and Information Retrieval (Orlando, Florida). Publisher: Springer-Verlag. Pages: article 16. Date: 2020.
Authors: Travis Gagie, Tomohiro I, Giovanni Manzini, Gonzalo Navarro, Hiroshi Sakamoto, Louisa Seelbach Benkner, Yoshimasa Takabatake
View PDF