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
Demo Data from VLDB 2026 / reviewers in the wild / expert

Diego Ordóñez Camacho

dblp:13/1884 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
0since 2021 · last 2010
0000-0001-8390-634XORCID · reported

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

Software engineering, systems software and programming languages · 2 · 2 first-author

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
Program synthesis and code generation · 33% Compilers and program optimization · 33% Program verification · 33%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program synthesis and code generation
code translation		 0.112008
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars · ASE 2008
Compilers and program optimization › compiler construction
syntax-directed translation		 0.112008
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars · ASE 2008

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

partial translation · 0.1manual transformation augmentation · 0.1annotated grammars · 0.1
YearPublicationVenuePosition
2010 Automated generation of program translation and verification tools using annotated grammars
Diego Ordóñez Camacho, Kim Mens, Mark van den Brand, Jurgen J. Vinju
 Sci. Comput. Program.1
2008 APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
abstract
Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, from a specification of their language grammar annotated with extra information. From these annotated grammars the tool automatically produces a partial translator that covers most of the translation. This translator needs to be augmented manually with specific transformations, to deal with the more complicated cases. To get more confidence on the correctness of the translation, the tool offers a control-flow equivalence verification module.
Diego Ordóñez Camacho, Kim Mens
 ASE1