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

Armijn Hemel

dblp:49/8170 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 2014
—ORCID · none

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

Software engineering, systems software and programming languages · 3 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 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
Software maintenance and evolution · 83% Program analysis · 8% Operating systems · 8%

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

TopicWeightPapersLastEvidence papers
Software maintenance and evolution › software ecosystems
license compliance
0.212014
Tracing software build processes to uncover license compliance inconsistencies · ASE 2014
Software maintenance and evolution
software dependencies
0.212014
Tracing software build processes to uncover license compliance inconsistencies · ASE 2014
Software maintenance and evolution
software ecosystems
0.212014
Tracing software build processes to uncover license compliance inconsistencies · ASE 2014
Program analysis
dynamic analysis
0.112014
Tracing software build processes to uncover license compliance inconsistencies · ASE 2014
Operating systems › operating system interface › system call
system call tracing
0.112014
Tracing software build processes to uncover license compliance inconsistencies · ASE 2014

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

graph construction · 0.2dynamic system call tracing · 0.2
YearPublicationVenuePosition
2014 Tracing software build processes to uncover license compliance inconsistencies
abstract
Open Source Software (OSS) components form the basis for many software systems. While the use of OSS components accelerates development, client systems must comply with the license terms of the OSS components that they use. Failure to do so exposes client system distributors to possible litigation from copyright holders. Yet despite the importance of license compliance, tool support for license compliance assessment is lacking. In this paper, we propose an approach to construct and analyze the Concrete Build Dependency Graph (CBDG) of a software system by tracing system calls that occur at build-time. Through a case study of seven open source systems, we show that the constructed CBDGs: (1) accurately classify sources as included in or excluded from deliverables with 88%-100% precision and 98%-100% recall, and (2) can uncover license compliance inconsistencies in real software systems -- two of which prompted code fixes in the CUPS and FFmpeg systems.
Sander van der Burg, Eelco Dolstra, Shane McIntosh, Julius Davies, Daniel M. Germán, Armijn Hemel
ASE6
2011 Finding software license violations through binary code clone detection
abstract
Software released in binary form frequently uses third-party packages without respecting their licensing terms. For instance, many consumer devices have firmware containing the Linux kernel, without the suppliers following the requirements of the GNU General Public License. Such license violations are often accidental, e.g., when vendors receive binary code from their suppliers with no indication of its provenance. To help find such violations, we have developed the Binary Analysis Tool (BAT), a system for code clone detection in binaries. Given a binary, such as a firmware image, it attempts to detect cloning of code from repositories of packages in source and binary form. We evaluate and compare the effectiveness of three of BAT's clone detection techniques: scanning for string literals, detecting similarity through data compression, and detecting similarity by computing binary deltas.
Armijn Hemel, Karl Trygve Kalleberg, Rob Vermaas, Eelco Dolstra
MSR1
2007 Purely Functional System Configuration Management
Eelco Dolstra, Armijn Hemel
HotOS2