Stefano Zacchiroli

Jesús M. González-Barahona

Théo Zimmermann

CoRR, 2024

2023

The software heritage license dataset (2022 edition).

[BibT_eX]

[DOI]

Sergio Raúl Montes León

Gregorio Robles

Empir. Softw. Eng., November, 2023

Using the uniqueness of global identifiers to determine the provenance of Python software source code.

[BibT_eX]

[DOI]

Yiming Sun

Daniel M. Germán

Empir. Softw. Eng., October, 2023

Robust and scalable content-and-structure indexing.

[BibT_eX]

[DOI]

VLDB J., July, 2023

The Software Heritage Open Science Ecosystem.

[BibT_eX]

[DOI]

CoRR, 2023

Assessing the Threat Level of Software Supply Chains with the Log Model.

[BibT_eX]

[DOI]

Luis Soeiro

Thomas Robert

Proceedings of the IEEE International Conference on Big Data, 2023

Fingerprinting and Building Large Reproducible Datasets.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Conference on Reproducibility and Replicability, 2023

2022

Reproducible Builds: Increasing the Integrity of Software Supply Chains.

[BibT_eX]

[DOI]

Chris Lamb

IEEE Softw., 2022

Robust and Scalable Content-and-Structure Indexing (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Geographic Diversity in Public Code Contributions.

[BibT_eX]

[DOI]

CoRR, 2022

Worldwide Gender Differences in Public Code Contributions.

[BibT_eX]

[DOI]

CoRR, 2022

Efficient Prior Publication Identification for Open Source Code.

[BibT_eX]

[DOI]

Daniele Serafini

Proceedings of the OpenSym 2022: The 18th International Symposium on Open Collaboration, Madrid, Spain, September 7, 2022

A Large-scale Dataset of (Open Source) License Text Variants.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Geographic Diversity in Public Code Contributions: An Exploratory Large-Scale Study Over 50 Years.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

The General Index of Software Engineering Papers.

[BibT_eX]

[DOI]

Zeinab Abou Khalil

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Worldwide Gender Differences in Public Code Contributions and how they have been affected by the COVID-19 pandemic.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, 2022

Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis.

[BibT_eX]

[DOI]

Zeinab Abou Khalil

Proceedings of the ESEM '22: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Helsinki, Finland, September 19, 2022

2021

Gender Differences in Public Code Contributions: A 50-Year Perspective.

[BibT_eX]

[DOI]

IEEE Softw., 2021

Image-based many-language programming language identification.

[BibT_eX]

[DOI]

Francesca Del Bonifro

Maurizio Gabbrielli

Antonio Lategano

PeerJ Comput. Sci., 2021

'Open source has won and lost the war': Legitimising commercial-communal hybridisation in a FOSS project.

[BibT_eX]

[DOI]

New Media Soc., 2021

The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development.

[BibT_eX]

[DOI]

Thibault Allançon

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Content-Based Textual File Type Detection at Scale.

[BibT_eX]

[DOI]

Francesca Del Bonifro

Maurizio Gabbrielli

Proceedings of the ICMLC 2021: 13th International Conference on Machine Learning and Computing, 2021

2020

Software provenance tracking at the scale of public source code.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Referencing Source Code Artifacts: A Separate Concern in Software Citation.

[BibT_eX]

[DOI]

Morane Gruenpeter

Comput. Sci. Eng., 2020

Continuous Open Source License Compliance.

[BibT_eX]

[DOI]

Simon Phipps

Computer, 2020

Ultra-Large-Scale Repository Analysis via Graph Compression.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Dependency Solving Is Still Hard, but We Are Getting Better at It.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

The Software Heritage Graph Dataset: Large-scale Analysis of Public Software Development History.

[BibT_eX]

[DOI]

Diomidis Spinellis

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Determining the Intrinsic Structure of Public Software Development History.

[BibT_eX]

[DOI]

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Forking Without Clicking: on How to Identify Software Repository Forks.

[BibT_eX]

[DOI]

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

2019

Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale.

[BibT_eX]

[DOI]

CoRR, 2019

The software heritage graph dataset: public software development under one roof.

[BibT_eX]

[DOI]

Diomidis Spinellis

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

2018

Spacetime Characterization of Real-Time Collaborative Editing.

[BibT_eX]

[DOI]

Gabriele D'Angelo

Proc. ACM Hum. Comput. Interact., 2018

Building the universal archive of source code.

[BibT_eX]

[DOI]

Jean-François Abramatic

Commun. ACM, 2018

Identifiers for Digital Objects: The case of software source code preservation.

[BibT_eX]

[DOI]

Morane Gruenpeter

Proceedings of the 15th International Conference on Digital Preservation, 2018

Towards Universal Software Evolution Analysis.

[BibT_eX]

[DOI]

Proceedings of the 17th Belgium-Netherlands Software Evolution Workshop, Delft, the Netherlands, December 10th - to, 2018

2017

The Debsources Dataset: two decades of free and open source software.

[BibT_eX]

[DOI]

Matthieu Caneill

Daniel M. Germán

Empir. Softw. Eng., 2017

Software Heritage: Scholarly and Educational Synergies with Preserving Our Software Commons.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

Software Heritage: Why and How to Preserve Software Source Code.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Digital Preservation, 2017

2015

Editorial.

[BibT_eX]

[DOI]

J. Web Eng., 2015

The Debsources Dataset: Two Decades of Debian Source Code Metadata.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Mining Component Repositories for Installability Issues.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Automatic Deployment of Services in the Cloud with Aeolus Blender.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Web Technologies: Selected & extended papers from WT ACM SAC 2012.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Learning from the future of component repositories.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Aeolus: A component model for the cloud.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Automated synthesis and deployment of cloud applications.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Debsources: live and historical views on macro-level software evolution.

[BibT_eX]

[DOI]

Matthieu Caneill

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

2013

A modular package manager architecture.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

Component Reconfiguration in the Presence of Conflicts.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Aeolus: Mastering the Complexity of Cloud Application Deployment.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012

Dependency solving: A separate concern in component evolution management.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Constrained Wiki: The WikiWay to Validating Content.

[BibT_eX]

[DOI]

Adv. Hum. Comput. Interact., 2012

Towards a Formal Component Model for the Cloud.

[BibT_eX]

[DOI]

Gianluigi Zavattaro

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Why do software packages conflict?

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

Formal Aspects of Free and Open Source Software Components - A Short Survey.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2012

2011

Enforcing Type-Safe Linking using Inter-Package Relationships.

[BibT_eX]

[DOI]

Stud. Inform. Univ., 2011

Supporting software evolution in component-based FOSS systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Sources of Inter-package Conflicts in Debian

[BibT_eX]

[DOI]

CoRR, 2011

MPM: a modular package manager.

[BibT_eX]

[DOI]

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010

Feature Diagrams as Package Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Content cloaking: preserving privacy with Google Docs and other web applications.

[BibT_eX]

[DOI]

Gabriele D'Angelo

Fabio Vitali

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining.

[BibT_eX]

[DOI]

Lucas Nussbaum

Proceedings of the 7th International Working Conference on Mining Software Repositories, 2010

2009

Expressing advanced user preferences in component installation

[BibT_eX]

[DOI]

CoRR, 2009

Towards maintainer script modernization in FOSS distributions

[BibT_eX]

[DOI]

CoRR, 2009

Where are your manners?: Sharing best community practices in the web 2.0.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Strong dependencies between software components.

[BibT_eX]

[DOI]

Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

A Model Driven Approach to Upgrade Package-Based Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2009

Towards a Model Driven Approach to Upgrade Complex Software Systems.

[BibT_eX]

Proceedings of the ENASE 2009, 2009

2008

Towards the unification of formats for overlapping markup.

[BibT_eX]

[DOI]

Paolo Marinelli

Fabio Vitali

New Rev. Hypermedia Multim., 2008

Spurious Disambiguation Errors and How to Get Rid of Them.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2008

Description of the CUDF Format

[BibT_eX]

[DOI]

CoRR, 2008

Solving package dependencies: from EDOS to Mancoosi

[BibT_eX]

[DOI]

CoRR, 2008

Wiki content templating.

[BibT_eX]

[DOI]

Fabio Vitali

Proceedings of the 17th International Conference on World Wide Web, 2008

Package Upgrades In FOSS Distributions: Details And Challenges.

[BibT_eX]

[DOI]

Paulo Trezentos

Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, 2008

2007

User interaction widgets for interactive theorem proving.

[BibT_eX]

[DOI]

PhD thesis, 2007

User Interaction with the Matita Proof Assistant.

[BibT_eX]

[DOI]

Andrea Asperti

J. Autom. Reason., 2007

Spurious Disambiguation Error Detection.

[BibT_eX]

[DOI]

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Tinycals: Step by Step Tacticals.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Constrained Wiki: an Oxymoron?

[BibT_eX]

[DOI]

Proceedings of the 2006 International Symposium on Wikis, 2006

Crafting a Proof Assistant.

[BibT_eX]

[DOI]

Andrea Asperti

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

From Notation to Semantics: There and Back Again.

[BibT_eX]

[DOI]

Luca Padovani

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

2004

A Content Based Mathematical Search Engine: Whelp.

[BibT_eX]

[DOI]

Andrea Asperti

Ferruccio Guidi

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

Efficient Ambiguous Parsing of Mathematical Formulae.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

A Generative Approach to the Implementation of Language Bindings for the Document Object Model.

[BibT_eX]

[DOI]

Luca Padovani