Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
| 271. |
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 |
|
| 272. |
Slicing of Probabilistic Programs based on Specifications.
Journal: Science of Computer Programming. Volume: 220. Pages: 102822. Date: 2022. Authors: Marcelo Navarro, Federico Olmedo |
|
| 273. |
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 |
|
| 274. |
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 |
|
| 275. |
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 |
|
| 276. |
The Compression Power of the BWT.
Journal: Communications of the ACM. Volume: 65. Issue: 6. Pages: 90. Date: 2022. Authors: Gonzalo Navarro |
|
| 277. |
Optimal Joins using Compressed Quadtrees.
Journal: Transactions on Database Systems. Volume: 47. Issue: 2. Pages: Article 8. Date: 2022. Authors: Diego Arroyuelo, Gonzalo Navarro, Juan L. Reutter, Javiel Rojas-Ledesma |
|
| 278. |
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 |
|
| 279. |
Cultural, Scientific and Technical Antecedents of the
Cybersyn Project in Chile.
Journal: AI & SOCIETY. Date: 2022. Authors: Juan Alvarez, Claudio Gutierrez |
|
| 280. |
Graph Compression for Adjacency-Matrix Multiplication.
Journal: SN Computer Science. Volume: 3. Pages: Article 193. Date: 2022. Authors: Alexandre Francisco, Travis Gagie, Dominik Koppl, Susana Ladra, Gonzalo Navarro |
|