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 |
|
| 112. |
Slicing of Probabilistic Programs based on Specifications.
Journal: Science of Computer Programming. Volume: 220. Pages: 102822. Date: 2022. Authors: Marcelo Navarro, Federico Olmedo |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 118. |
The Compression Power of the BWT.
Journal: Communications of the ACM. Volume: 65. Issue: 6. Pages: 90. Date: 2022. Authors: Gonzalo Navarro |
|
| 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 |
|
| 120. |
Cultural, Scientific and Technical Antecedents of the
Cybersyn Project in Chile.
Journal: AI & SOCIETY. Date: 2022. Authors: Juan Alvarez, Claudio Gutierrez |
|