Software Institute
Funded projects
Approved (1)
In progress (12)
- Chiodini L., Hauswirth M. (2026) BYOLM - Build Your Own Language Model
- Martin Lopez A. (2025) SAPIENS: Supporting the API Lifecycle with Neuro-Symbolic AI
- Armenti C. (2025) USI Doctoral Mobility - Carmen Armenti
- Minelli R., Tonella P. (2025) Self-Driving Cars on Interactive Dynamic Tracks: An Exhibition at Phänomena 2026
- Biagiola M. (2025) EverTest: Continual Learning for System level Software Testing
- Lanza M. (2025) FORCE - eXtended Reality Software Engineering
- Bavota G. (2024) PARSED - Personalized and contextuAlized Recommendations for SoftwarE Developers
- Tonella P. (2023) Sec4AI4Sec - Cybersecurity for AI-Augmented Systems
- Tonella P. (2023) TopoScope: a Topographical Approach to Software Testing
- Furia C. A. (2022) LastMile - Narrowing the Usability Gap of Software Verification
- Parchet R., D'Ambros M. (2022) Institutional Foundations of Industrialization, Financialization, and Globalization of the Swiss Economy. Evidence from 140 Years of the Commercial Registry
- Pautasso C. (2021) Modeling and Deployment of Flexible Choreographies in Multi-chain Environments
Completed (50)
- Furia C. A. (2026) Type-based program synthesis of multilingual programs
- Lanza M. (2023) Semantic Lifting of Code Changes through Searching Code Evolution Operator
- D'Ambros M. (2022) Loopalty - Improving smartphone e-commerce experience with augmented reality and photogrammetry
- Lanza M. (2020) INSTINCT - Improving Database Interactions in NoSQL Applications
- D'Ambros M. (2020) SmartPantry - Virtual Kitchen Assistant
- Pautasso C. (2020) API-ACE - Analytics-based Continuous Design and Evolution of Microservice APIs
- Bavota G. (2020) DEVINTA - An Artificial Assistant for Software Developers
- D'Ambros M., Parchet R. (2020) Firms and tax competition in the digital economy: a data platform for geo-temporal network analysis
- Bavota G., Lanza M. (2020) SENSOR - SENsible SOftware Refactoring
- Mocci A. (2020) Beyond Watching: Next Generation Programming Tutorials Leveraging Interaction Data
- Hauswirth M. (2019) Conceptual Change in Learning to Program
- D'Ambros M., Ferrante A. (2019) E-WASTE - Cheap and Smart Boxes for Medical Waste Management
- Furia C. A. (2019) Hi-Fi - Widely Applicable and Usable Automated Program Repair
- D'Ambros M. (2019) Tako - Collecting and Visualizing Development Activities in Visual Studio Code
- Tonella P. (2019) Precrime - Self-assessment Oracles for Anticipatory Testing
- Bavota G. (2018) CCQR - Crowdsourced Code Quality Review
- Pezzè M. (2018) ASTERIx - Automatic System TEsting of inteRactive software applIcations
- Lanza M. (2017) PROBE - Live Actionable Software Analytics
- Soulé R., Lanza M. (2017) BIGDATA - Exploratory Visual Analytics for Interaction Graphs
- Bavota G. (2017) JITRA - Just-In-Time Rational refActoring
- Pautasso C. (2015) Innovative teaching curricula, methods and infrastructures for computer science and software engineering
- Hauswirth M. (2014) ParaBoost - Exploiting multi-variant execution
- Pautasso C. (2014) Spottedmap - Emerging technologies integration
- Lanza M. (2014) ESSENTIALS - People-centric Essentials for software evolution
- Pautasso C. (2013) BenchFlow - A Benchmark for Workflow Management Systems
- Jazayeri M., Crestani F., Lanza M., Pautasso C., Pezzè M. (2013) BLISS - Bacau and Lugano – Teaching Informatics for a Sustainable Society
- Lanza M. (2013) HI-SEA - Holistic Immersive Software Evolution Ambient
- Pautasso C. (2013) Feasibility study: Elastic Cloud platform for social networking
- Pautasso C. (2013) Elastic Cloud Platform for Social Networking
- Pautasso C. (2011) USI Virtual Grid
- Hauswirth M. (2011) ParaBoost - Many-core exploitation through virtual-machine-level multi-variant speculation
- Lanza M. (2010) SOSYA - Systems of Systems Analysis
- Lanza M. (2010) Gsync - Global Synchronous Software Development
- Pautasso C., Jazayeri M. (2010) S-Cube - Software Services and Systems Network
- Binder W., Faltings B., Pautasso C. (2010) SOSOA - Self-organising Service-Oriented Architectures
- Pautasso C. (2009) CLAVOS - Continuous Lifelong Analysis and Verification of Open Services
- Hauswirth M. (2009) VIA - Vertical Profiling and Optimization of Modern Interactive Applications
- Pautasso C. (2009) USI Desktop Grid II
- Pautasso C. (2008) Projet B02 - AAA / SWITCH, e-Infrastructure for e-Science; Swiss Grid Portal
- Pautasso C. (2008) Projet B02 - AAA / SWITCH, e-Infrastructure for e-Science; Virtual EZ-Grid
- Pautasso C. (2008) SMSCG - Projet B02 - AAA / SWITCH, e-Infrastructure for e-Science; Swiss Multi-Science Computing Grid
- Pautasso C. (2008) USI Desktop Grid
- Lanza M. (2008) REBASE - REfactoring-BAsed object-oriented Software Evolution
- Lanza M. (2007) DiCoSa - Distributed Collaborative Software Analysis
- Hauswirth M. (2007) VIA - Vertical Profiling and Optimization of Modern Interactive Applications
- Jazayeri M., Lanza M. (2006) The Fundamental Programming Modules
- Eppler M., Lanza M. (2006) Viz.ch - An E-learning Course on Visual Literacy for Communication, Engineering and Business
- Lanza M. (2005) NOREX - Network of Reingeneering Expertise
- Lanza M. (2005) EVOSPACES - Multi-dimensional Navigation Spaces for Software Evolution
- Lanza M. (2005) COSE - Controlling Software Evolution
