Skip to content

Commit 5503c32

Browse files
bhermannbhermann
committed
Added news
1 parent 3bf9b67 commit 5503c32

File tree

101 files changed

+620
-1
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

101 files changed

+620
-1
lines changed

‎content/news/Anemone_Kampk_tter__M.Sc._joins_the_research_group.md‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
---
2+
guid: "news-23073"
3+
pubDate: "Mon, 02 May 2022 14:37:00 +0200"
4+
title: "Anemone Kampkötter, M.Sc. joins the research group"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/anemone-kampkoetter-msc-joins-the-research-group-23073/"
6+
enclosure: ""
7+
source: "Anemone Kampkötter, M.Sc. joins the research group"
8+
summary: "She joins the research group as a Ph."
9+
---
10+
Anemone graduated from Paderborn University. In her master thesis, she built automated methods to detect security-critical fragments of Android applications to direct monitoring approaches.
11+
12+
She joins the research group as a Ph.D. student and will work on methodologies for the evaluation of static program analyses.
13+
14+
![Anemone Kampkötter, M.Sc. joins the research group](/images/news-23073_2.jpg)

‎content/news/Award_for_Paper_on_Compositional_Analysis.md‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
---
2+
guid: "news-10257"
3+
pubDate: "Tue, 22 Jun 2021 08:16:56 +0200"
4+
title: "Award for Paper on Compositional Analysis"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/award-for-paper-on-compositional-analysis-10257/"
6+
enclosure: ""
7+
source: "Award for Paper on Compositional Analysis"
8+
summary: "In static program analysis, whole-program analysis (WPA) describes the process of analyzing a complete program including all of its dependencies and system libraries."
9+
---
10+
Our Paper "Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis" receives the ECOOP'21 Distinguished Paper Award. With the approach presented here we can modularize static program analyses based of PhASAR and can save on average 72% of analysis time in whole-program analysis.
11+
12+
In static program analysis, whole-program analysis (WPA) describes the process of analyzing a complete program including all of its dependencies and system libraries. The goal here is to derive properties of the program (e.g. security guarantees or counterexamples) with high precision including (almost) everything included in the subsequent execution of the program. However, this process can be very costly as the amount of library and system code required to analyze usually exceeds the amount of application code.
13+
14+
Interestingly, this rather large part of the application stack rarely changes between analysis runs. In our recent ECOOP Paper, we leverage that fact and provide a lossless modular summarization technique that blends into analyses with PhASAR.
15+
16+
For this paper, we have just been awarded the **Distinguished Paper Award** at ECOOP'21. Only two papers of the conference were presented with this award this year. We are very happy and grateful to be selected.
17+
18+
**Paper Preprint:** [Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis](/storages/sse-cs/r/Publications/Preprints/shb-mwa-ecoop21.pdf)
19+
20+
![Award for Paper on Compositional Analysis](/images/news-10257_2.png)

‎content/news/Award_for_our_Study_on_Artifact_Evaluation.md‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
---
2+
guid: "news-7281"
3+
pubDate: "Mon, 02 Nov 2020 15:31:00 +0100"
4+
title: "Award for our Study on Artifact Evaluation"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/acm-sigsoft-distinguished-paper-award-7281/"
6+
enclosure: ""
7+
source: "Award for our Study on Artifact Evaluation"
8+
summary: "Replicability in computer science research is essential to advance the field and to establish trust in the acquired results."
9+
---
10+
Our study "Community Expectations for Research Artifacts and Evaluation Processes" has won the ACM SIGSOFT Distinguished Paper Award!
11+
12+
Replicability in computer science research is essential to advance the field and to establish trust in the acquired results. One way to encourage it is by peer review in artifact evaluation.
13+
14+
Artifact evaluation has been introduced into the software engineering and programming languages research community with a pilot at ESEC/FSE 2011 and has since then enjoyed a healthy adoption throughout the conference landscape. In this qualitative study, we examined the expectations of the community toward research artifacts and their evaluation processes.
15+
16+
For this paper we won the prestigious [ACM SIGSOFT Distinguished Paper Award](https://www.sigsoft.org/awards/distinguishedPaperAward.html). This prize is awarded annually by the Association for Computing Machinery (ACM) only for the best papers each year.
17+
18+
**Paper:** <https://dl.acm.org/doi/10.1145/3368089.3409767>
19+
20+
![Award for our Study on Artifact Evaluation](/images/news-7281_2.png)

‎content/news/Ben_Hermann_is_Open_Science_Chair_for_ICSE_22.md‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
---
2+
guid: "news-12837"
3+
pubDate: "Thu, 22 Jul 2021 10:31:00 +0200"
4+
title: "Ben Hermann is Open Science Chair for ICSE'22"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/news/ben-hermann-is-open-science-chair-for-icse22-12837/"
6+
enclosure: ""
7+
source: "Ben Hermann is Open Science Chair for ICSE'22"
8+
summary: "As a principle, research should be publicly and freely accessible by anyone, permanently."
9+
---
10+
Research output should be publicly and freely accessible by anyone, permanently. Prof. Hermann is responsible for the proliferation and promotion of open science practices at the International Conference on Software Engineering 2022.
11+
12+
As a principle, research should be publicly and freely accessible by anyone, permanently.
13+
14+
The reality, however, is more complicated than this principle. To proliferate and promote open science and to solve complex real-world issues with the aforementioned principle, ICSE nominates an open-science chair since 2021. For the 2022 edition Prof. Hermann was recruited.
15+
16+
The IEEE/ACM International Conference on Software Engineering (ICSE), is *the* premier software engineering conference. Since 1975, it is a well-recognized annual forum where research, practice, and education in the field of software engineering meet and discuss. With an h5-index of 77 it is the #1 publication venue in the field of software systems accoding to Google Scholar. Prof. Hermann previously served for ICSE as Registration Chair in 2020 - the edition that was rescheduled as a virtual event due to the COVID-19 pandemic.
17+
18+
![Ben Hermann is Open Science Chair for ICSE'22](/images/news-12837_2.png)

‎content/news/Ben_Hermann_is_now_on_the_ACM_TOSEM_Board_of_Disti.md‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
---
2+
guid: "news-22974"
3+
pubDate: "Wed, 13 Jul 2022 15:03:00 +0200"
4+
title: "Ben Hermann is now on the ACM TOSEM Board of Distinguished Reviewers"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/ben-hermann-is-now-on-the-acm-tosem-board-of-distinguished-reviewers-22974/"
6+
enclosure: ""
7+
source: "Ben Hermann is now on the ACM TOSEM Board of Distinguished Reviewers"
8+
summary: "The journal Transactions on Software Engineering and Methodology is the premier journal on software engineering published by the Association for Computing Machinery (ACM)."
9+
---
10+
The journal Transactions on Software Engineering and Methodology is the premier journal on software engineering published by the Association for Computing Machinery (ACM). Their board of distinguished reviewers is a group of individuals recognized as experts in their particular field and which are expected to respond quickly to review requests.
11+
12+
Prof. Hermann has been selected as such a distinguished reviewer by the Editor in Chief.
13+
14+
Links:
15+
[ACM TOSEM Journal Website](https://dl.acm.org/journal/tosem)
16+
17+
![Ben Hermann is now on the ACM TOSEM Board of Distinguished Reviewers](/images/news-22974_2.png)

‎content/news/Ben_Hermann_is_organizing_ECOOP_2022_in_Berlin.md‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
---
2+
guid: "news-12838"
3+
pubDate: "Wed, 08 Sep 2021 10:32:00 +0200"
4+
title: "Ben Hermann is organizing ECOOP 2022 in Berlin"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/ben-hermann-is-organizing-ecoop-2022-in-berlin-12838/"
6+
enclosure: ""
7+
source: "Ben Hermann is organizing ECOOP 2022 in Berlin"
8+
summary: "Starting in 1987, ECOOP is Europe’s oldest programming conference."
9+
---
10+
ECOOP's 35th edition will happen in Berlin. As general chair, Ben Hermann oversees the organization of the conference. It will be the first in-person event since 2019.
11+
12+
Starting in 1987, ECOOP is Europe’s oldest programming conference. That summer, at the Palais des Congres in Paris, the conference aimed to promote an up-and-coming new software paradigm, *object-oriented programming*.
13+
14+
In the following years, what was at first a heretical attempt to redefine how we approach programming gradually took over the software world, and, over time, ECOOP slowly broadened in scope to accept a larger variety of papers.
15+
16+
The 2022 edition of ECOOP will be happening in Berlin and will be organized by Mira Mezini (TU Darmstadt) and Ben Hermann (TU Dortmund). The five-day program will be packed with workshops and sessions highlighting all aspects of programming. The community is looking forward to meeting in person again and ECOOP will provide the proper setting for that.
17+
18+
For more details, please visit the conference website: <https://2022.ecoop.org/>
19+
20+
![Ben Hermann is organizing ECOOP 2022 in Berlin](/images/news-12838_2.png)

‎content/news/Ben_Hermann_is_program_chair_of_IEEE_SCAM_21.md‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
guid: "news-8067"
3+
pubDate: "Wed, 17 Mar 2021 18:29:33 +0100"
4+
title: "Ben Hermann is program chair of IEEE SCAM'21"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/scam21-8067/"
6+
enclosure: ""
7+
source: "Ben Hermann is program chair of IEEE SCAM'21"
8+
summary: "The IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) is an annual event which brings together researchers concerned with the analysis and/or manipulation of source code."
9+
---
10+
Together with Venera Arnaoudova from Washington State University Prof. Hermann is responsible for managing the peer-review process of the conference.
11+
12+
The IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) is an annual event which brings together researchers concerned with the analysis and/or manipulation of source code. It's 21st issue was planned to be held in Luxembourg City, Luxembourg but due to the COVID pandemic will happen as a virtual event instead.
13+
14+
Website: <https://www.ieee-scam.org/2021/#home>
15+
16+
![Ben Hermann is program chair of IEEE SCAM'21](/images/news-8067_2.jpg)

‎content/news/Ben_Hermann_starts_Secure_Software_Engineering_Res.md‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
guid: "news-7280"
3+
pubDate: "Thu, 01 Oct 2020 15:31:00 +0200"
4+
title: "Ben Hermann starts Secure Software Engineering Research Group at TU Dortmund"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/ben-hermann-starts-7280/"
6+
enclosure: ""
7+
source: "Ben Hermann starts Secure Software Engineering Research Group at TU Dortmund"
8+
summary: "After his substitute professorship for IT security at Paderborn University, Prof."
9+
---
10+
The focus of the new research group will be the engineering of secure software systems.
11+
12+
After his substitute professorship for IT security at Paderborn University, Prof. Hermann joins TU Dortmund and starts his research group for Secure Software Engineering. As the name suggest the focus of the group will be on the engineering of secure software. A special emphasis will be given to the evolutionary development of software systems. This will enable software developers to learn better from past mistakes and be warned early in the process.
13+
14+
The second big topic of the research group is quality of science in computer science. We are inspecting and improving peer review processes for software-intensive research.
15+
16+
![Ben Hermann starts Secure Software Engineering Research Group at TU Dortmund](/images/news-7280_2.jpg)

‎content/news/Felix_Stegmaier_won_the_Hans-Uhde-Prize.md‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
---
2+
guid: "news-52296"
3+
pubDate: "Tue, 13 May 2025 15:43:44 +0200"
4+
title: "Felix Stegmaier won the Hans-Uhde-Prize"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/felix-stegmaier-won-the-hans-uhde-prize-52296/"
6+
enclosure: ""
7+
source: "Felix Stegmaier won the Hans-Uhde-Prize"
8+
summary: "One of our students - Felix Stegmaier - received the Hans-Uhde-Prize for his Master thesis titled \" Inter-procedural Static Analysis for Unsafe Rust using PhASAR \"."
9+
---
10+
He received the prize for his Master thesis in our group on extending PhASAR for Rust
11+
12+
One of our students - **Felix Stegmaier** - received the Hans-Uhde-Prize for his Master thesis titled "*Inter-procedural Static Analysis for Unsafe Rust using PhASAR*". Felix extended PhASAR to accommodate for the differences to C/C++ in compilation in preparation for analysis. He built the groundworks for real-world code analysis and possible applications in program testing or security. He showed significant insight into the scientific method as well as the problem domain.
13+
14+
The Hans Uhde Prize is an annual award presented by the Hans Uhde Foundation to honor outstanding academic achievements in engineering disciplines. Established in 1986 by Dipl.-Ing. Hans Uhde, the foundation aims to promote science, education, and research.
15+
16+
PhASAR is an open-source static analysis framework designed for analyzing C/C++ programs at the LLVM intermediate representation (IR) level. It enables researchers and developers to define and solve various data-flow problems in a fully automated manner. The framework provides essential analyses such as call-graph construction, points-to analysis, and class hierarchy analysis, facilitating the development of inter-procedural analyses. It was developed by Philipp Schubert, Ben Hermann, and Eric Bodden during Prof. Hermann's time at Paderborn University and is now a thriving open-source project with a number of very active contributors outside the original team.
17+
18+
[Read the official press release of TU Dortmund for more information.](https://www.tu-dortmund.de/detail/vier-tu-absolventen-fuer-hervorragende-abschlussarbeiten-geehrt-52235/)
19+
20+
![Felix Stegmaier won the Hans-Uhde-Prize](/images/news-52296_2.jpg)

‎content/news/From_Bachelor_Thesis_to_Research_Award.md‎

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
---
2+
guid: "news-52179"
3+
pubDate: "Thu, 08 May 2025 15:11:06 +0200"
4+
title: "From Bachelor Thesis to Research Award"
5+
link: "https://sse.cs.tu-dortmund.de/newsdetail/from-bachelor-thesis-to-research-award-52179/"
6+
enclosure: ""
7+
source: "From Bachelor Thesis to Research Award"
8+
summary: "It started out with a rough idea: What if we could predict how much energy we would need to execute a program before we do? Maximilian Krebs examined this question in his Bachelor thesis."
9+
---
10+
Project SPEAR wins 2nd place at the university challenge for excellent young research!
11+
12+
It started out with a rough idea: What if we could predict how much energy we would need to execute a program before we do? Maximilian Krebs examined this question in his Bachelor thesis. After completion he continued on that quest and together with the Secure Software Engineering research group extended the SPEAR approach. Now it is a working Visual Studio Code plugin that makes developers aware of the potential energy cost on a per line basis.
13+
14+
[We entered SPEAR into the university challenge for excellent young research and won 2nd prize for 2025.](https://www.tu-dortmund.de/nachrichtendetail/innovative-ideen-zur-energiewende-und-zum-klimaschutz-ausgezeichnet-52155/) This years topic was *energy and climate - together for the future*.  Max presented it very well with a project pitch during the selection event. We are immensely excited that this very new project already got that degree of recognition.
15+
16+
Together, we will continue on that road and make SPEAR even more precise, robust, and portable over the next years. Stay with us or even better be a part of it!
17+
18+
And if you say, you heard that name and an award before... you are right. SPEAR also won:
19+
20+
* [The sustainability award of the department](/newsdetail/spear-wins-the-sustainability-award-of-our-department-50879/)
21+
* [The thesis award at the GI-SE conference 2024](/newsdetail/gi-se-2024-39871/)
22+
23+
![From Bachelor Thesis to Research Award](/images/news-52179_2.jpg)

0 commit comments

Comments
 (0)