Homepage

Welcome to the Software Technology Group

Our research is dedicated to developing new technologies that help to construct high-quality software in a productive way.

Part of our research is in programming language design and implementation. One key theme underlying our current work is the development of event-based, reactive systems. The goal is to support developers in clearly expressing the design structure of the systems they build and to enable software construction as an assembly of modular (reusable) services.

Another thread of our research focuses on intelligent programming environments that provide means to manage and explore the software space and which foster developer productivity.

The third pillar of our research is the application and development of static analyses for a variety of software properties. We are targeting efficient, scalable analyses targeted towards security properties as well as an application's overall design and coding styles. The goal is to identify (security) bugs and to better support software comprehension and reengineering.

Our commitment to carrying out world-class research was recently honored by the European Research Council (ERC), which awarded Prof. Mira Mezini an ERC Advanced Grant – Europe's highest and most prestigious individual research grant. It enables exceptional established research leaders to pursue ground-breaking projects that open new directions in their respective research fields. The grant of 2.3 million Euros enables our group to continue to carry out world-class research to support the development of next-generation distributed applications.

Research at STG

Research Areas
\
Applications
Constructive Software Technology

Type Systems, Programming Paradigms, Code Generation
Analytical Software Technology

Static and Dynamic Analysis, Machine Learning
Software Security Secure Software

DepAuthority
Finding and Preventing Security Vulnerabilities

FlowTwist, PEAKS
Big Data Programming Abstractions for Big Data Processing

Reactive Programming, Complex Event Processing
Using Big Data Analytics for Automating Software Development

Eko, KaVE
Domain-Specific Abstractions Enabling Technologies for DSLs;
Reengineering of Legacy Applications

SugarX, Reactive Programming, Veritas
DSLs for Specifying Design Rules

Vespucci
Software Quality Modular Design

Advanced Module Systems, Reactive Programming
Enabling Technologies for Software Quality

OPAL
Software Product Lines Language Support for Product Line Engineering

Dependent Classes, Virtual Classes, Variability Modeling of Cryptographic Components, Co-Contextual Java
 

Our News on Twitter