Publications

Stats

Link to DCC

Welcome to U-papers

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

Latest publications

31. 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
32. 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
33. 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
34. 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
35. 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
36. 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
37. 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
38. 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
View PDF View reference page
39. 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
40. Automatic Extraction of Nested Entities in Clinical Referrals in Spanish.
Journal: ACM Transactions on Computing for Healthcare. Volume: 3. Issue: 3. Pages: 1-22. Date: July 2022.
Authors: Pablo Báez, Felipe Bravo-Marquez, Jocelyn Dunstan, Matías Rojas, Fabian Villena
View PDF View reference page