Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
| 111. |
Gradual Verification of Recursive Heap Data
Structures.
Conference: ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications. Publisher: ACM Press. Pages: 228:1-228:28. Date: 2020. Authors: Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine |
|
| 112. |
Toward Agile Situated Visualization: An Exploratory User
Study.
Conference: ACM Conference on Human Factors in Computing Systems (Hawai). Publisher: ACM Press. Pages: 1-7. Date: 2020. Authors: Leonel Merino, Boris Sotomayor-Gómez, Xingyao Yu, Ronie Salgado, Alexandre Bergel, Michael Sedlmair, Daniel Weiskopf |
|
| 113. |
Assessing Textual Source Code Comparison: Split Or
Unified?.
Editors: Leonel Merino, Alexandre Bergel. Conference: International Workshop on New Interfaces for Programming (Porto, Portugal). Pages: 50-54. Date: 2020. Authors: Alejandra Cossio Chavalier, Juan Pablo Sandoval Alcocer, Alexandre Bergel |
|
| 114. |
Evaluating a Visual Approach for Understanding JavaScript
Source
Code.
Conference: IEEE International Conference on Program Comprehension (Online). Publisher: IEEE Computer Society Press. Pages: 128-138. Date: 2020. Authors: Martin Dias, Diego Orellana, Santiago Vidal, Leonel Merino, Alexandre Bergel |
|
| 115. |
Convex Polygon Packing Based Meshing Algorithm for Modeling
of Rock and Porous Media.
Conference: International Conference on Computational Science (Amsterdam, the Netherlands). Publisher: Springer. Pages: 257-269. Date: 2020. Authors: Joaquin Torres, Nancy Hitschfeld, Rafael Ruiz, Alejandro Ortiz-Bernardin |
|
| 116. |
Knowledge Graphs: Research Directions.
Editors: Andreas Pieris, Marco Manna. Book title: Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures. Publisher: Springer-Verlag. Pages: 223-253. Date: October 2020. Authors: Aidan Hogan |
|
| 117. |
Why Me?: Shedding Light on Random Processes via Randomness
Beacons.
Journal: Communications of the ACM. Volume: 63. Issue: 11. Pages: 49-50. Date: November 2020. Authors: Alejandro Hevia, Camilo Gómez |
|
| 118. |
Improving the Success Rate of Applying the Extract Method
Refactoring.
Journal: Science of Computer Programming. Volume: 195. Pages: Article 102475. Date: September 2020. Authors: Juan Pablo Sandoval Alcocer, Alejandra Cossio Chavalier, Gustavo Santos, Alexandre Bergel |
|
| 119. |
Prioritizing Versions for Performance Regression Testing: The
Pharo Case.
Journal: Science of Computer Programming. Volume: 191. Pages: Article 102415. Date: June 2020. Authors: Juan Pablo Sandoval Alcocer, Alexandre Bergel, Marco Tulio Valente |
|
| 120. |
Optimising Adjacent Membrane Segmentation and
Parameterisation in
Multicellular Aggregates by Piecewise Active Contours.
Journal: Journal of Microscopy. Volume: 278. Issue: 2. Pages: 59-75. Date: May 2020. Authors: Jorge Jara-Wilde, I. Castro, C.G. Lemus, Karina Palma, F. Valdes, Victor Castañeda, Nancy Hitschfeld, Miguel Concha, Steffen Haertel |
|