Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Marcelino Rodriguez-Cancio

dblp:160/8664 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 61% Runtime systems and virtual machines · 30% Software testing · 9%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Performance modeling and evaluation · 100%

Topics — the 6 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization › compiler optimization › local optimization
constant folding
0.212016
Automatic microbenchmark generation to prevent dead code elimination and constant folding · ASE 2016
Compilers and program optimization
dead code elimination
0.212016
Automatic microbenchmark generation to prevent dead code elimination and constant folding · ASE 2016
Runtime systems and virtual machines › dynamic compilation
just-in-time compilation
0.212016
Automatic microbenchmark generation to prevent dead code elimination and constant folding · ASE 2016
Performance modeling and evaluation
benchmarking
0.212016
Automatic microbenchmark generation to prevent dead code elimination and constant folding · ASE 2016
Performance modeling and evaluation › benchmarking
microbenchmarking
0.212016
Automatic microbenchmark generation to prevent dead code elimination and constant folding · ASE 2016
Software testing
test generation
0.112016
Automatic microbenchmark generation to prevent dead code elimination and constant folding · ASE 2016

Methods — techniques the papers use, named apart from their topics

automatic code generation · 0.5
YearPublicationVenuePosition
2019 Approximate loop unrolling
abstract
We introduce Approximate Unrolling, a compiler loop optimization that reduces execution time and energy consumption, exploiting code regions that can endure some approximation and still produce acceptable results. Specifically, this work focuses on counted loops that map a function over the elements of an array. Approximate Unrolling transforms loops similarly to Loop Unrolling. However, unlike its exact counterpart, our optimization does not unroll loops by adding exact copies of the loop's body. Instead, it adds code that interpolates the results of previous iterations.
Marcelino Rodriguez-Cancio, Benoît Combemale, Benoit Baudry
CF1
2018 Authentication and Usability in mHealth Apps
abstract
Mobile health (mHealth) apps have been adopted in healthcare areas such as the management of diabetes, the monitoring of physical activities and the treatment of HIV. The users of mHealth may be patients with handicaps such as motor impairments, difficulties to remember and psychiatric conditions. Hence, assumptions normally made on other types of apps, like the user's ability to type or remember a password, might not hold in the mHealth area. This paper evaluates how different authentication approaches impact mHealth apps usability. Second, we present new metrics to evaluate ease-of-use and third, we evaluate the usability of two common authentication approaches for mHealth apps via several key process aspects and their impact on users. Based on these results, we propose a QR-Code based authentication approach for mHealth apps, which helps overcome common impediments faced by mHealth apps users.
Zhongwei Teng, Peng Zhang 0034, William Nock, Marcelino Rodriguez-Cancio, Jules White, Douglas C. Schmidt, Denis Gilmore, Jonathan C. Nesbitt
HealthCom5
2016 Automatic microbenchmark generation to prevent dead code elimination and constant folding
abstract
Microbenchmarking evaluates, in isolation, the execution time of small code segments that play a critical role in large applications. The accuracy of a microbenchmark depends on two critical tasks: wrap the code segment into a payload that faithfully recreates the execution conditions of the large application; build a scaffold that runs the payload a large number of times to get a statistical estimate of the execution time. While recent frameworks such as the Java Microbenchmark Harness (JMH) address the scaffold challenge, developers have very limited support to build a correct payload. This work focuses on the automatic generation of payloads, starting from a code segment selected in a large application. Our generative technique prevents two of the most common mistakes made in microbenchmarks: dead code elimination and constant folding. A microbenchmark is such a small program that can be “over-optimized” by the JIT and result in distorted time measures, if not designed carefully. Our technique automatically extracts the segment into a compilable payload and generates additional code to prevent the risks of “over-optimization”. The whole approach is embedded in a tool called AutoJMH, which generates payloads for JMH scaffolds. We validate the capabilities AutoJMH, showing that the tool is able to process a large percentage of segments in real programs. We also show that AutoJMH can match the quality of payloads handwritten by performance experts and outperform those written by professional Java developers without experience in microbenchmarking.
Marcelino Rodriguez-Cancio, Benoît Combemale, Benoit Baudry
ASE1