Link to DCC

Welcome to U-papers

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

Latest publications

111. Improving Matrix-vector Multiplication via Lossless Grammar-Compressed Matrices.
Journal: Proceedings of the VLDB Endowment. Volume: 15. Issue: 10. Pages: 2175-2187. Date: 2022.
Authors: Paolo Ferragina, Giovanni Manzini, Travis Gagie, Dominik Koppl, Gonzalo Navarro, Manuel Striani, Francesco Tosoni
View reference page
112. Slicing of Probabilistic Programs based on Specifications.
Journal: Science of Computer Programming. Volume: 220. Pages: 102822. Date: 2022.
Authors: Marcelo Navarro, Federico Olmedo
View reference page
113. POLYLLA: Polygonal Meshing Algorithm based on Terminal-Edge Regions.
Journal: Engineering with Computers. Date: March 2022.
Authors: sergio salinas, Nancy Hitschfeld, Alejandro Ortiz-Bernardin, hang si
View reference page
114. Squeeze: Efficient Compact Fractals for Tensor Core GPUs.
Journal: Future Generation Computer Systems. Volume: 135. Issue: 2022. Pages: 10-19. Date: May 2022.
Authors: Felipe Quezada, Cristobal Navarro, Nancy Hitschfeld, Benjamin Bustos
View reference page
115. A Practical Succinct Dynamic Graph Representation.
Journal: Information and Computation. Volume: 285B. Pages: Article 104862. Date: 2022.
Authors: Miguel E. Coimbra, Joana Hrotkó, Alexandre P. Francisco, Luís M. S. Russo, Guillermo de Bernardo, Susana Ladra, Gonzalo Navarro
View reference page
116. Faster Repetition-Aware Compressed Suffix Trees based on Block Trees.
Journal: Information and Computation. Volume: 285B. Pages: Article 104749. Date: 2022.
Authors: Manuel Cáceres, Gonzalo Navarro
View reference page
117. Plausible Sealing for Gradual Parametricity.
Journal: Proceedings of the ACM Programming Languages. Volume: 6. Issue: OOPSLA1. Pages: 70:1-70:28. Date: April 2022.
Authors: Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese
View PDF View reference page
118. The Compression Power of the BWT.
Journal: Communications of the ACM. Volume: 65. Issue: 6. Pages: 90. Date: 2022.
Authors: Gonzalo Navarro
View PDF View reference page
119. Gradualizing the Calculus of Inductive Constructions.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 44. Issue: 2. Pages: 7:1-7:82. Date: June 2022.
Authors: Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
View PDF View reference page
120. Cultural, Scientific and Technical Antecedents of the Cybersyn Project in Chile.
Journal: AI & SOCIETY. Date: 2022.
Authors: Juan Alvarez, Claudio Gutierrez
View PDF View reference page