- SEG-staff - INF Mailman

by Timo Kehrer

Dear all, anyone who did supervise a seminar/thesis in fall semester 2024/25: Could you please send me a slide (or two), similar to the one attached, of your project(s). Doesn't have to be comprehensive, but I'd like to show some of the recently completed student projects in the seminar on Tuesday morning. Deadline if I shall include yours: Tuesday 9:00. (please just use my ppt as a template, if possible, so I can directly include the slide) Best, Timo

3 weeks, 2 days

1
0
0 0

Friendly Reminder: Updating Seminar Topics

by van Dok, Yael Annika (INF)

Dear all This is to remind you that today is the deadline for inserting new seminar topics and updating existing ones in the GitLab. Please make sure that your topics are up to date INCLUDING information about any assigned students. Roman B. and I reorganised the overview page, thereby including new instructions. Use it as a reference. Also, please make sure that your actual topic files follow the template structure and use proper formatting. I noticed that some of you include HTML in your topic files - please refrain from doing so and use plain Markdown. These files go into the website code as Markdown files, and I don't want to sanitise all the files beforehand to clear out HTML tags and unnecessary whitespace. Also please check your files for typos 🙂 Thank you all for your collaboration. Best Yael

3 weeks, 5 days

1
0
0 0

Fwd: Fwd: Invitation and Flyer Workshops Racism

by Timo Kehrer

FYI -------- Weitergeleitete Nachricht -------- Betreff: Fwd: Invitation and Flyer Workshops Racism Datum: Wed, 12 Feb 2025 17:52:49 +0100 Von: Schurr, Carolin (GIUB) <carolin.schurr(a)unibe.ch> An: Raissig, Michael Thomas (IPS) <michael.raissig(a)unibe.ch>, Susanne Reffert <sreffert(a)itp.unibe.ch>, Kehrer, Timo Benjamin (INF) <timo.kehrer(a)unibe.ch>, Katayev, Dmitry (DCBP) <dmitry.katayev(a)unibe.ch>, Meister, Peter (IZB) <peter.meister(a)unibe.ch>, Das, Anupam (DCBP) <anupam.das(a)unibe.ch>, Spuhler, Joana Tamara (STUDENTS) <joana.spuhler(a)students.unibe.ch> Dear all, can you please all circulate the invitation to the Uni Bern’s Action week against racism in your departments/institutes/ Stände! Thanks! Best Carolin Hi everybody As part of the 15th Action Week against Racism of the City of Bern, I organized three workshops on the topic of racism and racist hate speech in university context. Two workshops are aimed specifically at students and university lecturers and staff members of Colour and those who experienced racism.In this empowerment-workshops, a safer and braver space will be created in which experiences and concerns as well as perspectives and visions for a racism-free university will be exchanged and developed. We will empower each other and work together to develop strategies for overcoming experiences of racism and racist hate speech. These workshops for students and staff members will be held in English. The third workshop is open to all members of the university and serves as a space for reflection on the topics of individual, structural and institutional racism and exclusion in education. We will reflect on often unconscious discriminatory and racist mechanisms and develop possible courses of action. This workshop will be held in German. Further information can be found under the following link or in the attached flyer:University: Action week against racism 2025 at the University of Bern - University of Bern <https://www.unibe.ch/university/portrait/self_image/equal_opportunities/eve…> I would be grateful if you could help promote the workshops through all possible channels and display the flyers in your offices. It would also be great if you could directly refer students and employees who experience racism to the empowerment workshops. And I hope to see some of you at the empowerment workshop on March 20 or 21. Thank you very much for spreading the word! Best regards Gina ___________________________________ Gina Vega (sie) Wissenschaftliche Mitarbeiterin Vizerektorat Qualität und Nachhaltige Entwicklung Abteilung für Chancengleichheit Universität Bern Hochschulstrasse 6 3012 Bern, Schweiz Tel. +41 31 684 32 43 Mo/Di/Do gina.vega(a)unibe.ch www.unibe.ch/chancengleichheit <http://www.unibe.ch/chancengleichheit> www.unibe.ch/rassismus <http://www.unibe.ch/rassismus> <https://www.unibe.ch/universitaet/portraet/selbstverstaendnis/chancengleich…> <https://www.unibe.ch/universitaet/portraet/selbstverstaendnis/chancengleich…> *Anmeldung zu den Workshops unter:Universität: Aktionswoche gegen Rassismus 2025 an der Universität Bern - Universität Bern <https://www.unibe.ch/universitaet/portraet/selbstverstaendnis/chancengleich…>*

3 weeks, 5 days

1
0
0 0

Academic Writing Courses

by Timo Kehrer

... might be interesting for some of you: https://www.ub.unibe.ch/recherche/fachinformationen/portal_medizin_und_phar… Best, Timo

1 month, 1 week

1
0
0 0

Seminar-Presentations (Rubik's Cube)

by Bard, Jan-Andrea (INF)

Seminar-presentations 10:30 am: Tobias Aubert 11:00 am: Dario Marti ________________________________________________________________________________ Microsoft Teams Benötigen Sie Hilfe?<https://aka.ms/JoinTeamsMeeting?omkt=de-DE> Jetzt an der Besprechung teilnehmen<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MmExY2E2YmEtMjAzNi00…> Besprechungs-ID: 381 911 993 797 Kennung: eW77M7t4 ________________________________ Für Organisatoren: Besprechungsoptionen<https://teams.microsoft.com/meetingOptions/?organizerId=bd5bd8fe-9a1f-45cb-…> [https://unibeidbistoragedeskmgmt.blob.core.windows.net/intune-blob-storage/…] https://serviceportal.unibe.ch/sp ________________________________________________________________________________

1 month, 2 weeks

1
0
0 0

Fwd: [SEWORLD] CfP: PROMISE 2025 - 21st International Conference on Predictive Models and Data Analytics in Software Engineering

by Timo Kehrer

... interesting specialized event co-located with FSE; the CFP explcitly welcomes negative results, if we sth in our fundus ;-) Best, Timo -------- Weitergeleitete Nachricht -------- Betreff: [SEWORLD] CfP: PROMISE 2025 - 21st International Conference on Predictive Models and Data Analytics in Software Engineering Weitersenden-Datum: Mon, 13 Jan 2025 03:53:20 +0000 Weitersenden-Von: SEWORLD Moderator <seworld-moderator(a)sigsoft.org> Weitersenden-An: seworld(a)sigsoft.org Datum: Fri, 10 Jan 2025 22:50:25 +0000 Von: Yiming Tang <seworld(a)volunteer.acm.org> An: SEWORLD(a)SIGSOFT.ORG <SEWORLD(a)SIGSOFT.ORG> Kopie (CC): wshang(a)uwaterloo.ca <wshang(a)uwaterloo.ca>, Lili Wei, Prof. <lili.wei(a)mcgill.ca> =================================================================== 21st International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE 2025) https://conf.researchr.org/home/promise-2025 June, 2025, Trondheim, Norway Co-located with the International Conference on the Foundations of Software Engineering (FSE 2025) Submit your papers by February 25th, 2025 https://conf.researchr.org/home/promise-2025#Call-for-Papers =================================================================== The International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE) is an annual forum for researchers and practitioners to present, discuss and exchange ideas, results, expertise and experiences in construction and/or application of predictive models, artificial intelligence, and data analytics in software engineering. PROMISE encourages researchers to publicly share their data in order to provide interdisciplinary research between the software engineering and data mining communities, and seek for verifiable and repeatable experiments that are useful in practice. === Important Dates === - Abstract submission: Feb 18th, 2025 AoE - Paper submission: Feb 25th, 2025 AoE - Author notification: Mar 24th, 2025 AoE - Camera-ready: Apr 24th, 2025 AoE - Conference Date: June, 2025 === Types of Submissions === Technical papers (10 pages) * PROMISE accepts a wide range of papers where AI tools have been applied to SE such as predictive modeling and other AI methods. Both positive and negative results are welcome, though negative results should still be based on rigorous research and provide details on lessons learned. Industrial papers (2-4 pages) * Results, challenges, lessons learned from industrial applications of software analytics. New idea papers (2-4 pages) * Novel insights or ideas that may yet to be fully tested. Journal First * Selected papers will be invited for journal first presentations at PROMISE. Details to follow. === Topics of Interest === PROMISE papers can explore any of the following topics (or more). Application-oriented papers: * prediction of cost, effort, quality, defects, business value; * quantification and prediction of other intermediate or final properties of interest in software development regarding people, process or product aspects; * using predictive models and data analytics in different settings, e.g. lean/agile, waterfall, distributed, community-based software development; * dealing with changing environments in software engineering tasks; * dealing with multiple-objectives in software engineering tasks; * using predictive models and software data analytics in policy and decision-making. Ethically-aligned papers: * Can we apply and adjust our AI-for-SE tools (including predictive models) to handle ethical non-functional requirements such as inclusiveness, transparency, oversight and accountability, privacy, security, reliability, safety, diversity and fairness? Theory-oriented papers: * model construction, evaluation, sharing and reusability; * interdisciplinary and novel approaches to predictive modelling and data analytics that contribute to the theoretical body of knowledge in software engineering; * verifying/refuting/challenging previous theory and results; * combinations of predictive models and search-based software engineering; * the effectiveness of human experts vs. automated models in predictions. Data-oriented papers: * data quality, sharing, and privacy; * curated data sets made available for the community to use; ethical issues related to data collection and sharing; * metrics; * tools and frameworks to support researchers and practitioners to collect data and construct models to share/repeat experiments and results. Validity-oriented papers: * replication and repeatability of previous work using predictive modelling and data analytics in software engineering; * assessment of measurement metrics for reporting the performance of predictive models; * evaluation of predictive models with industrial collaborators. === Submissions === PROMISE 2025 submissions must meet the following criteria: * be original work, not published or under review elsewhere while being considered; * conform to the submission format requirements of the FSE 2025 Companion proceedings;<https://conf.researchr.org/track/fse-2025/fse-2025-how-to-submit#submission…> * not exceed 10 (4) pages for technical (industrial, new-ideas) papers including references; * be written in English; * be prepared for double blind review * Exception: for data-oriented papers, authors may elect not to use double blind by placing a footnote on page 1 saying “Offered for single-blind review”. * be submitted via HotPRC and the submission link will be posted shortly. * on submission, please choose the paper category appropriately, i.e., technical (main track, 10 pages max); industrial (4 pages max); and new idea papers (4 pages max). To satisfy the double blind requirement submissions must meet the following criteria: * no author names and affiliations in the body and metadata of the submitted paper; * self-citations are written in the third person; * no references to the authors personal, lab, or university website; * no references to personal accounts on GitHub, bitbucket, Google Drive, etc. === Publication and Attendance === Accepted papers will be published in the ACM Digital Library within its International Conference Proceedings Series and will be available electronically via ACM Digital Library. Each accepted paper needs to have one registration at the full conference rate and be presented in person at the conference. === Evaluation === Submissions will be peer reviewed by at least three experts from the international program committee. Submissions will be evaluated on the basis of their originality, importance of contribution, soundness, evaluation, quality, and consistency of presentation, and appropriate comparison to related work. === Green Open Access === Similar to other leading SE conferences, PROMISE supports and encourages Green Open Access, i.e., self-archiving. Authors can archive their papers on their personal home page, an institutional repository of their employer, or at an e-print server such as arXiv (preferred). Also, given that PROMISE papers heavily rely on software data, we would like to draw authors that leverage data scraped from GitHub of GitHub’s Terms of Service, which require that “publications resulting from that research are open access”. We also strongly encourage authors to submit their tools and data to Zenodo, which adheres to FAIR (findable, accessible, interoperable and re-usable) principles and provides DOI versioning. ============================================================ To contribute to SEWORLD, send your submission to mailto:seworld@sigsoft.org http://sigsoft.org/resources/seworld.html provides more information on SEWORLD as well as links to a complete archive of messages posted to the list. ============================================================

1 month, 3 weeks

1
0
0 0

Fwd: Invitation: Mini-Symposium on Software Engineering Research – January 10th

by Timo Kehrer

Dear all, to those I have not seen or chatted with yet: Happy new year! Please notice the invitation below, the talks are open for everybody who is interested. Best, Timo -------- Weitergeleitete Nachricht -------- Betreff: Invitation: Mini-Symposium on Software Engineering Research – January 10th Datum: Tue, 7 Jan 2025 11:24:38 +0100 Von: Alberto Bacchelli <bacchelli(a)ifi.uzh.ch> An: SoSy Mailing List <sosy(a)lists.ifi.uzh.ch>, April Wang <april.wang(a)inf.ethz.ch>, Salvaneschi, Guido <guido.salvaneschi(a)unisg.ch>, Gabriele Bavota <gabriele.bavota(a)usi.ch>, Carlo A. Furia <furiac(a)usi.ch>, Timo Kehrer <timo.kehrer(a)unibe.ch> Kopie (CC): Bogdan Vasilescu <vasilescu(a)cmu.edu>, Thomas D Latoza <tlatoza(a)gmu.edu>, Maurício Aniche <Mauricio.aniche(a)adyen.com> Dear all, I am delighted to invite you to a mini-symposium featuring talks by three outstanding researchers in software engineering. This event will be on the morning of **this Friday, January 10th**, 2025, in Room 2.A.10, of the BIN building (Binzmühlestrasse 14) at the University of Zurich. The mini-symposium is part of the events surrounding the PhD defense of Pavlína Wurzel Gonçalves. It is an excellent opportunity to hear about the speakers' latest research and engage in discussions with the speakers and other participants. Program - 09:00–09:30, Arrival and Welcome - 09:30–10:30, Prof. Dr. Bogdan Vasilescu, The Strength of Weak Ties in Open-Source Software Development Networks - 10:30–11:30, Dr. Mauricio Aniche, Test Selection at Adyen: saving time and resources - 11:30–12:30, Prof. Dr. Thomas LaToza, Sharing Programming Expertise We welcome all software engineering researchers and enthusiasts to join us for this exciting event. Feel free to extend this invitation to any interested people. Attached to this email, you find more information about the talks and speakers. Please respond to this email to confirm your attendance and let me know how many people will be joining you, so I can ensure we have enough coffee and refreshments for everyone in the morning. I look forward to seeing you there! Warm regards, Alberto

2 months

1
0
0 0

Seminar presentations

by Timo Kehrer

Dear all, Please find the final schedule for the seminar presentations tomorrow and on Wednesday below. You are kindly invited to join the presentations, either on-site (see room numbers below), or online via Zoom: https://unibe-ch.zoom.us/j/6743951552 Best, Timo == Dec. 17, E8 room 107 08:30-09:20 -- Jairo Erazo Botero, Michal Stetina, Dennis Berger, Marilena Manoli: LLM Contamination in the Wild 09:20-09:50 -- Daniel Zeidan: Mutation Testing-based Assessment of Code Contracts 10:00-10:30 -- Jonathan Bernhard: RaQuN Lab for Experimenting with N-Way Model Matching 10:30-11:00 -- William Dan: UAV Test Surrogate Models 11:00-11:30 -- Mohammad Eglil: Passless 16:15-16:45 -- Ramona Christen: Enhancing Automated Contract Generation: A Context-Aware LLM-Based Approach 16:50-17:20 -- Mohd Dayatar: Automated Code Contract Repair: An LLM-Based Approach 17:30-18:00 -- Maurice Amon: Towards a Fully Functional Mini-IDE for the SPL' Language == Dec. 18, E8 room 105 09:30-10:00 -- Cindy Schnyder: How do open source developers implement variability in their system? 10:00-10:30 -- Sascha Künzler: BIP Mining for Network Graph

2 months, 3 weeks

1
0
0 0

Seminar presentations next week

by Timo Kehrer

Dear all, please find the current plan for next week's seminar presentations below. I curated this from all sources I have, but please double-check for correctness and completeness (until Monday, lunch time). Best, Timo == Dec. 17, E8 room 107 08:30-09:20 -- Jairo Erazo Botero, Michal Stetina, Dennis Berger, Marilena Manoli: LLM Contamination in the Wild 09:20-09:50 -- Daniel Zeidan: Mutation Testing-based Assessment of Code Contracts 10:00-10:30 -- Jonathan Bernhard: RaQuN Lab for Experimenting with N-Way Model Matching 10:30-11:00 -- William Dan: UAV Test Surrogate Models 11:00-11:30 -- Mohammad Eglil: Passless 16:15-16:45 -- Ramona Christen: Enhancing Automated Contract Generation with Summaries 16:50-17:20 -- Mohd Dayatar: Automated Code Contract Repair: An LLM-Based Approach == Dec. 18, E8 room 105 09:30-10:00 -- Cindy Schnyder: How do open source developers implement variability in their system? 10:00-10:30 -- Sascha Künzler: BIP Mining for Network Graph

2 months, 3 weeks

1
0
0 0

Research Talks Announcement

by Timo Kehrer

Dear all, as already mentioned, we will have the following research talks in our next SPL lecture. Tuesday, December 10, 14:15 - 16:00, Engehalde 8, Room 002. Both are highly recommended! Best, Timo *Speaker* Alexander Schultheiß (University of Paderborn and University of Bern) *Title* Decades of GNU Patch and Git Cherry-Pick: Can We Do Better? *Abstract* Patching is a fundamental software maintenance and evolution task enabling the (semi-)automated propagation of changes across different software versions. Established and widely used general-purpose patchers, such as GNU-patch and git cherry-pick, work on textual artifact representations (i.e., files) and typically rely on line numbers and contexts (i.e., surrounding unchanged text) to apply changes. This strategy often fails if source and target of a patch differ: Some required changes may be rejected, others may be applied to the wrong location; provoking cumbersome manual effort. In this paper, we study the effectiveness of commonly-used patchers, and propose a novel technique that pushes the boundaries of patch automation. First, we curate and analyze a large dataset of more than 400,000 patch scenarios (i.e., cherry picks) from 5,000 GitHub projects. Next, we examine the effectiveness of established patchers on the gathered patch scenarios, observing that patchers often fail to apply changes correctly. Third, we develop a novel general- purpose patch technique, mpatch, that utilizes a source-to-target matching to determine suitable change locations. By comparing mpatch to other patchers, we find that it can correctly apply 44% more patches automatically than other general-purpose patchers, while it also requires fewer manual fixes in cases that cannot be automated completely. Thus, mpatch considerably reduces the burden of manually fixing failed patches in practice, specifically in projects with frequent patch applications. -- *Speaker* Paul Bittner (University of Ulm and TU Braunschweig) *Title* On the Expressive Power of Languages for Static Variability *Abstract* Variability permeates software development to satisfy ever-changing requirements and mass-customization needs. A prime example is the Linux kernel, which employs the C preprocessor to specify a set of related but distinct kernel variants. To study, analyze, and verify variational software, several formal languages have been proposed. For example, the choice calculus has been successfully applied for type checking and symbolic execution of configurable software, while other formalisms have been used for variational model checking, change impact analysis, among other use cases. Yet, these languages have not been formally compared, hence, little is known about their relationships. Crucially, it is unclear to what extent one language subsumes another, how research results from one language can be applied to other languages, and which language is suitable for which purpose or domain. In this paper, we propose a formal framework to compare the expressive power of languages for static (i.e. compile-time) variability. By establishing a common semantic domain to capture the essence of explicit variability, we can formulate the basic, yet to date neglected, properties of soundness, completeness, and expressiveness for variability languages. We then prove the (un)soundness and (in)completeness of a range of existing languages, and relate their ability to express the same variational systems. We implement our framework as an extensible open source Agda library in which proofs act as correct compilers between languages or differencing algorithms. We find that most variability languages are complete, sound, and equally expressive, rendering existing and future research more broadly applicable by bridging the gaps between parallel research efforts.

3 months

1
0
0 0

2025

2024

2023

2022

SEG-staff