Seminari
Da febbraio 2019, l’Istituto del Software ha iniziato una serie di seminari. Ogni giovedì pomeriggio, un ricercatore dell’Istituto terrà un breve discorso su un argomento di ingegneria del software a sua scelta, come ad esempio articoli interessanti pubblicati di recente, articoli seminali nel proprio campo di ricerca, discussioni su idee preliminari, tutorial e piccoli esperimenti.
Sulla nostra playlist YouTube potete riguardare alcuni dei seminari precedenti. Di seguito trovate ulteriori dettagli sul prossimo seminario, su quelli a venire e un archivio dei relatori precedenti.
Tutti sono invitati a partecipare ai seminari organizzati dall’Istituto del Software.
Prossimo Relatore: Alberto Martín López
Neuro-symbolic artificial intelligence (NSAI) combines neural (e.g., large language models) and symbolic (e.g., constraint satisfaction problem engines) techniques to solve problems that cannot be tackled by any of these techniques in isolation. Notable examples of NSAI-based systems are AlphaGeometry (by Google DeepMind), which can solve mathematical problems with similar performance as gold medallists of the International Mathematical Olympiad, and Flash Fill++ (by Microsoft), a feature in Excel spreadsheets that autocompletes cells based on the surrounding ones. In this talk, I will hint how NSAI can be applied to other domains, and I will focus on a specific scenario: Supporting the lifecycle of web APIs, that is, their development, testing and consumption. We all use web APIs every day (when we post a tweet, order food online, book a flight, watch a movie, etc.), and they are the cornerstone of software integration, as they interconnect millions of applications coming from heterogeneous sources, all of which depend on APIs. As such, supporting their development and well-functioning is of utmost importance. This talk will also serve as a rehearsal for an interview for an AMBIZIONE grant, for which this project is currently under evaluation.
Alberto Martín López is currently a postdoctoral researcher in the SEART group at the Software Institute, USI, Lugano. He obtained his PhD at the University of Seville (Spain) in 2022. He carried out research stays at the University of California, Berkeley, where he was a Fulbright Fellow, and at Kristiania University College (Norway), where he also held a lecturer position. His main field of expertise is the automated testing of web services. His work in this area has been recognized with multiple awards, including the Best PhD Thesis Award by SISTEDES (Spanish Society of Software Engineering), the Early Career Researcher Award by SCIE (Spanish Society of Computer Science) and BBVA Foundation, an ACM Distinguished Paper Award at ESEC/FSE’22, and the Gold Medal in the ACM Student Research Competition at ICSE’20, sponsored by Microsoft. Nowadays, his research interests focus on software testing, service-oriented computing, and the application of artificial intelligence and neuro-symbolic techniques to software-related tasks. To know more about Alberto, you can visit his personal website: https://personal.us.es/amarlop.
Programma
-
2 maggio 2024
-
16 maggio 2024
-
23 maggio 2024
Archivio
-
Alessandro Giagnorio - Customizing deep learning models for code completion tasks (11 aprile 2024)
-
Francesco Bresciani - Abusing GitLab CI/CD to build a data engineering pipeline (14 marzo 2024)
-
Andréa Doreste - Adversarial Testing with Reinforcement Learning: A Case Study on Autonomous Driving (7 marzo 2024)
-
Carmen Armenti - Data Sonification - A Survey (30 novembre 2023)
-
Mauricio Aniche - Effective developer testing: lessons I learned over time (23 novembre 2023)
-
Antonio Mastropaolo - Evaluating Code Summarization Techniques: A New Metric and an Empirical Characterization (16 novembre 2023)
-
Michele Lanza - Bibliometrics, the Great Beyond of Science? (9 novembre 2023)
-
Rosalia Tufano - Code Review Automation: Strengths and Weaknesses of the State of the Art (12 ottobre 2023)
-
Agnese Zamboni, Matthias Hauswirth - 'Program Your Own Castle' - Developing a Self-Guided Tutorial for the Hour of Code (5 ottobre 2023)
-
Roberto Pietrantuono (University of Naples 'Federico II') - Causal reasoning for software quality engineering (15 giugno 2023)
-
Vincenzo Orrei - Contribution-based Firing of Developers? (25 maggio 2023)
-
Patric Genfer, University of Vienna - On the Understandability of Security Tactics for Microservice APIs (16 maggio 2023)
-
Marco Paganoni - ByteBack: Deductive Functional Verification of Bytecode programs (11 maggio 2023)
-
Paolo Tonella - Mind, consciousness and ChatGPT: can ChatGPT impute unobservable mental states to others? (6 aprile 2023)
-
Alberto Bacchelli (University of Zurich) - Exploring the Dual Nature of Code Review: Implications for Investigative Methods and Tool Development (30 marzo 2023)
-
Csaba Nagy - Perils and Pitfalls of the Application-Database Gap (17 novembre 2022)
-
Nargiz Humbatova - DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults (6 ottobre 2022)
-
Crista Lopes - Exercises in Programming Style (9 settembre 2022)
-
Michele Tufano - Unit Test Case Generation with Transformers and Focal Context (20 giugno 2022)
-
Diego Venâncio Marcílio - Towards Untangling Java Exceptions (12 maggio 2022)
-
Bin Lin - Academic Job Search: An Experience Report (28 aprile 2022)
-
Michael Weiss - Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification (7 aprile 2022)
-
Aron Fiechter - Creating a Domain Specific Language in Kotlin Using Type-Safe Builders (24 marzo 2022)
-
Luca Pascarella - Fine-Grained Code Summarization (3 marzo 2022)
-
Jesper Findahl - What’s Up With the CodeLoungers?
AKA what are CodeLoungers doing all day (25 novembre 2021) -
Andrea Gallidabino - Do you understand the code you write? 'I hope the TAs won't look at this!' (4 novembre 2021)
-
Igor Moreno Santos - Towards sound notional machines: a Lambda Calculus crash course (28 ottobre 2021)
-
Marco Raglianti - Visualizing Discord Servers - definitely not a virtual conference video replay (14 ottobre 2021)
-
Michele Lanza - History is not a burden on the (computer) memory but an illumination of the (software engineering researcher's) soul (15 aprile 2021)
-
Roberto Minelli - DFlow is dead. Long live Tako! (18 marzo 2021)
-
Gabriele Bavota - On Lessons Learned while Replicating my Own Research (10 dicembre 2020)
-
Matthias Hauswirth - Rainfall and LuCE: The Difficulty of Learning to Program (3 dicembre 2020)
-
Nargiz Humbatova - Mutation Testing of Deep Learning Systems (26 novembre 2020)
-
Alejandro Mazuera Rozo - Investigating types and survivability of performance bugs in mobile apps (19 novembre 2020)
-
Matteo Biagiola - Testing the plasticity of reinforcement learning based systems (12 novembre 2020)
-
Csaba Nagy - Analyzing SQL Queries Embedded in the Source Code (5 novembre 2020)
-
Mohammad Rezaalipour - Deep Neural Network Bugs and the Challenges of Repairing Them (29 ottobre 2020)
-
Luca Pascarella - Augmented Fine-Grained Defect Prediction for Code-Review (22 ottobre 2020)
-
Diego Venâncio Marcílio - SpongeBugs: Automatically Fixing Static Analysis Tools Violations (15 ottobre 2020)
-
Michael Weiss - Detecting Uncertainty in Deep Learning (27 febbraio 2020)
-
Christoph Treude - Uncovering the best parts of software documentation (28 gennaio 2020)
-
Bhargav Bhatt - DroidPLUMB: Repairing Resource-Leak bugs with Static Analysis (5 dicembre 2019)
-
Francesco Magagnino - Envisioning the future of the customer interaction (21 novembre 2019)
-
Armin Heinzl - How Pair Programming Influences Team Performance: The Role of backup-behavior, shared mental models, and task novelty (7 novembre 2019)
-
Davide Paolo Tua - Time Evolving Voronoi Treemaps for Metrics Visualization (31 ottobre 2019)
-
Bin Lin - Program Comprehension at ICSME 2019 (24 ottobre 2019)
-
Ana Ivanchikj - Discovering Imgur API – Controlled Experiment (17 ottobre 2019)
-
Marco D'Ambros - Dashboarding your inbox for fun and profit (3 ottobre 2019)
-
Emad Aghajani - Software Documentation: How far we've come, and challenges ahead (26 settembre 2019)
-
Andrea Stocco - Black-box Confidence Estimation for Misbehavior Prediction in Autonomous Driving Systems (19 settembre 2019)
-
Jacopo Tagliabue - Less (Data) Is More: Why Small Data Holds the Key to the Future of Artificial Intelligence (24 giugno 2019)
-
David Clark - The Theory of Testing Programs - An Information Theoretic View (19 giugno 2019)
-
Jan Vitek - Getting everything wrong without doing anything right! (13 giugno 2019)
-
Hridesh Rajan - Software as Data (12 giugno 2019)
-
Alejandro Mazuera Rozo - SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities (23 maggio 2019)
-
Jevgenija Pantiuchina - On the Naturalness of Buggy Code (16 maggio 2019)
-
Richard Torkar - Why do we encourage even more missingness when having missing data? (9 maggio 2019)
-
Fengcai Wen - Neural-Machine-Translation-Based Commit Message Generation: How Far Are We? (2 maggio 2019)
-
Vincenzo Riccio - A Day in the (Activity) Lifecycle (18 aprile 2019)
-
Luis Mastrangelo - Casting about in the Dark (11 aprile 2019)
-
Gunel Jahangirova - Mutation Testing of Deep Learning Systems (4 aprile 2019)
-
Andrea Mocci - The Tale of 'Quattro Tabelle' (28 marzo 2019)
-
Carlo Alberto Furia - Why You Should Use Bayesian Statistics for Empirical Software Engineering (7 marzo 2019)
-
Csaba Nagy - Beauty and the Beast: True Stories of Evolving Software Systems (28 febbraio 2019)
-
Andrea Gallidabino - Liquid Software: Multi-Device Adaptation with Liquid Media Queries (21 febbraio 2019)