Publications

Stats

Link to DCC

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
View reference page
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
View reference page
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
View reference page
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
View reference page
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
View reference page
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
View PDF View reference page
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
View reference page
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
View reference page
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
View reference page
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
View reference page