Stefano Zacchiroli
Italian computer programmer
Stefano Zacchiroli's AcademicInfluence.com Rankings
Download Badge
Computer Science
Stefano Zacchiroli's Degrees
- PhD Computer Science University of Bologna
- Masters Computer Science University of Bologna
- Bachelors Computer Science University of Bologna
Similar Degrees You Can Earn
Why Is Stefano Zacchiroli Influential?
(Suggest an Edit or Addition)According to Wikipedia, Stefano Zacchiroli is an Italian and French academic and computer scientist who lives and works in Paris, and a former Debian Project Leader. Debian involvement Zacchiroli became a Debian Developer in 2001. After attending LinuxTag in 2004, he became more involved in the Debian community and the project itself, eventually being elected as DPL in 2010, succeeding Steve McIntyre, a position in which he served from April 2010 to April 2013. In April 2011, he was re-elected unopposed as project leader. He was himself succeeded by Lucas Nussbaum in an election where he himself was no longer a candidate.
Stefano Zacchiroli's Published Works
Published Works
- Software Heritage: Why and How to Preserve Software Source Code (2017) (112)
- User Interaction with the Matita Proof Assistant (2007) (104)
- Strong dependencies between software components (2009) (74)
- Package upgrades in FOSS distributions: details and challenges (2008) (68)
- A Content Based Mathematical Search Engine: Whelp (2004) (64)
- Aeolus: A component model for the cloud (2014) (61)
- Dependency solving: A separate concern in component evolution management (2012) (54)
- Building the universal archive of source code (2018) (48)
- Towards a Formal Component Model for the Cloud (2012) (43)
- Crafting a Proof Assistant (2006) (42)
- Automated synthesis and deployment of cloud applications (2014) (42)
- Supporting software evolution in component-based FOSS systems (2011) (41)
- Why do software packages conflict? (2012) (40)
- The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining (2010) (36)
- The Software Heritage Graph Dataset: Public Software Development Under One Roof (2019) (36)
- Automatic Deployment of Services in the Cloud with Aeolus Blender (2015) (31)
- Identifiers for Digital Objects: The case of software source code preservation (2018) (29)
- Constrained Wiki: an Oxymoron? (2006) (29)
- MPM: a modular package manager (2011) (28)
- Tinycals: Step by Step Tacticals (2007) (25)
- Content cloaking: preserving privacy with Google Docs and other web applications (2010) (25)
- Wiki content templating (2008) (22)
- Feature Diagrams as Package Dependencies (2010) (22)
- Towards the unification of formats for overlapping markup (2008) (22)
- A modular package manager architecture (2013) (22)
- Mining Component Repositories for Installability Issues (2015) (19)
- Solving package dependencies: from EDOS to Mancoosi (2008) (19)
- Efficient Ambiguous Parsing of Mathematical Formulae (2004) (19)
- From Notation to Semantics: There and Back Again (2006) (18)
- Referencing Source Code Artifacts: A Separate Concern in Software Citation (2020) (18)
- Learning from the future of component repositories (2012) (17)
- Aeolus: Mastering the Complexity of Cloud Application Deployment (2013) (17)
- Reproducible Builds: Increasing the Integrity of Software Supply Chains (2021) (17)
- Towards maintainer script modernization in FOSS distributions (2009) (16)
- The Debsources Dataset: two decades of free and open source software (2017) (16)
- ‘Open source has won and lost the war’: Legitimising commercial–communal hybridisation in a FOSS project (2020) (15)
- Component Reconfiguration in the Presence of Conflicts (2013) (14)
- Debsources: live and historical views on macro-level software evolution (2014) (14)
- Software provenance tracking at the scale of public source code (2020) (13)
- Searching Mathematics on the Web: State of the Art and Future Developments (2005) (13)
- Dependency Solving Is Still Hard, but We Are Getting Better at It (2020) (13)
- Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper) (2015) (11)
- Automatic Deployment of Software Components in the Cloud with the Aeolus Blender (2015) (11)
- Gender Differences in Public Code Contributions: A 50-Year Perspective (2020) (10)
- A Model Driven Approach to Upgrade Package-Based Software Systems (2009) (9)
- The Software Heritage Graph Dataset: Large-scale Analysis of Public Software Development History (2020) (8)
- Spacetime Characterization of Real-Time Collaborative Editing (2018) (8)
- Optimal Provisioning in the Cloud (2013) (7)
- Metamodel for Describing System Structure and State (2009) (7)
- User interaction widgets for interactive theorem proving (2007) (7)
- Spurious Disambiguation Errors and How to Get Rid of Them (2008) (7)
- Expressing advanced user preferences in component installation (2009) (7)
- Description of the CUDF Format (2008) (6)
- Spurious Disambiguation Error Detection (2007) (6)
- Towards a Model Driven Approach to Upgrade Complex Software Systems (2009) (6)
- Open Source Systems: Towards Robust Practices - 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings (2017) (5)
- The Debsources Dataset: Two Decades of Debian Source Code Metadata (2015) (5)
- Ultra-Large-Scale Repository Analysis via Graph Compression (2020) (5)
- Worldwide Gender Differences in Public Code Contributions and how they have been affected by the COVID-19 pandemic (2022) (5)
- Growth and Duplication of Public Source Code over Time: Provenance Tracking at Scale (2019) (5)
- Where are your manners?: Sharing best community practices in the web 2.0 (2009) (5)
- Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators (2007) (5)
- Enforcing Type-Safe Linking using Inter-Package Relationships (2010) (4)
- Constrained Wiki: The WikiWay to Validating Content (2012) (4)
- Debian: 18 years of free software, do-ocracy, and democracy (2011) (4)
- Brokers and Web-Services for Automatic Deduction : a Case Study (4)
- Preliminary Report on the Influence of Capital in an Ethical-Modular Project: Quantitative data from the 2016 Debian Survey (2017) (4)
- Forking Without Clicking: on How to Identify Software Repository Forks (2020) (3)
- Continuous Open Source License Compliance (2020) (3)
- Manccosi Deliverable D5.2: Extension of an existing package manager to produce traces of ugradeability problems in CUDF format (2010) (3)
- HotSWUp '08 Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008) (3)
- Sources of Inter-package Conflicts in Debian (2011) (3)
- Content-Based Textual File Type Detection at Scale (2021) (3)
- Optimal Provisioning in the Cloud. Technical report of the Aeolus project (2013) (3)
- The creation of a new type of scientific deposit: Software (2018) (2)
- A Generative Approach to the Implementation of Language Bindings for the Document Object Model (2004) (2)
- Software Heritage: Scholarly and Educational Synergies with Preserving Our Software Commons (2017) (2)
- Wiki Semantics via Wiki Templating (2010) (2)
- Templating Wiki Content for Fun and Profit (2007) (2)
- Using Preferences to Tame your Package Manager (2014) (2)
- Making Lovework: Editorial Notes for the JOPP issue on Peer Production and Work (2017) (2)
- The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development (2021) (2)
- Image-based many-language programming language identification (2021) (1)
- FIRM DISCOURSES AND DIGITAL INFRASTRUCTURE PROJECTS (2020) (1)
- Formal Aspects of Free and Open Source Software Components - A Short Survey (2012) (1)
- Towards Universal Software Evolution Analysis (2018) (1)
- Robust and Scalable Content-and-Structure Indexing (Extended Version) (2022) (1)
- Now, the Commons (2017) (1)
- Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project (2013) (1)
- Evaluation of Novel Approaches to Software Engineering (2016) (1)
- A Large-scale Dataset of (Open Source) License Text Variants (2022) (1)
- The coproduction of open source software by volunteers and big tech firms (2021) (1)
- Determining the Intrinsic Structure of Public Software Development History (2020) (1)
- The Debsources Dataset (2015) (0)
- Efficient Prior Publication Identification for Open Source Code (2022) (0)
- Web Technologies: Selected & extended papers from WT ACM SAC 2012 (2014) (0)
- ℂDuce User's Manual (2011) (0)
- Session details: Volume I: Artificial intelligence & agents, distributed systems, and information systems: web technologies track (2013) (0)
- Diagrams as Package Dependencies ? (2010) (0)
- The Debsources Dataset: two decades of free and open source software (2016) (0)
- Robust and scalable content-and-structure indexing (2022) (0)
- Pre-print version of the paper " Automatic Application Deployment in the Cloud : from Practice to Theory (0)
- The General Index of Software Engineering Papers (2022) (0)
- Geographic Diversity in Public Code Contributions: An Exploratory Large-Scale Study Over 50 Years (2022) (0)
- Session details: Volume I: Artificial intelligence and agents, distributed systems, and information systems: Web technologies track (2014) (0)
- Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis (2022) (0)
- Session details: Applications, distributed systems, and engineering: Applications, distributed systems, and engineering: Web technologies track (2011) (0)
- Debian: 18 years and counting (2012) (0)
- New Results - Formal management of package dependencies (2011) (0)
- Software provenance tracking at the scale of public source code (2020) (0)
- Streaming Validation of Schemata: the Lazy Typing Discipline (2007) (0)
- Editorial (2013) (0)
- ConstrainedWiki : TheWikiWay to Validating Content (2014) (0)
This paper list is powered by the following services:
Other Resources About Stefano Zacchiroli
What Schools Are Affiliated With Stefano Zacchiroli?
Stefano Zacchiroli is affiliated with the following schools: