November 2024 - SEG-staff

Fondue on Dec 10 / Research Visitors in the week Dec 09 - 13

by Timo Kehrer

Dear all, in the week Dec 09 - 13, Prof. Thomas Thüm and some members of his team will visit us. They will arrive on Monday, so the first "real work day" will be probably Tuesday Dec 10. For a good start into the research part of their visit, we will have two research talks in terms of our SPL lecture on Tuesday 10, Titles and Abstracts to be announced. For a good start into the socializing and networking part of their visit, we plan to have a fondue together on Tuesday 10. ACTION ITEM (until Dec 6, latest): Please let me know if you will join the fondue on Dec. 10. The plan is to start not too late, say around 6:00, such that all non-Bernesians (?) will not arrive at home too late. Best, Timo

3 weeks

1
0
0 0

Talk announcement: "Efficient Exploration and Analysis of Program Repair Search Spaces" by Khashayar Someoliayi, KTH Stockholm (December 4)

by Timo Kehrer

Dear all, Another talk announcement for Dec. 4, scheduled in a way that avoids conflicts with Adi Seredinschi's talk ;-) *Date and Location* 4. December 2024, 10:00-11:00 (s.t.) Engehalde 8, Seminarraum 109 *Speaker* Dr. Khashayar Someoliayi *Title* Efficient Exploration and Analysis of Program Repair Search Spaces *Abstract* In the presented work, we aim at improving the efficiency of three main components involved in the exploration and analysis of APR search spaces: patch generation, automated patch assessment, and manual patch assessment. For this purpose, we present the three following contributions. To make patch generation efficient, we introduce Sorald, a template-based APR approach for fixing SonarJava static warnings. Sorald employs accurately designed templates to generate exactly one patch that is highly likely to fix the bug. The lightweight patch generation technique and the small search space that needs little analysis makes Sorald an efficient APR approach. For making automated patch assessment efficient, we propose LighteR, a lightweight tool for estimating the potential of fix templates used by template-based APR approaches. LighteR compares fix templates against developer-made bug-fixes to assess if the templates follow the modification patterns used by experts. The result of this assessment is used to rank the patches based on the potential of templates used for their generation. This ranking is used to prioritize patches for manual assessment and thus, finding the correct patch with minimal manual analysis. Finally, we introduce Collector-Sahab, which aims at helping code reviewers better understand behavioral changes caused by patches. Given two versions of a program P & Q, Collector-Sahab collects the execution trace of both P & Q. It next compares the traces and identifies runtime differences at variable and return value level. Finally, it augments the code diff between P & Q with a concise selection of extracted runtime differences. This code augmentation helps code reviewers to better understand the behavior of APR patches and thus, reduces human effort needed for manual patch assessment. To sum up, in this study we aim at making APR useful in practice by improving its efficiency. For this purpose, we propose novel methods to make patch generation, automated patch assessment, and manual patch assessment efficient. *Short Bio* Khashayar Etemadi received his PhD in software engineering from KTH Royal Institute of Technology, Sweden. His research interests are automated program repair, software testing, and software evolution Happy to see you there! Best, Timo

3 weeks, 1 day

1
0
0 0

Upcoming Seminar Presentations: Scheduling

by Bögli, Roman (INF)

Good Morning We have started to shape the schedule for the upcoming seminar final presentations, see bottom of the README.md in our GitLab repo on seminar-topics<https://gitlab.inf.unibe.ch/SEG/team/courses/seminar-software-engineering/s…>. Please enter your time slots as well, as soon as possible -- regardless of whether physical-only, virtual-only, or hybrid. In case you need additional room reservations, you can contact Bettina or book (smaller) rooms yourself<https://raumreservation.ub.unibe.ch/select>. Please update the room reservation info in the README as well then. Further, I recommend adding all the required attendees (e.g. Timo) to your Outlook meeting invite for two reasons: (1) It helps you find a time when everyone required is available, (2) it ensures that the selected time slot is reserved in all attendees’ calendars, rendering these times unavailable for other. Ideally, we have nice and sound schedule by end of next week (i.e. Dez 6th), so we can disseminate it among the students, such that they can (plant to) visit each other’s presentations as well. Best regards Roman

3 weeks, 1 day

1
0
0 0

My holidays

by Bettina Choffat

Dear all I would like to inform / remind you that I am only working this week and next. From December 8th I will be on vacation until almost the end of the year. If you still have a concern that needs to be dealt with in 2024, please let me know as soon as possible. Best wishes Bettina -- Institut für Informatik Neubrückstrasse 10 CH-3012 Bern +41 31 684 84 26

3 weeks, 5 days

1
0
0 0

Seminar Presentations in December

by Timo Kehrer

Dear all, the end of the semester is getting closer and some seminar projects maybe already in a state where the results can be presented by mid/end of December. We will have the first seminar presentation slots on - Dec. 17 (before 12:00 and after 16:00) - Dec. 18 (before 14:00) Please talk to your supervised students whether they want to present in these slots (20 min talk + 10 min discussion). For those who will not manage to finish their seminar work until December (which is totally fine), we will have further slots in January and early February (dates to be fixed). Best, Timo

1 month

2
1
0 0

Guest Lecturer from Industry | 27. Nov

by Bögli, Roman (INF)

Dear all Next Wednesday, 27. Nov 2024, we host a guest lecture held by Michael Ahrens and Daniel Roth. Both hold leading positions in the Software Engineering department at VZ VermögensZentrum, a Swiss financial service provider with around ~1400 employees among various entities (including banking, insurance, pension funds, taxation, legal, etc.). See more details below. Note that the talk will be in German. ----------- Wann Mittwoch, 27. November 2024, 14:15 Uhr Wo Uni Engehalde, Engehaldestrasse 8, Hörsaal 1 001 Wer Michael Ahrens, Expert Software Engineer & Teamleiter Firmenkunden, Privatversicherungen, Forschung & Entwicklung Daniel Roth (Vorwort), Bereichsleiter Software Engineering VZ VermögensZentrum AG, https://www.vermoegenszentrum.ch/ Titel Compliance-First: Software Engineering in der Finanzindustrie ----------- Best regards Roman

1 month

1
0
0 0

In search of a receipt

by Bettina Choffat

Dear all On October 8, someone paid an amount of 18.65 for “Grammarly VDW3* with the SEG credit card via Paypal. I really need the receipt for this. Thank you very much! Best Bettina -- Institut für Informatik Neubrückstrasse 10 CH-3012 Bern +41 31 684 84 26

1 month

1
0
0 0

Fwd: [INF-staff] Talk announcement: METHODA - Framework for Large Scale ..., by Filip Rezabek (Nov. 25)

by Timo Kehrer

... certainly also interesting for us! I can recommend to attend this talk if you have time. Best, Timo -------- Weitergeleitete Nachricht -------- Betreff: [INF-staff] Talk announcement: METHODA - Framework for Large Scale ..., by Filip Rezabek (Nov. 25) Datum: Fri, 15 Nov 2024 17:12:46 +0100 Von: Christian Cachin <christian.cachin(a)unibe.ch> An: crypto-events(a)list.inf.unibe.ch, INF <inf-staff(a)list.inf.unibe.ch> *Date and Location* 25. November 2024, 16:15 (this is Zibelemärit, for everyone outside Bern) Uni Engehalde, Engehaldestrasse 8, Seminarraum 111 *Speaker* Filip Rezabek TU Munich *Title* METHODA - Framework for Large Scale Distributed Systems Evaluation *Abstract* To assess various topologies, configurations, and data traffic types in distributed systems e.g., blockchains, we introduce METHODA framework. METHODA allows for granular control of system under the test and deployments of third party code. The framework supports both local and cloud deployments allowing us to emulate realistic behavior. For scalability we rely on different virtualization techniques including support of various TEEs. The framework serves as a stepping stone for building new protocols, optimize performance of current systems, and assess impact of adding additional capabilities. *Brief bio* Filip Rezabek is a Research Associate in Network Architectures and Services at TU Munich. --- See you there! Christian Cachin --- Christian Cachin email: christian.cachin(a)unibe.ch Cryptology and Data Security Group web: crypto.unibe.ch/cc Institute of Computer Science tel: +41 31 684 8560 University of Bern Neubrückstrasse 10, CH-3012 Bern, Switzerland

1 month

1
0
0 0

Monthly Townhall Meeting

by Timo Kehrer

Dear all, I'd like to establish a monthly townhall meeting to foster communication and discussion, with an informal agenda that includes but is not limited to: - Research updates - Progress updates on student projects - Conference and travel reports - New ideas proposals - Teaching updates - Administrative updates - Any other business and open discussion I propose to do it online to make sure most of us are on board for each meeting. A possible slot could be Thursday afternoon 15:00 - 17:00, meeting the first Thursday of the month. We might have to reschedule from time to time, of course, but I'd like to keep it as regular as possible.. If there are any strong objections against the "first Thursday / month -- 15:00 to 17:00" proposal, please let me know by the end of the week. Best, Timo

1 month

1
1
0 0

URGENT: Viseca Credit Card Payments

by Timo Kehrer

Dear all, We are still missing the invoices for the Grammarly licence, and another one for Digitec (see below). Please check your records. Also send us the invoice a second time, even if you have done it before (sometimes hard to maintain overview). Speaking about overview: Please stop placing any orders on the credit card immediately, we need a different process for this. Best, Timo

1 month

1
0
0 0

2024

2023

2022

SEG-staff November 2024