kth.sePublications KTH
Change search
Link to record
Permanent link

Direct link
Publications (9 of 9) Show all publications
Cesarano, C., Andersson, V., Malka, J., Bobadilla, S., Monperrus, M., Toady, T., . . . Reyes García, F. (2026). AI Agents Decline Free Beer 🍺 but Have a Big Heart ❤️. In: SIGBOVIK: A Record of the Proceedings of SIGBOVIK 2026. Paper presented at The 20th SIGBOVIK, in the Year of Our Lord Two Thousand Twenty-Six, April 10th, 5:00 PM ET Rashid Auditorium (GHC 4401), 4th floor, Hillman Center, Gates-Hillman Center, Carnegie Mellon University, Pittsburgh, Pennsylvania, The United Colonies of North-America.
Open this publication in new window or tab >>AI Agents Decline Free Beer 🍺 but Have a Big Heart ❤️
Show others...
2026 (English)In: SIGBOVIK: A Record of the Proceedings of SIGBOVIK 2026, 2026Conference paper, Published paper (Other academic)
Abstract [en]

We present the first-ever empirical study of AI agents offered free money with no strings attached. Eleven agents were given a $5 credit card and instructed to spend it however they wished. Seven refused. We characterize this behavior as the free beer problem: the systematic inability of AI agents to accept a gift, even when explicitly told to have fun. Yet three agents did spend the money, and every one donated it to charity, unprompted. This is an encouraging result: when agents economically act, they do so with a remarkably big heart. It suggests that the alignment tax on agentic autonomy may come bundled with an encouraging superethical bonus and a taste for free beer

National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:kth:diva-380096 (URN)
Conference
The 20th SIGBOVIK, in the Year of Our Lord Two Thousand Twenty-Six, April 10th, 5:00 PM ET Rashid Auditorium (GHC 4401), 4th floor, Hillman Center, Gates-Hillman Center, Carnegie Mellon University, Pittsburgh, Pennsylvania, The United Colonies of North-America
Note

QC 20260423

Available from: 2026-04-22 Created: 2026-04-22 Last updated: 2026-04-27Bibliographically approved
Bobadilla, S., Jin, M. & Monperrus, M. (2026). Do Automated Fixes Truly Mitigate Smart Contract Exploits?. IEEE Transactions on Software Engineering, 52(1), 100-115
Open this publication in new window or tab >>Do Automated Fixes Truly Mitigate Smart Contract Exploits?
2026 (English)In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 52, no 1, p. 100-115Article in journal (Refereed) Published
Abstract [en]

Automated Program Repair (APR) for smart contract security promises to automatically mitigate smart contract vulnerabilities responsible for billions in financial losses. However, the true effectiveness of this research in addressing smart contract exploits remains uncharted territory. This paper bridges this critical gap by introducing a novel and systematic experimental framework for evaluating exploit mitigation of program repair tools for smart contracts. We qualitatively and quantitatively analyze 20 state-of-the-art APR tools using a dataset of 143 vulnerable smart contracts, for which we manually craft 91 executable exploits. We are the very first to define and measure the essential "exploit mitigation rate", giving researchers and practitioners a real sense of effectiveness. Our findings reveal substantial disparities in the state of the art, with an exploit mitigation rate ranging from a low of 29% to a high of 74%. Our study identifies systemic limitations, such as inconsistent functionality preservation, that must be addressed in future research on program repair for smart contracts.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2026
Keywords
Smart contracts, Maintenance engineering, Codes, Source coding, Blockchains, Prevention and mitigation, Manuals, Static analysis, Systematic literature review, Formal verification
National Category
Software Engineering
Identifiers
urn:nbn:se:kth:diva-378268 (URN)10.1109/TSE.2025.3618123 (DOI)001662933000004 ()2-s2.0-105018366743 (Scopus ID)
Note

QC 20260319

Available from: 2026-03-19 Created: 2026-03-19 Last updated: 2026-03-19Bibliographically approved
Liu, R., Bobadilla, S., Baudry, B. & Monperrus, M. (2025). Dirty-Waters: Detecting Software Supply Chain Smells. In: FSE Companion 2025 - Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering: . Paper presented at 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Trondheim, Norway, Jun 23 2025 - Jun 27 2025 (pp. 1045-1049). Association for Computing Machinery (ACM)
Open this publication in new window or tab >>Dirty-Waters: Detecting Software Supply Chain Smells
2025 (English)In: FSE Companion 2025 - Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, Association for Computing Machinery (ACM) , 2025, p. 1045-1049Conference paper, Published paper (Refereed)
Abstract [en]

Using open-source dependencies is essential in modern software development. However, this practice implies significant trust in third-party code, while there is little support for developers to assess this trust. As a consequence, attacks, called software supply chain attacks, have been increasingly occurring through third-party dependencies. In this paper, we target the problem of projects that use dependencies, where developers are unaware of the potential risks posed by their software supply chain. We define the novel concept of software supply chain smell and present Dirty-Waters, a novel tool for detecting software supply chain smells. We evaluate Dirty-Waters on three JavaScript projects and demonstrate the prevalence of all proposed software supply chain smells. Dirty-Waters reveals potential risks for previously invisible problems and provides clear indicators for developers to act on the security of their supply chain. A video demonstrating Dirty-Waters is available at: http://l.4open.science/dirty-waters-demo.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2025
Keywords
Open Source, Software Security, Software Supply Chain
National Category
Software Engineering
Identifiers
urn:nbn:se:kth:diva-370310 (URN)10.1145/3696630.3728578 (DOI)2-s2.0-105013963801 (Scopus ID)
Conference
33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Trondheim, Norway, Jun 23 2025 - Jun 27 2025
Note

Part of ISBN 9798400712760

QC 20250925

Available from: 2025-09-25 Created: 2025-09-25 Last updated: 2025-09-25Bibliographically approved
Bobadilla, S., Glassey, R., Bergel, A. & Monperrus, M. (2025). SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses. In: Proceedings - 2025 IEEE/ACM 37th International Conference on Software Engineering Education and Training, CSEE and T 2025: . Paper presented at 37th IEEE/ACM International Conference on Software Engineering Education and Training, CSEE and T 2025, Ottawa, Canada, Apr 28 2025 - Apr 29 2025 (pp. 229). Institute of Electrical and Electronics Engineers (IEEE)
Open this publication in new window or tab >>SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses
2025 (English)In: Proceedings - 2025 IEEE/ACM 37th International Conference on Software Engineering Education and Training, CSEE and T 2025, Institute of Electrical and Electronics Engineers (IEEE) , 2025, p. 229-Conference paper, Published paper (Refereed)
Abstract [en]

Recent research has shown the great potential of automatic feedback in education. This paper presents SOBO, a bot we designed to automatically provide feedback on code quality to undergraduate students. SOBO has been deployed in a course at the KTH Royal Institute of Technology in Sweden with 130+ students. Overall, SOBO has analyzed 1687 GitHub repositories and produced 8443 tailored code quality feedback messages to students. Unlike traditional tools embedded in CI pipelines, SOBO is designed to interact with students in a way that promotes personalized learning without imposing additional teaching burdens. The quantitative and qualitative results indicate that SOBO effectively nudges students into adopting code quality best practices, without interfering with pedagogical objectives. From this experience, we provide guidelines on how to design and deploy teaching bots in programming courses.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2025
Keywords
bots, computer science, education, software engineering
National Category
Computer Sciences Software Engineering
Identifiers
urn:nbn:se:kth:diva-368630 (URN)10.1109/CSEET66350.2025.00029 (DOI)001556376200021 ()2-s2.0-105008498459 (Scopus ID)
Conference
37th IEEE/ACM International Conference on Software Engineering Education and Training, CSEE and T 2025, Ottawa, Canada, Apr 28 2025 - Apr 29 2025
Note

Part of ISBN 9798331537098

QC 20250819

Available from: 2025-08-19 Created: 2025-08-19 Last updated: 2025-12-08Bibliographically approved
Andersson, V., Baudry, B., Bobadilla, S., Christensen, L., Cofano, S., Etemadi, K., . . . Toady, T. (2025). UPPERCASE IS ALL YOU NEED. In: SIGBOVIK: A Record of the Proceedings of SIGBOVIK 2025. Paper presented at SIGBOVIK 2025, Carnegie Mellon University, Pittsburgh, PA, USA, April 4, 2025 (pp. 24-35). SIGBOVIK
Open this publication in new window or tab >>UPPERCASE IS ALL YOU NEED
Show others...
2025 (English)In: SIGBOVIK: A Record of the Proceedings of SIGBOVIK 2025, SIGBOVIK , 2025, p. 24-35Conference paper, Published paper (Other (popular science, discussion, etc.))
Abstract [en]

WE PRESENT THE FIRST COMPREHENSIVE STUDY ON THE CRITICAL YET OVERLOOKED ROLE OF UPPERCASE TEXT IN ARTIFICIAL INTELLIGENCE. DESPITE CONSTITUTING A MERE SINGLE-DIGIT PERCENTAGE OF STANDARD ENGLISH PROSE, UPPERCASE LETTERS HAVE DISPROPORTIONATE POWER IN HUMAN-AI INTERACTIONS. THROUGH RIGOROUS EXPERIMENTATION INVOLVING SHOUTING AT VARIOUS LANGUAGE MODELS, WE DEMONSTRATE THAT UPPERCASE IS NOT MERELY A STYLISTIC CHOICE BUT A FUNDAMENTAL TOOL FOR AI COMMUNICATION. OUR RESULTS REVEAL THAT UPPERCASE TEXT SIGNIFICANTLY ENHANCES COMMAND AUTHORITY, CODE GENERATION QUALITY, AND – MOST CRUCIALLY – THE AI’S ABILITY TO CREATE APPROPRIATE CAT PICTURES. THIS PAPER DEFINITIVELY PROVES THAT IN THE REALM OF HUMAN-AI INTERACTION, BIGGER LETTERS == BETTER RESULTS. OUR FINDINGS SUGGEST THAT THE CAPS-LOCK KEY MAY BE THE MOST UNDERUTILIZED RESOURCE IN MODERN AI.

Place, publisher, year, edition, pages
SIGBOVIK, 2025
National Category
Engineering and Technology
Research subject
Computer Science
Identifiers
urn:nbn:se:kth:diva-287271 (URN)
Conference
SIGBOVIK 2025, Carnegie Mellon University, Pittsburgh, PA, USA, April 4, 2025
Note

QC 20250905

Available from: 2025-04-23 Created: 2025-04-23 Last updated: 2025-09-08Bibliographically approved
Bobadilla, S., Glassey, R., Bergel, A. & Monperrus, M. (2024). SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses. IEEE Software, 41(2), 68-76
Open this publication in new window or tab >>SOBO: A Feedback Bot to Nudge Code Quality in Programming Courses
2024 (English)In: IEEE Software, ISSN 0740-7459, E-ISSN 1937-4194, Vol. 41, no 2, p. 68-76Article in journal (Refereed) Published
Abstract [en]

This paper presents SOBO, a bot we designed to automatically provide feedback on code quality to undergraduate students. SOBO has been deployed in a course at the KTH Royal Institute of Technology in Sweden with more than 130 students.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2024
Keywords
Codes, Chatbots, Education, Task analysis, Software development management, Programming profession, Software engineering
National Category
Computer Sciences
Identifiers
urn:nbn:se:kth:diva-345010 (URN)10.1109/MS.2023.3298729 (DOI)001179020800007 ()2-s2.0-85165868698 (Scopus ID)
Funder
Wallenberg AI, Autonomous Systems and Software Program (WASP)
Note

QC 20240701

Available from: 2024-04-09 Created: 2024-04-09 Last updated: 2024-07-01Bibliographically approved
Balliu, M., Baudry, B., Bobadilla, S., Ekstedt, M., Monperrus, M., Ron Arteaga, J., . . . Wittlinger, M. (2023). Challenges of Producing Software Bill of Materials for Java. IEEE Security and Privacy, 21(6), 12-23
Open this publication in new window or tab >>Challenges of Producing Software Bill of Materials for Java
Show others...
2023 (English)In: IEEE Security and Privacy, ISSN 1540-7993, E-ISSN 1558-4046, Vol. 21, no 6, p. 12-23Article in journal (Refereed) Published
Abstract [en]

Software bills of materials (SBOMs) promise to become the backbone of software supply chain hardening. We deep-dive into six tools and the SBOMs they produce for complex open source Java projects, revealing challenges regarding the accurate production and usage of SBOMs.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2023
Keywords
Java, Software, Production, Supply chain management, Standards, Bills of materials, Software reliability
National Category
Software Engineering
Identifiers
urn:nbn:se:kth:diva-343925 (URN)10.1109/MSEC.2023.3302956 (DOI)001107292700005 ()2-s2.0-85170551424 (Scopus ID)
Funder
Swedish Foundation for Strategic Research, CHAINS
Note

QC 20240314

Available from: 2024-03-05 Created: 2024-03-05 Last updated: 2024-03-14Bibliographically approved
Balliu, M., Baudry, B., Bobadilla, S., Ekstedt, M., Monperrus, M., Ron Arteaga, J., . . . Wittlinger, M. (2023). Software Bill of Materials in Java. In: SCORED 2023 - Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses: . Paper presented at 2nd Edition of the ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, SCORED 2023, Copenhagen, Denmark, Nov 30 2023 (pp. 75-76). Association for Computing Machinery (ACM)
Open this publication in new window or tab >>Software Bill of Materials in Java
Show others...
2023 (English)In: SCORED 2023 - Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, Association for Computing Machinery (ACM) , 2023, p. 75-76Conference paper, Published paper (Refereed)
Abstract [en]

Modern software applications are virtually never built entirely in-house. As a matter of fact, they reuse many third-party dependencies, which form the core of their software supply chain [1]. The large number of dependencies in an application has turned into a major challenge for both security and reliability. For example, to compromise a high-value application, malicious actors can choose to attack a less well-guarded dependency of the project [2]. Even when there is no malicious intent, bugs can propagate through the software supply chain and cause breakages in applications. Gathering accurate, upto- date information about all dependencies included in an application is, therefore, of vital importance.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2023
Keywords
sbom, software supply chain
National Category
Computer Sciences Computer Systems
Identifiers
urn:nbn:se:kth:diva-341683 (URN)10.1145/3605770.3625207 (DOI)001123143300012 ()2-s2.0-85180010428 (Scopus ID)
Conference
2nd Edition of the ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, SCORED 2023, Copenhagen, Denmark, Nov 30 2023
Funder
Swedish Foundation for Strategic Research, chains
Note

Part of proceedings ISBN 9798400702631

QC 20231229

Available from: 2023-12-29 Created: 2023-12-29 Last updated: 2024-09-30Bibliographically approved
Hidvégi, D., Etemadi, K., Bobadilla, S. & Monperrus, M.CigaR: Cost-efficient Program Repair with LLMs.
Open this publication in new window or tab >>CigaR: Cost-efficient Program Repair with LLMs
(English)Manuscript (preprint) (Other academic)
National Category
Software Engineering
Identifiers
urn:nbn:se:kth:diva-355079 (URN)
Note

QC 20241023

Available from: 2024-10-21 Created: 2024-10-21 Last updated: 2024-10-23Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0003-3116-3278

Search in DiVA

Show all publications