Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by HASLab

2022

Picking Publication Targets

Authors
Baquero, C;

Publication
COMMUNICATIONS OF THE ACM

Abstract
The Communications website, http://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications , we'll publish selected posts or excerpts. twitter Follow us on Twitter at http://twitter.com/blogCACM http://cacm.acm.org/blogs/blog-cacm Carlos Baquero offers guidance on how to decide where to publish one's paper.

2022

Is Having AI Generate Text Cheating?

Authors
Baquero, C;

Publication
COMMUNICATIONS OF THE ACM

Abstract
Carlos Baquero on whether using artificial intelligence provides an unfair advantage to writers.

2022

The Dynamics of Remembering and Forgetting

Authors
Baquero, C; Cabecinhas, R;

Publication
COMMUNICATIONS OF THE ACM

Abstract
[No abstract available]

2022

What Ever Happened to Peer-to-Peer Systems?

Authors
Baquero, C;

Publication
COMMUNICATIONS OF THE ACM

Abstract

2022

Consistent Comparison of Symptom-based Methods for COVID-19 Infection Detection

Authors
Rufino, J; Ramirez, J; Baquero, C; Champati, J; Frey, D; Lillo, R; Anta, AF;

Publication

Abstract
Abstract Multiple COVID-19 diagnosis methods based on information collected from patients have been proposed during the global pandemic crisis, with the aim of providing medical staff with quick diagnosis tools to efficiently plan and manage the limited healthcare resources. In general, these methods have been developed to detect COVID-19 positive cases from a particular combination of reported symptoms, and have been evaluated using datasets extracted from different studies with different characteristics. On the other hand, the University of Maryland, in partnership with Facebook, launched the Global COVID-19 Trends and Impact Survey (UMD-CTIS), the largest health surveillance tool to date that has collected information from 114 countries/territories since April 2020. This survey captured various individual features including gender, age groups, self-reported symptoms, isolation measures, and mental health status, among others. In this paper, we compare the performance of different proposed COVID-19 diagnosis methods using the information collected by UMD-CTIS, for the years 2020 and 2021, in five countries: Brazil, Canada, Germany, Japan, and South Africa. The evaluation of these methods with homogeneous data across countries and years provides a solid and consistent comparison among them.

2022

Zipping Strategies and Attribute Grammars

Authors
Macedo, JN; Viera, M; Saraiva, J;

Publication
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

Abstract
Strategic term rewriting and attribute grammars are two powerful programming techniques widely used in language engineering. The former relies on strategies (recursion schemes) to apply term rewrite rules in defining transformations, while the latter is suitable for expressing context-dependent language processing algorithms. Each of these techniques, however, is usually implemented by its own powerful and large processor system. As a result, it makes such systems harder to extend and to combine. We present the embedding of both strategic tree rewriting and attribute grammars in a zipper-based, purely functional setting. The embedding of the two techniques in the same setting has several advantages: First, we easily combine/zip attribute grammars and strategies, thus providing language engineers the best of the two worlds. Second, the combined embedding is easier to maintain and extend since it is written in a concise and uniform setting. We show the expressive power of our library in optimizing Haskell let expressions, expressing several Haskell refactorings and solving several language processing tasks for an Oberon-0 compiler. © 2022, Springer Nature Switzerland AG.

  • 32
  • 255